Space: RyeCatcher/repro-why-agentic-theorem-prover-works-a-statistical-provability-theory-of-mathematical-reasonin
title: Reproduction: Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models
sdk: static
tags: trackio, trackio-logbook, open-experiment, icml2026-repro, paper-hAQZl57Nvx, arxiv:2602.10538
Tags: static, trackio, trackio-logbook, open-experiment, icml2026-repro, paper-hAQZl57Nvx, arxiv:2602.10538, region:us