[2606.03743] Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts
![[2606.03743] Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts](/static/img/curated/desks/afbytes-us.png)
AI disclosure
Summary
Abstract page for arXiv paper 2606.03743: Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts