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

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

An open experiment logbook, published with Trackio.