Talk by Yannick Forster (INRIA)

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=pa5mURjUNFI


Duration: 0:00
70 views
0

Yannick Forster (INRIA)
https://simons.berkeley.edu/talks/yannick-forster-inria-2025-04-10
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-30Quantum 4
2025-05-30Quantum 3
2025-05-30Quantum 2
2025-05-30Foundations 2
2025-05-18Foundations 1
2025-05-01Future Directions In AI Safety Research
2025-04-27Introduction (Sanjit Seshia)
2025-04-23How to Locate Unentanglement | Quantum Colloquium
2025-04-16Talk by Sophie Morel (ENS de Lyon)
2025-04-16Challenges in State-of-the-Art Bit-Precise Reasoning
2025-04-16Talk by Yannick Forster (INRIA)
2025-04-16Testing Artificial Mathematical Intelligence
2025-04-16Adventures with an Automatic Prover
2025-04-16Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
2025-04-16How can Machine Learning Help Mathematicians?
2025-04-16Computer-Assisted Intuition: SAT Solvers in Mathematical Discovery
2025-04-07The Move Toward AGI: Why Large Language Models Surprised Almost Everyone... | Theoretically Speaking
2025-04-07Transformers can learn compositional function
2025-04-07Advancing Diffusion Models for Text Generation
2025-04-07Inference Scaling: A New Frontier for AI Capability
2025-04-07Predicting and optimizing the behavior of large ML models