Can LLMs Reliably Grade Olympiad Proofs? A Study of Mathematical Verification with LLMs

👥 Azim Ospanov, Zijin Feng, Ding Ding et al.

#OlympiadProofVerification #AdversarialProofGeneration #RubricAlignedProofs #MultiArmedBanditGrading

🔗 trendtoknow.com/papers/2610....