AI RESEARCH
ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization
arXiv CS.AI
•
ArXi:2605.22885v1 Announce Type: new Formal mathematics libraries are rapidly expanding, creating a growing need to refactor verified proofs for maintainability and to improve