Do We Need Frontier Models to Verify Mathematical Proofs?
arXiv:2604.02450v1 Announce Type: new Abstract: Advances in training, post-training, and inference-time methods have enabled frontier reasoning models to win gold medals in math competitions and …
Aaditya Naik, Guruprerana Shabadi, Rajeev Alur, Mayur Naik
2 views
