Poster · Sydney
AutoformBot: Formalizing Mathematics at Scale
- When
- Tue 8 Dec 2026, 17:00–20:00 AEDT
- Where
- Hall 1-4, ICC Sydney
Exhibition Centre, Level 1 - Session
- Sydney Poster Session 2
- Authors
- Ahmad Rammal, Niket Patel, Fabian Gloeckle, Amaury Hayat, Julia Kempe, Remi Munos, Charles Arnal, Vivien Cabannes
- Organisations
- Meta, New York University, Ecole Nationale des Ponts et Chausees, Institut Polytechnique de Paris