Apppublic

Srishti280992/repro-why-agentic-theorem-prover-works-provability-theory

sourceHugging Faceupdated 2mo agoView on Hugging Face

0likes

App README

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

An open experiment logbook, published with Trackio.