Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics
DGX agentarXiv:2606.31134v1 Announce Type: new Abstract: While Large Language Models (LLMs) have demonstrated exceptional capabilities in mathematical reasoning, they frequently produce subtle errors that evad