SabaPivot/repro-beyond-theorem-proving-formulation-framework-and-benchmark-for-formal-problem-solving
0
Reproduction: Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
An open experiment logbook, published with Trackio.