Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Spaces:
neonforestmist
/
formal-problem-solving-repro
like
0
Running
App
Files
Files
Community
main
formal-problem-solving-repro
/
pages
Ctrl+K
Ctrl+K
1 contributor
History:
4 commits
neonforestmist
Update logbook: Beyond Theorem Proving — Exact 12/12 CPU Reproduction
d4eaded
verified
about 1 month ago
claim-1-deterministic-mdp
Update logbook: Beyond Theorem Proving — Exact 12/12 CPU Reproduction
about 1 month ago
claim-2-forward-backward-split
Update logbook: Beyond Theorem Proving — Exact 12/12 CPU Reproduction
about 1 month ago
claim-3-fps-soundness
Update logbook: Beyond Theorem Proving — Exact 12/12 CPU Reproduction
about 1 month ago
claim-4-d-fps-theorems
Update logbook: Beyond Theorem Proving — Exact 12/12 CPU Reproduction
about 1 month ago
claim-5-benchmark-suite
Update logbook: Beyond Theorem Proving — Exact 12/12 CPU Reproduction
about 1 month ago
claim-6-baseline-ceilings
Update logbook: Beyond Theorem Proving — Exact 12/12 CPU Reproduction
about 1 month ago
conclusion
Update logbook: Beyond Theorem Proving — Exact 12/12 CPU Reproduction
about 1 month ago
sources-replay-release
Update logbook: Beyond Theorem Proving — Exact 12/12 CPU Reproduction
about 1 month ago
index.md
Safe
557 Bytes
Update logbook: Beyond Theorem Proving — Exact 12/12 CPU Reproduction
about 1 month ago
