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 Providers NEW
Text2Text Generation
This model is not currently available via any of the supported third-party Inference Providers, and HF Inference API was unable to determine this model's library.

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

Base model

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

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