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:
ProCreations
/
repro-formal-problem-solving-framework-benchmark
like
0
Running
App
Files
Files
Community
main
repro-formal-problem-solving-framework-benchmark
/
source
23 MB
Ctrl+K
Ctrl+K
1 contributor
History:
1 commit
ProCreations
Publish validated ICML reproduction
6c3fe2a
verified
7 days ago
Basic.lean
Safe
3.86 kB
Publish validated ICML reproduction
7 days ago
LICENSE
Safe
11.4 kB
Publish validated ICML reproduction
7 days ago
appendix.proofs.tex
Safe
6.99 kB
Publish validated ICML reproduction
7 days ago
evaluation.tex
Safe
6.54 kB
Publish validated ICML reproduction
7 days ago
experiment.tex
Safe
9.14 kB
Publish validated ICML reproduction
7 days ago
export_fps_benchmark.py
Safe
3.48 kB
Publish validated ICML reproduction
7 days ago
main.tex
Safe
5.78 kB
Publish validated ICML reproduction
7 days ago
method.tex
Safe
15.9 kB
Publish validated ICML reproduction
7 days ago
official-current.tar.gz
1.1 MB
xet
Publish validated ICML reproduction
7 days ago
official-initial.tar.gz
19.8 MB
xet
Publish validated ICML reproduction
7 days ago
paper-source.tar
631 kB
xet
Publish validated ICML reproduction
7 days ago
paper.pdf
1.43 MB
xet
Publish validated ICML reproduction
7 days ago
solving_server.py
Safe
11.9 kB
Publish validated ICML reproduction
7 days ago
