metadata
license: mit
datasets:
- hoskinson-center/proofnet
base_model:
- google/gemma-2-2b
pipeline_tag: text2text-generation
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