Poster · Paris
Automatic Textbook Formalization
- When
- Wed 9 Dec 2026, 12:30–14:30 CET
- Where
- Paris Poster Hall
- Session
- Paris Poster Session 1
- Authors
- Fabian Gloeckle, Ahmad Rammal, Charles Arnal, Remi Munos, Vivien Cabannes, Gabriel Synnaeve, Amaury Hayat
- Organisations
- Ecole Nationale des Ponts et Chausees, Meta, Institut Polytechnique de Paris