Apppublic

rahit/repro-why-agentic-theorem-prover-works-a-statistical-provability-theory-of-mathematical-reasonin

sourceHugging Faceupdated 2mo agoView on Hugging Face

0likes

2 commits on main

780295c2mo ago

Update logbook: Reproduction: Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models

rahit

09f3fff2mo ago

initial commit

rahit