Re^2Math: Benchmarking Theorem Retrieval in Research-Level Mathematics
DGX agentarXiv: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