---
license: mit
datasets:
- hoskinson-center/proofnet
base_model:
- google/gemma-2-2b
pipeline_tag: text2text-generation
---
# Model Card for Model ID

<!-- Provide a quick summary of what the model is/does. -->

This modelcard aims to be a base template for new models. It has been generated using [this raw template](https://github.com/huggingface/huggingface_hub/blob/main/src/huggingface_hub/templates/modelcard_template.md?plain=1).

## Model Details

### Model Description
This model is fine-tuned on Gemma2 2B using the ProofNet dataset to assist in proving mathematical theorems.
<!-- Provide a longer summary of what this model is. -->



- **Developed by:** [SH KIM]
- **Language(s) (NLP):** [English]
- **Finetuned from model [optional]:** google/gemma2-2b