LAMP: Lean-based Agentic framework with MCP and Proof Repair
DGX agentarXiv:2606.28841v1 Announce Type: cross Abstract: Large language models are increasingly capable of mathematical reasoning, but the proofs they generate are often unreliable and hard to verify. Intera