ReuF2F: Benchmarking Coding Agents on Formalized Undergraduate Research Problems
arXiv:2610.27046v1 Announce Type: new Abstract: As AI systems begin to resolve open research problems, reliable verification becomes increasingly important. Formal mathematics provides a trusted framework for mathematical reasoning,...
Read more: https://arxiv.org/abs/2610.27046
Scan with your phone
Scan with your phone