Model Card for Model ID
This modelcard aims to be a base template for new models. It has been generated using this raw template.
Model Details
Model Description
This model is fine-tuned on Gemma2 2B using the ProofNet dataset to assist in proving mathematical theorems.
- Developed by: [SH KIM]
- Language(s) (NLP): [English]
- Finetuned from model [optional]: google/gemma2-2b
Inference Providers
NEW
This model is not currently available via any of the supported Inference Providers.
The model cannot be deployed to the HF Inference API:
The model has no library tag.
Model tree for SUMMERZETT/gemma-2-2b-proofnet-finetuned
Base model
google/gemma-2-2b