Modelpublic

Pythagoras-LM/Pythagoras-Prover-4B

sourceHugging Faceapache-2.0updated 2mo agoView on Hugging Face

8likes1.4kdownloads

settings

This repository belongs to Pythagoras-LM on Hugging Face.

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

namePythagoras-Prover-4B

visibilitypublic

licenceapache-2.0

gatedno

ownerPythagoras-LM