OProver: A Unified Framework for Agentic Formal Theorem Proving
DGX agentarXiv:2605.17283v1 Announce Type: cross Abstract: Recent progress in formal theorem proving has benefited from large-scale proof generation and verifier-aware training, but agentic proving is rarely i