Talk by Sophie Morel (ENS de Lyon)
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=F_anB-2sJvU
0Sophie Morel (ENS de Lyon)
https://simons.berkeley.edu/talks/sophie-morel-ens-de-lyon-2025-04-11
Simons Institute for the Theory of Computing and SLMath Joint Workshop: AI for Mathematics and Theoretical Computer Science
Other Videos By Simons Institute for the Theory of Computing
| 2025-05-30 | Proofs - Practice 1 |
| 2025-05-30 | Proofs - Theory |
| 2025-05-30 | Quantum 4 |
| 2025-05-30 | Quantum 3 |
| 2025-05-30 | Quantum 2 |
| 2025-05-30 | Foundations 2 |
| 2025-05-18 | Foundations 1 |
| 2025-05-01 | Future Directions In AI Safety Research |
| 2025-04-27 | Introduction (Sanjit Seshia) |
| 2025-04-23 | How to Locate Unentanglement | Quantum Colloquium |
| 2025-04-16 | Talk by Sophie Morel (ENS de Lyon) |
| 2025-04-16 | Challenges in State-of-the-Art Bit-Precise Reasoning |
| 2025-04-16 | Talk by Yannick Forster (INRIA) |
| 2025-04-16 | Testing Artificial Mathematical Intelligence |
| 2025-04-16 | Adventures with an Automatic Prover |
| 2025-04-16 | Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification |
| 2025-04-16 | How can Machine Learning Help Mathematicians? |
| 2025-04-16 | Computer-Assisted Intuition: SAT Solvers in Mathematical Discovery |
| 2025-04-07 | The Move Toward AGI: Why Large Language Models Surprised Almost Everyone... | Theoretically Speaking |
| 2025-04-07 | Transformers can learn compositional function |
| 2025-04-07 | Advancing Diffusion Models for Text Generation |