Goedel-LM
/

Goedel-Formalizer-V2-32B

Model card Files Files and versions

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