Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Goedel-LM
/
Goedel-Formalizer-V2-32B
like
7
Follow
Goedel-LM
75
Safetensors
qwen3
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
1
main
Goedel-Formalizer-V2-32B
Commit History
Update README.md
ee10ad5
verified
linyongver
commited on
Jul 22, 2025
Update README.md
2406ea6
verified
shangetang
commited on
Jul 20, 2025
Update README.md
fa5b633
verified
shangetang
commited on
Jul 20, 2025
Update README.md
22944ba
verified
shangetang
commited on
Jul 20, 2025
Delete training_args.bin
1740cb2
verified
shangetang
commited on
Jul 20, 2025
Delete trainer_state.json
364aea6
verified
shangetang
commited on
Jul 20, 2025
Update README.md
aeb63cd
verified
shangetang
commited on
Jul 20, 2025
Upload folder using huggingface_hub
794bb8f
verified
shangetang
commited on
Jul 20, 2025
initial commit
afad05e
verified
shangetang
commited on
Jul 20, 2025