Space: neonforestmist/repro-agentic-theorem-prover-theory
title: Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models
sdk: static
tags: icml2026-repro, paper-hAQZl57Nvx
Tags: static, icml2026-repro, paper-hAQZl57Nvx, region:us