This is the model checkpoint associated with the paper "Pitfalls of Rule- and Model-based Verifiers -- A Case Study on Mathematical Reasoning." It is a custom model-based verifier, fine-tuned from
DeepSeek-R1-Distill-Qwen-1.5B using the Rejection Finetuning method on the DeepScaleR dataset.