Modelpublic

AI-MO/Kimina-Autoformalizer-7B

sourceHugging Faceapache-2.0updated 1y agoView on Hugging Face

21likes647downloads

settings

This repository belongs to AI-MO on Hugging Face.

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

nameKimina-Autoformalizer-7B

visibilitypublic

licenceapache-2.0

gatedno

ownerAI-MO