OProver: A Unified Framework for Agentic Formal Theorem Proving
Paper • 2605.17283 • Published • 31
HannaJMuggie
HannaJMuggie
AI & ML interests
None yet
Recent Activity
upvoted a paper 21 days ago
OProver: A Unified Framework for Agentic Formal Theorem Proving published a dataset 7 months ago
HannaJMuggie/MMEdit updated a dataset 7 months ago
HannaJMuggie/MMEditOrganizations
None yet
upvoted a paper 21 days ago