Goedel-LM
/

Goedel-Formalizer-32B-LeanWorkbookAnnotated

Model card Files Files and versions Community

Goedel-Formalizer-32B-LeanWorkbookAnnotated / model.safetensors.index.json

Commit History

Upload folder using huggingface_hub

24d3dda
verified

linyongver commited on Apr 22