Apppublic

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

sourceHugging Faceupdated 2mo agoView on Hugging Face

0likes

7 commits on main

ff2ed032mo ago

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

Srishti280992

b688c442mo ago

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

Srishti280992

9fe92f12mo ago

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

Srishti280992

f40295b2mo ago

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

Srishti280992

62733092mo ago

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

Srishti280992

90e75842mo ago

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

Srishti280992

5b196992mo ago

initial commit

Srishti280992