Modelpublic

connorolson/qwen35-9b-lean4-geometry-lora

sourceHugging Faceupdated 4mo agoView on Hugging Face

0likes7downloads

settings

This repository belongs to connorolson on Hugging Face.

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

nameqwen35-9b-lean4-geometry-lora

visibilitypublic

licencenot set

gatedno

ownerconnorolson