Poster · Sydney
Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness
- When
- Tue 8 Dec 2026, 10:00–13:00 AEDT
- Where
- Hall 1-4, ICC Sydney
Exhibition Centre, Level 1 - Session
- Sydney Poster Session 1
- Authors
- Ivo Petrov, Jasper Dekoninck, Dimitar I. Dimitrov, Martin Vechev
- Organisations
- INSAIT, ETH Zurich
- QRS classification
- Language models