Improve model card: Correct pipeline tag and add library name

README.md

@@ -1,11 +1,13 @@
 ---
-license: apache-2.0
+base_model:
+- Qwen/Qwen2.5-7B
 datasets:
 - agentica-org/DeepScaleR-Preview-Dataset
 language:
 - en
-base_model:
-- Qwen/Qwen2.5-7B
-pipeline_tag: reinforcement-learning
+license: apache-2.0
+pipeline_tag: text-generation
+library_name: transformers
 ---
-This is the model checkpoint associated with the paper "Pitfalls of Rule- and Model-based Verifiers -- A Case Study on Mathematical Reasoning" The model is RL trained from the Qwen-2.5-7B base on the DeepScaleR dataset. Training employed a hybrid verification strategy combining the Huggingface Math Verifier and our custom model-based verifier, [R1-Distill-Verifier-1.5B](https://huggingface.co/hkust-nlp/R1-Distill-Verifier-1.5B).
+
+This model checkpoint is associated with the paper [Pitfalls of Rule- and Model-based Verifiers -- A Case Study on Mathematical Reasoning](https://arxiv.org/abs/2505.22203). The model is reinforcement-learning trained from the Qwen-2.5-7B base model on the DeepScaleR dataset.  Training employed a hybrid verification strategy combining the Huggingface Math Verifier and our custom model-based verifier, [R1-Distill-Verifier-1.5B](https://huggingface.co/hkust-nlp/R1-Distill-Verifier-1.5B).  The code for reproducing the results can be found at [Github Repo](https://github.com/hkust-nlp/simpleRL-reason/tree/rlvr_math).