Goedel-LM
/

Goedel-Formalizer-V2-8B

Model card Files Files and versions

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

Commit History

Upload folder using huggingface_hub

47d825c
verified

shangetang commited on Jul 20, 2025