SabaPivot/repro-why-agentic-theorem-prover-works-a-statistical-provability-theory-of-mathematical-reas

Reproduction - Statistical Provability Theory of Agentic Theorem Provers

Independent CPU audit of all six registered claims using 120 exact bounded-Lipschitz linear programs, 100 triangle checks, a 165-point finite bounded-measure compact specialization, 18 reachability-MDP and Bellman certificate cells, 54 adversarial score-planning cells, 36 margin-rate cells, 96 doubling-dimension rate cells, and four destructive controls. All 18 declared gates pass in two warning-strict byte-identical runs.

Primary source: https://arxiv.org/pdf/2602.10538v2 OpenReview: https://openreview.net/forum?id=hAQZl57Nvx OpenReview paper ID: hAQZl57Nvx arXiv version: 2602.10538v2 Primary PDF SHA-256: b725e91c0cfe924e6aa536d34fbde4da905003a3dfc94b65b7c7c050d6b1a9ad Primary source SHA-256: ffd5a325a9f10e60635b7b36a38a8c0dd6dad9a3063eaf5c0134c0bf2d3fb0f6 Implementation: independent from the equations in the pinned paper. No competitor artifact, output, or result was used.

Revision discipline is explicit: arXiv v2 is the latest revision preserving the live six-theorem registration. The later v3 is a major rewrite and is not mixed into this audit. The live Claim-6 plain text also flattens the superscript on L_H; the v2 source formula is retained exactly.