TY  - RPRT
TI  - Can LLMs Reliably Grade Olympiad Proofs? A Study of Mathematical Verification with LLMs
AU  - Azim Ospanov
AU  - Zijin Feng
AU  - Ding Ding
AU  - Chengwu Liu
AU  - Haoli Bai
AU  - Jiacheng Sun
AU  - Lifeng Shang
AU  - Farzan Farnia
PY  - 2026
UR  - https://arxiv.org/abs/2610.36767
ID  - 2610.36767
ER  -