Space: SabaPivot/repro-beyond-theorem-proving-formulation-framework-and-benchmark-for-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, arxiv:2505.04528
Tags: static, trackio, trackio-logbook, open-experiment, icml2026-repro, paper-hgMZraPlSv, arxiv:2505.04528, region:us