Re^2Math: 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