AI RESEARCH
OProver: A Unified Framework for Agentic Formal Theorem Proving
arXiv CS.CL
•
ArXi:2605.17283v1 Announce Type: new Recent progress in formal theorem proving has benefited from large-scale proof generation and verifier-aware