Poster · Sydney
Ground False: Uncovering Errors in Formal Mathematics Benchmarks
- When
- Wed 9 Dec 2026, 10:00–13:00 AEDT
- Where
- Hall 1-4, ICC Sydney
Exhibition Centre, Level 1 - Session
- Sydney Poster Session 3
- Authors
- Marcus Min, One An, Xujie Si, Osbert Bastani
- Organisations
- University of Pennsylvania, University of Toronto