Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts
DGX agentarXiv:2606.03743v1 Announce Type: new Abstract: While Large Language Models (LLMs) have shown strong performance in generating formal proofs, their outputs often remain less readable, modular, maintai