Hugging Face model: Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated
Author: Goedel-LM
Created: 2025-04-19 13:35:08
Last modified: 2025-04-22 20:58:52
Likes: 0 | Downloads: 35
Tags: safetensors, qwen2, arxiv:2502.07640, license:mit, region:us
Card metadata:
license: mit