Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Goedel-LM
/
Goedel-Prover-SFT
like
28
Follow
Goedel-LM
75
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
10 months ago
.gitattributes
1.57 kB
Upload performance.png
10 months ago
README.md
9.92 kB
Update README.md
10 months ago
config.json
763 Bytes
Initial model upload
about 1 year ago
generation_config.json
121 Bytes
Initial model upload
about 1 year ago
model-00001-of-00003.safetensors
4.99 GB
xet
Initial model upload
about 1 year ago
model-00002-of-00003.safetensors
4.98 GB
xet
Initial model upload
about 1 year ago
model-00003-of-00003.safetensors
3.85 GB
xet
Initial model upload
about 1 year ago
model.safetensors.index.json
22.5 kB
Initial model upload
about 1 year ago
performance.png
867 kB
xet
Upload performance.png
10 months ago
special_tokens_map.json
369 Bytes
Initial model upload
about 1 year ago
tokenizer.json
7.5 MB
Initial model upload
about 1 year ago
tokenizer_config.json
1.79 kB
Initial model upload
about 1 year ago
training_args.bin
6.9 kB
xet
Initial model upload
about 1 year ago
