Modelpublic

Goedel-LM/Goedel-Prover-V2-32B

sourceHugging Faceapache-2.0updated 1y agoView on Hugging Face

74likes32kdownloads

settings

This repository belongs to Goedel-LM on Hugging Face.

CoolFace never edits a repository it does not host. Visibility, licence, collaborators and gating are all managed at the source.

nameGoedel-Prover-V2-32B

visibilitypublic

licenceapache-2.0

gatedno

ownerGoedel-LM