Space: Srishti280992/repro-beyond-theorem-proving-formal-problem-solving
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