Add pipeline tag and library name

This PR adds the `text-generation` pipeline tag and the `transformers` library name to the model card metadata.

README.md

@@ -1,9 +1,11 @@
 ---
-license: mit
-datasets:
-- kfdong/STP_Lean_SFT
 base_model:
 - deepseek-ai/DeepSeek-Prover-V1.5-SFT
+datasets:
+- kfdong/STP_Lean_SFT
+license: mit
+pipeline_tag: text-generation
+library_name: transformers
 ---
 
 This is the final Self-play Theorem Prover model as described in the paper [https://arxiv.org/abs/2502.00212](https://arxiv.org/abs/2502.00212). The training and evalution code is avaliable [here](https://github.com/kfdong/STP/tree/main).