Space: ai-sherpa/statistical-provability-theorem-prover-repro
title: Repro — Why Agentic Theorem Prover Works (statistical provability theory)
sdk: static
tags: trackio, trackio-logbook, open-experiment, icml2026-repro, paper-hAQZl57Nvx
Tags: static, trackio, trackio-logbook, open-experiment, icml2026-repro, paper-hAQZl57Nvx, region:us