paper-with-me

Papers

Trust but Verify! A Survey on Verification Design for Test-time Scaling

2025-08-20 · V Venktesh, Mandeep Rathee, Avishek Anand arxiv

Test-time scaling (TTS) has emerged as a new frontier for scaling the performance of Large Language Models. In test-time scaling, by using more computational resources during inference, LLMs can improve their reasoning process and task performance. Several approaches have emerged for TTS such as distilling reasoning traces from another model or exploring the vast decoding search space by employing a verifier. The verifiers serve as reward models that help score the candidate outputs from the decoding process to diligently explore the vast solution space and select the best outcome. This paradigm commonly termed has emerged as a superior approach owing to parameter free scaling at inference time and high performance gains. The verifiers could be prompt-based, fine-tuned as a discriminative or generative model to verify process paths, outcomes or both. Despite their widespread adoption, there is no detailed collection, clear categorization and discussion of diverse verification approaches and their training mechanisms. In this survey, we cover the diverse approaches in the literature and present a unified view of verifier training, types and their utility in test-time scaling. Our repository can be found at https://github.com/elixir-research-group/Verifierstesttimescaling.github.io.

📄 PDF Abstract BibTeX arXiv:2508.16665

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

A Survey of Safety and Trustworthiness of Deep Neural Networks: Verification, Testing, Adversarial Attack and Defence, and Interpretability

2018-12-18 · Xiaowei Huang, Daniel Kroening, Wenjie Ruan, James Sharp 외

In the past few years, significant progress has been made on deep neural networks (DNNs) in achieving human-level performance on several long-standing tasks. With the broader deployment of DNNs on various applications, t…

Adversarial AttackSelf-Driving CarsSurvey

A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence

2024-01-06 · Justus Renkhoff, Ke Feng, Marc Meier-Doernberg, Alvaro Velasquez 외

Neurosymbolic artificial intelligence (AI) is an emerging branch of AI that combines the strengths of symbolic AI and sub-symbolic AI. A major drawback of sub-symbolic AI is that it acts as a "black box", meaning that pr…

Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective

2022-06-24 · Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Zhe Hou 외

Neural networks have been widely applied in security applications such as spam and phishing detection, intrusion prevention, and malware detection. This black-box method, however, often has uncertainty and poor explainab…

Adversarial RobustnessBIG-bench Machine LearningMalware Detection

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks

2024-06-30 · Tianhao Wei, Luca Marzari, Kai S. Yun, Hanjiang Hu 외

Deep Neural Networks (DNN) are crucial in approximating nonlinear functions across diverse applications, ranging from image classification to control. Verifying specific input-output properties can be a highly challengin…

image-classificationImage Classification

Trust, but Verify: Robust Image Segmentation using Deep Learning

2023-10-25 · Fahim Ahmed Zaman, Xiaodong Wu, Weiyu Xu, Milan Sonka 외

We describe a method for verifying the output of a deep neural network for medical image segmentation that is robust to several classes of random as well as worst-case perturbations i.e. adversarial attacks. This method …

Deep LearningImage SegmentationMedical Image SegmentationSegmentation+1