MechMath: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving
DGX agentarXiv:2603.24465v2 Announce Type: replace Abstract: Recent advances in large language models (LLMs) and LLM-based agents have substantially improved the capabilities of automated theorem proving. Howe