Location : Room SG1
Registration Form
Mai 3
| 09:00-09:05 | Emmanuel Abbe (EPFL-Apple): Opening remarks | |
| 09:05-09:50 |  | Samy Bengio (Apple), Reasoning and length generalization can be hard |
| 09:50-10:35 |  | Christian Szegedy (xAI), The Potential and Hurdles of Automatic Formalization of Mathematics |
| 10:35-11:00 | Coffee break | |
| 11:00-11:45 |  | Thang Luong (Google Deepmind): AlphaGeometry: An Olympiad-level AI system for geometry |
| 11:45-12:15 | AI4Reason collaboration: Reasoning barriers and scratchpads Aryo Lotfi, Colin Sandon (EPFL) AI4maths initiative, Anja Surina (EPFL) |
Major progress is taking place in AI, particularly in text, image, audio processing. What about more complex reasoning tasks? Are current methods also breaking barriers in logic and mathematics? The event will cover results and developments on these topics.
