Spaces:

ProCreations
/

repro-formal-problem-solving

Running

App Files Files Community

repro-formal-problem-solving

519 kB

Ctrl+K

Ctrl+K

1 contributor

History: 7 commits

ProCreations's picture

Lead claim 5 with substantive benchmark margins

a8c5bdb 23 days ago

code
Repair claim 5 with native benchmark execution 23 days ago
outputs
Repair claim 5 with native benchmark execution 23 days ago
pages
Lead claim 5 with substantive benchmark margins 23 days ago
.gitattributes
1.71 kB
Map exact current anchored claims to existing independent evidence about 1 month ago
AUTHORS-INDEPENDENCE.md
1.23 kB
Repair claim 5 with native benchmark execution 23 days ago
BUNDLE_SHA256SUMS.txt
3.22 kB
Lead claim 5 with substantive benchmark margins 23 days ago
README.md
458 Bytes
Repair claim 5 with native benchmark execution 23 days ago
anchored_claim_map.json
3.03 kB
Map exact current anchored claims to existing independent evidence about 1 month ago
audit_wire.py
14.7 kB
Map exact current anchored claims to existing independent evidence about 1 month ago
bucket-icon.svg
413 Bytes
Update logbook: Repro - Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving about 1 month ago
index.html
1.84 kB
Map exact current anchored claims to existing independent evidence about 1 month ago
logbook.css
29.6 kB
Update logbook: Repro - Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving about 1 month ago
logbook.js
77.3 kB
Update logbook: Repro - Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving about 1 month ago
logbook.json
2.92 kB
Lead claim 5 with substantive benchmark margins 23 days ago
official_claims.json
768 Bytes
Map exact current anchored claims to existing independent evidence about 1 month ago
poster_embed.html
2.17 kB
Map exact current anchored claims to existing independent evidence about 1 month ago
requirements.txt
39 Bytes
Map exact current anchored claims to existing independent evidence about 1 month ago
trackio-logo-light.png
30 kB
Update logbook: Repro - Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving about 1 month ago
trackio-logo.png
55.6 kB
Update logbook: Repro - Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving about 1 month ago
trackio-wordmark-dark.png
89.8 kB
Update logbook: Repro - Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving about 1 month ago