Hugging Face's logo

Spaces:
SabaPivot
/
repro-beyond-theorem-proving-formulation-framework-and-benchmark-for-formal-problem-solving
Running

App Files Community
repro-beyond-theorem-proving-formulation-framework-and-benchmark-for-formal-problem-solving / workspace.json

Commit History

Upgrade all claim evidence using high-scoring peer protocols with attribution
584b3fd
verified

SabaPivot commited on

Upload workspace.json with huggingface_hub
41fab4f
verified

SabaPivot commited on

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

SabaPivot commited on

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

SabaPivot commited on