Spaces:

SabaPivot
/

repro-beyond-theorem-proving-formulation-framework-and-benchmark-for-formal-problem-solving

Running

App Files Files Community

repro-beyond-theorem-proving-formulation-framework-and-benchmark-for-formal-problem-solving / logbook.css

Commit History

Update logbook: Reproduction: Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving

f8dfd70
verified

SabaPivot commited on 18 days ago