arXiv cs.AIPaper
Can LLMs Reliably Grade Olympiad Proofs? A Study of Mathematical Verification with LLMs
Proof verification at competition level is a hard problem and it matters: automated grading could scale human-level feedback for mathematics education and research. The finding is that frontier models still struggle on long reasoning chains. The adversarial-proof generation technique (TROJAN) is the real asset here. Builders: this signals where LLM reasoning still breaks down.