Sign in with the matching Hugging Face account or an organization member account to verify this handle.
Claim @Goedel-LM
Goedel-LM/Goedel-Prover-V2-8BGoedel-LM/Goedel-Prover-V2-32BGoedel-LM/Goedel-Prover-SFTGoedel-LM/Goedel-Formalizer-V2-8BGoedel-LM/Goedel-Code-Prover-8BGoedel-LM/Goedel-Formalizer-V2-32BGoedel-LM/Goedel-Prover-DPOGoedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotatedGoedel-LM/Goedel-Formalizer-32B-SonnetAnnotated