Poster · Sydney
Can LLMs Reliably Grade Olympiad Proofs? A Controlled Study of Mathematical Verification with LLMs
- 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
- Azim Ospanov, Zijin Feng, Ding Ding, Chengwu Liu, Haoli Bai, Jiacheng Sun, Lifeng Shang, Farzan Farnia
- Organisations
- The Chinese University of Hong Kong, Hong Kong University of Science and Technology, Peking University, Huawei
- QRS classification
- Language models