Hugging Face
Models
Datasets
Spaces
Buckets
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
NathanHerr
/
sgs-repl-sgs-01-checkpoints
Like
0
Safetensors
lean4
theorem-proving
sgs
arxiv:
2604.20209
License:
deepseek-license
Model card
Files
Files and versions
xet
Community
Copy to bucket
main
sgs-repl-sgs-01-checkpoints
96.8 GB
Ctrl+K
Ctrl+K
1 contributor
History:
5 commits
NathanHerr
Add files using upload-large-folder tool
4b93845
verified
4 days ago
iteration_19
Add files using upload-large-folder tool
4 days ago
iteration_29
Add files using upload-large-folder tool
4 days ago
iteration_39
Add files using upload-large-folder tool
4 days ago
iteration_4
Add files using upload-large-folder tool
4 days ago
iteration_49
Add files using upload-large-folder tool
4 days ago
iteration_9
Add files using upload-large-folder tool
4 days ago
.gitattributes
Safe
1.52 kB
initial commit
4 days ago
LICENSE-MODEL
Safe
13.8 kB
Add DeepSeek model licence
4 days ago
README.md
Safe
1.41 kB
Add card
4 days ago
