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
5e1e7cd
Goedel-Prover-SFT
13.8 GB
1 contributor
History:
2 commits
linyongver
Initial model upload
5e1e7cd
verified
11 months ago
.gitattributes
1.52 kB
initial commit
11 months ago
README.md
24 Bytes
initial commit
11 months ago
config.json
763 Bytes
Initial model upload
11 months ago
generation_config.json
121 Bytes
Initial model upload
11 months ago
model-00001-of-00003.safetensors
4.99 GB
xet
Initial model upload
11 months ago
model-00002-of-00003.safetensors
4.98 GB
xet
Initial model upload
11 months ago
model-00003-of-00003.safetensors
3.85 GB
xet
Initial model upload
11 months ago
model.safetensors.index.json
22.5 kB
Initial model upload
11 months ago
special_tokens_map.json
369 Bytes
Initial model upload
11 months ago
tokenizer.json
7.5 MB
Initial model upload
11 months ago
tokenizer_config.json
1.79 kB
Initial model upload
11 months ago
training_args.bin
6.9 kB
xet
Initial model upload
11 months ago
