Hugging Face's logo

SUMMERZETT
/
gemma-2-2b-proofnet-finetuned

Text2Text Generation
Model card Files Community

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
Downloads last month

-

Downloads are not tracked for this model. How to track
Inference Examples
Text2Text Generation
Unable to determine this model's library. Check the docs .

Model tree for SUMMERZETT/gemma-2-2b-proofnet-finetuned

Base model

google/gemma-2-2b
Finetuned
(470)
this model

Dataset used to train SUMMERZETT/gemma-2-2b-proofnet-finetuned