Goedel-LM
/

Goedel-Formalizer-V2-8B

Model card Files Files and versions

Goedel-Formalizer-V2-8B / generation_config.json

Commit History

Update generation_config.json

e351ae9
verified

shangetang commited on Jul 20, 2025

Upload folder using huggingface_hub

47d825c
verified

shangetang commited on Jul 20, 2025