Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Goedel-LM
/
Goedel-Prover-SFT
like
28
Follow
Goedel-LM
71
Safetensors
llama
arxiv:
2502.07640
License:
mit
Model card
Files
Files and versions
xet
Community
3
main
Goedel-Prover-SFT
13.8 GB
1 contributor
History:
21 commits
linyongver
Update README.md
5b03a13
verified
9 months ago
.gitattributes
1.57 kB
Upload performance.png
9 months ago
README.md
9.92 kB
Update README.md
9 months ago
config.json
763 Bytes
Initial model upload
12 months ago
generation_config.json
121 Bytes
Initial model upload
12 months ago
model-00001-of-00003.safetensors
4.99 GB
xet
Initial model upload
12 months ago
model-00002-of-00003.safetensors
4.98 GB
xet
Initial model upload
12 months ago
model-00003-of-00003.safetensors
3.85 GB
xet
Initial model upload
12 months ago
model.safetensors.index.json
22.5 kB
Initial model upload
12 months ago
performance.png
867 kB
xet
Upload performance.png
9 months ago
special_tokens_map.json
369 Bytes
Initial model upload
12 months ago
tokenizer.json
7.5 MB
Initial model upload
12 months ago
tokenizer_config.json
1.79 kB
Initial model upload
12 months ago
training_args.bin
6.9 kB
xet
Initial model upload
12 months ago
