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
alpha-proof-open-source
/
alphaproof-full-v3-value-head
Like
1
Follow
alpha-proof-open-source
3
lean4
theorem-proving
alphaproof
reap
lora
value-head
research-artifact
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
alphaproof-full-v3-value-head
220 MB
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
hsy13
Upload verified REAP full-v3 adapter and value-head snapshot
c59450c
verified
25 days ago
.gitattributes
Safe
1.57 kB
Upload verified REAP full-v3 adapter and value-head snapshot
25 days ago
README.md
Safe
3.35 kB
Upload verified REAP full-v3 adapter and value-head snapshot
25 days ago
backend.json
Safe
220 MB
xet
Upload verified REAP full-v3 adapter and value-head snapshot
25 days ago
manifest.json
Safe
324 Bytes
Upload verified REAP full-v3 adapter and value-head snapshot
25 days ago
session.json
Safe
983 Bytes
Upload verified REAP full-v3 adapter and value-head snapshot
25 days ago
