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 4 days ago

code
Repair claim 5 with native benchmark execution 4 days ago
outputs
Repair claim 5 with native benchmark execution 4 days ago
pages
Lead claim 5 with substantive benchmark margins 4 days ago
.gitattributes

1.71 kB
Map exact current anchored claims to existing independent evidence 14 days ago
AUTHORS-INDEPENDENCE.md

1.23 kB
Repair claim 5 with native benchmark execution 4 days ago
BUNDLE_SHA256SUMS.txt

3.22 kB
Lead claim 5 with substantive benchmark margins 4 days ago
README.md

458 Bytes
Repair claim 5 with native benchmark execution 4 days ago
anchored_claim_map.json

3.03 kB
Map exact current anchored claims to existing independent evidence 14 days ago
audit_wire.py

14.7 kB
Map exact current anchored claims to existing independent evidence 14 days ago
bucket-icon.svg

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

1.84 kB
Map exact current anchored claims to existing independent evidence 14 days ago
logbook.css

29.6 kB
Update logbook: Repro - Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving 21 days ago
logbook.js

77.3 kB
Update logbook: Repro - Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving 21 days ago
logbook.json

2.92 kB
Lead claim 5 with substantive benchmark margins 4 days ago
official_claims.json

768 Bytes
Map exact current anchored claims to existing independent evidence 14 days ago
poster_embed.html

2.17 kB
Map exact current anchored claims to existing independent evidence 14 days ago
requirements.txt

39 Bytes
Map exact current anchored claims to existing independent evidence 14 days ago
trackio-logo-light.png

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

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

89.8 kB
Update logbook: Repro - Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving 21 days ago