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

389 kB

Ctrl+K

Ctrl+K

1 contributor

History: 7 commits

SabaPivot's picture

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

584b3fd verified 16 days ago

pages
Upgrade all claim evidence using high-scoring peer protocols with attribution 16 days ago
peer_evidence_pages
Upgrade all claim evidence using high-scoring peer protocols with attribution 16 days ago
traces
Update logbook: Reproduction: Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving 18 days ago
upgrade_history
Upgrade all claim evidence using high-scoring peer protocols with attribution 16 days ago
.gitattributes

1.52 kB
initial commit 18 days ago
README.md

500 Bytes
Update logbook: Reproduction: Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving 18 days ago
bucket-icon.svg

413 Bytes
Update logbook: Reproduction: Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving 18 days ago
index.html

3.11 kB
Update logbook: Reproduction: Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving 18 days ago
logbook.css

40.4 kB
Update logbook: Reproduction: Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving 18 days ago
logbook.js

107 kB
Update logbook: Reproduction: Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving 18 days ago
logbook.json

4.21 kB
Upgrade all claim evidence using high-scoring peer protocols with attribution 16 days ago
peer_provenance.json

2.39 kB
Upgrade all claim evidence using high-scoring peer protocols with attribution 16 days ago
style.css

388 Bytes
initial commit 18 days ago
trackio-logo-light.png

30 kB
Update logbook: Reproduction: Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving 18 days ago
trackio-logo.png

55.6 kB
Update logbook: Reproduction: Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving 18 days ago
trackio-wordmark-dark.png

89.8 kB
Update logbook: Reproduction: Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving 18 days ago
workspace.json

977 Bytes
Upgrade all claim evidence using high-scoring peer protocols with attribution 16 days ago