Update README.md

Model Description:
This model is fine-tuned on Gemma2 2B using the ProofNet dataset to assist in proving mathematical theorems.

Base Model:
Gemma2 2B

Dataset Source:
The dataset used for training is ProofNet, available at: https://huggingface.co/datasets/hoskinson-center/proofnet

README.md

@@ -1,3 +1,8 @@
----
-license: mit
----
+---
+license: mit
+datasets:
+- hoskinson-center/proofnet
+base_model:
+- google/gemma-2-2b
+pipeline_tag: text2text-generation
+---