Goedel-LM/Goedel-Formalizer-V2-8B: Model from Hugging Face: Goedel-LM/Goedel-Formalizer-V2-8B License: apache-2.0. external Hugging Face metadata. Scan: pending.
Open interactive artifact page