Hugging Face's logo

Goedel-LM
/
Goedel-Formalizer-V2-8B

Safetensors
qwen3
Model card Files
xet
Community
Goedel-Formalizer-V2-8B

Commit History

Update README.md
fe2d362
verified

shangetang commited on

Update README.md
bd3a4b6
verified

shangetang commited on

Update README.md
ee513e2
verified

shangetang commited on

Update README.md
c459487
verified

shangetang commited on

Update generation_config.json
e351ae9
verified

shangetang commited on

Update README.md
5ede588
verified

shangetang commited on

Update README.md
f057857
verified

shangetang commited on

Delete training_loss.png
293290a
verified

shangetang commited on

Delete training_eval_loss.png
3413888
verified

shangetang commited on

Delete training_args.bin
a18fe2e
verified

shangetang commited on

Delete trainer_state.json
2ffd477
verified

shangetang commited on

Delete trainer_log.jsonl
67c3a24
verified

shangetang commited on

Delete train_results.json
afac84a
verified

shangetang commited on

Delete eval_results.json
55c1b5f
verified

shangetang commited on

Delete all_results.json
0e3fe68
verified

shangetang commited on

Upload folder using huggingface_hub
47d825c
verified

shangetang commited on

initial commit
3c5b20b
verified

shangetang commited on