1
Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts
提出将LLM生成的形式化证明自动重构为可复用模块的新方法，提升证明可维护性与复用性。
arXiv:2606.03743v1 Announce Type: new Abstract: While Large Language Models (LLMs) have shown strong performance in generating formal proofs, their ou…