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 isn't deployed by any Inference Provider.
🙋
Ask for provider support
Model tree for SUMMERZETT/gemma-2-2b-proofnet-finetuned
Base model
google/gemma-2-2b