Space: ai-sherpa/formal-problem-solving-provenance-audit-repro
title: Reproduction — Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
sdk: static
tags: trackio, trackio-logbook, open-experiment, icml2026-repro, paper-hgMZraPlSv
Tags: static, trackio, trackio-logbook, open-experiment, icml2026-repro, paper-hgMZraPlSv, region:us