|
--- |
|
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 |
|
|
|
|
