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 2 months ago

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

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

1.23 kB
Repair claim 5 with native benchmark execution 2 months ago
BUNDLE_SHA256SUMS.txt

3.22 kB
Lead claim 5 with substantive benchmark margins 2 months ago
README.md

458 Bytes
Repair claim 5 with native benchmark execution 2 months ago
anchored_claim_map.json

3.03 kB
Map exact current anchored claims to existing independent evidence 3 months ago
audit_wire.py

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

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

1.84 kB
Map exact current anchored claims to existing independent evidence 3 months ago
logbook.css

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

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

2.92 kB
Lead claim 5 with substantive benchmark margins 2 months ago
official_claims.json

768 Bytes
Map exact current anchored claims to existing independent evidence 3 months ago
poster_embed.html

2.17 kB
Map exact current anchored claims to existing independent evidence 3 months ago
requirements.txt

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

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

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

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