Poster · Sydney
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
- 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
- Moritz Firsching, Paul Lezeau, Salvatore Mercuri, Miklós Z. Horváth, Yaël Dillies, Calle Sönne, Eric Wieser, Fred Zhang, Thomas Hubert, Blaise Aguera y Arcas, Pushmeet Kohli
- Organisations
- Google DeepMind, Imperial College London, Stockholm University, University of California, Berkeley, Google