Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Goedel-LM
/
Goedel-Prover-DPO
like
4
Follow
Goedel-LM
75
Safetensors
llama
arxiv:
2502.07640
License:
mit
Model card
Files
Files and versions
xet
Community
main
Goedel-Prover-DPO
13.8 GB
1 contributor
History:
3 commits
linyongver
Update README.md
f381722
verified
10 months ago
.gitattributes
1.52 kB
initial commit
10 months ago
README.md
646 Bytes
Update README.md
10 months ago
README_deleted.md
2.68 kB
Upload folder using huggingface_hub
10 months ago
all_results.json
740 Bytes
Upload folder using huggingface_hub
10 months ago
config.json
688 Bytes
Upload folder using huggingface_hub
10 months ago
eval_results.json
556 Bytes
Upload folder using huggingface_hub
10 months ago
generation_config.json
121 Bytes
Upload folder using huggingface_hub
10 months ago
model-00001-of-00003.safetensors
4.99 GB
xet
Upload folder using huggingface_hub
10 months ago
model-00002-of-00003.safetensors
4.98 GB
xet
Upload folder using huggingface_hub
10 months ago
model-00003-of-00003.safetensors
3.85 GB
xet
Upload folder using huggingface_hub
10 months ago
model.safetensors.index.json
22.5 kB
Upload folder using huggingface_hub
10 months ago
special_tokens_map.json
482 Bytes
Upload folder using huggingface_hub
10 months ago
tokenizer.json
7.5 MB
Upload folder using huggingface_hub
10 months ago
tokenizer_config.json
1.88 kB
Upload folder using huggingface_hub
10 months ago
train_results.json
218 Bytes
Upload folder using huggingface_hub
10 months ago
trainer_log.jsonl
42.9 kB
Upload folder using huggingface_hub
10 months ago
trainer_state.json
102 kB
Upload folder using huggingface_hub
10 months ago
training_args.bin
7.54 kB
xet
Upload folder using huggingface_hub
10 months ago
training_eval_loss.png
46.2 kB
Upload folder using huggingface_hub
10 months ago
training_loss.png
50.4 kB
Upload folder using huggingface_hub
10 months ago
training_rewards_accuracies.png
50.8 kB
Upload folder using huggingface_hub
10 months ago