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

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

initial commit