hkust-nlp

R1-Distill-Verifier-1.5B

hkust-nlp/R1-Distill-Verifier-1.5B

R1-Distill-Verifier-1.5B is a machine learning model from hkust-nlp. Use it for the machine learning task on the model card, and read the license before you ship it in a product. The card lists the license as apache-2.0.

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-…