Goedel-LM
/

Goedel-Formalizer-V2-32B

Model card Files Files and versions

Goedel-Formalizer-V2-32B / tokenizer_config.json

Commit History

Upload folder using huggingface_hub

794bb8f
verified

shangetang commited on Jul 20, 2025