Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics
arXiv:2605.09012v1 Announce Type: new
Abstract: Large language models are increasingly capable at closed-world mathematical reasoning, but research assistance also requires source-grounded use of the literature. When a proof reaches a non-trivial step…