LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks
DGX agentarXiv:2606.03303v1 Announce Type: new Abstract: Large Language Models (LLMs) exhibit strong informal mathematical reasoning but struggle to generate mechanically verifiable proofs in formal languages