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