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, enabling agents to produce