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 / logbook.json

Commit History

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

SabaPivot commited on

Upload logbook.json with huggingface_hub
e13916c
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