Add model card for Budget-Aware Test-Time Scaling via Discriminative Verification
#1
by
nielsr
HF Staff
- opened
README.md
ADDED
|
@@ -0,0 +1,56 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
---
|
| 2 |
+
pipeline_tag: text-ranking
|
| 3 |
+
library_name: transformers
|
| 4 |
+
license: apache-2.0
|
| 5 |
+
---
|
| 6 |
+
|
| 7 |
+
# Budget-Aware Test-Time Scaling via Discriminative Verification
|
| 8 |
+
|
| 9 |
+
This repository contains the `verification-1.5b` model, implementing the discriminative verifier described in the paper:
|
| 10 |
+
[**Budget-Aware Test-Time Scaling via Discriminative Verification**](https://huggingface.co/papers/2510.14913)
|
| 11 |
+
|
| 12 |
+
<p align="center">
|
| 13 |
+
📃 <a href="https://arxiv.org/abs/2510.14913" target="_blank">[Paper on arXiv]</a> • 💻 <a href="https://github.com/wang-research-lab/verification" target="_blank">[GitHub]</a> • 🤗 <a href="https://huggingface.co/collections/WangResearchLab/verification-68f1abb00d7f3f7ef6e83ff3" target="_blank">[Hugging Face Collection]</a>
|
| 14 |
+
</p>
|
| 15 |
+
|
| 16 |
+
## Model Description
|
| 17 |
+
|
| 18 |
+
This model is a discriminative verifier designed for budget-aware test-time scaling in large language models on complex reasoning tasks. While state-of-the-art approaches often employ generative verifiers, this model shifts focus to a more budget-aware paradigm: discriminative verification. Empirical analysis demonstrates that combining discriminative verifiers with self-consistency creates a powerful and efficient test-time scaling mechanism, surpassing state-of-the-art generative verification under a fixed compute budget. This approach is not only a "free" upgrade over self-consistency but also a more effective and efficient alternative to costly generative techniques for practical, real-world applications.
|
| 19 |
+
|
| 20 |
+
## Usage
|
| 21 |
+
|
| 22 |
+
You can use this model to score candidate solutions for various evaluation datasets.
|
| 23 |
+
|
| 24 |
+
First, ensure you have the necessary environment set up by installing the package:
|
| 25 |
+
|
| 26 |
+
```bash
|
| 27 |
+
conda create -n verification python=3.10
|
| 28 |
+
conda activate verification
|
| 29 |
+
pip install -e . # This installs the 'verification' package and its dependencies
|
| 30 |
+
```
|
| 31 |
+
|
| 32 |
+
Then, you can run verification on an evaluation dataset (e.g., `aime2024`, `aime2025`, `livebench-math`, or `gpqa`) with the trained verifier using the `run_judge_hf.py` script:
|
| 33 |
+
|
| 34 |
+
```bash
|
| 35 |
+
python scripts/run_judge_hf.py \
|
| 36 |
+
--model_name "WangResearchLab/verification-1.5b" \
|
| 37 |
+
--dataset_name "verification-evaluation-data" \
|
| 38 |
+
--dataset_split "validation" \
|
| 39 |
+
--save_path "evals/verification-1.5b/validation-eval.jsonl" \
|
| 40 |
+
--num_gpus 8
|
| 41 |
+
```
|
| 42 |
+
|
| 43 |
+
This command will score candidate solutions with the `WangResearchLab/verification-1.5b` model and save the evaluation results to the specified path.
|
| 44 |
+
|
| 45 |
+
## Citation
|
| 46 |
+
|
| 47 |
+
If you find this work useful, please consider citing the paper:
|
| 48 |
+
|
| 49 |
+
```bibtex
|
| 50 |
+
@article{montgomery2025budget,
|
| 51 |
+
title={Budget-Aware Test-Time Scaling via Discriminative Verification},
|
| 52 |
+
author={Montgomery, Kyle and Tan, Sijun and Chen, Yuqi and Zhuang, Siyuan and Zhang, Tianjun and Popa, Raluca Ada and Wang, Chenguang},
|
| 53 |
+
journal={arXiv preprint arXiv:2510.14913},
|
| 54 |
+
year={2025}
|
| 55 |
+
}
|
| 56 |
+
```
|