mlsanityData to 14 Oct 2026

The Hidden Signal of Verifier Strictness: Controlling and Improving Step-Wise Verification via Selective Latent Steering

arXiv 2605.20745 ↗First posted 20 May 2026cs.LG cs.AI cs.CLcited by 5

Not on the map. Why?

Abstract (arXiv)

Generative verifiers have emerged as a promising paradigm for step-wise verification, but their verification behavior is often poorly calibrated: they may be under-critical and miss erroneous steps, or over-critical and reject correct reasoning. We refer to this tendency to be overly lenient or overly critical as verifier strictness. In this work, we study whether verifier strictness can be controlled through hidden-state intervention. We uncover a verification-specific hidden-state signal: in step-wise verification, a verifier's tendency to accept or reject a solution step is encoded near the boundary of the corresponding verification paragraph. Exploiting this signal, we show that hidden-state steering can directly modulate verifier strictness without fine-tuning. However, uniform steering induces a trade-off between error detection and correctness certification. To address this, we propose VerifySteer, which exploits latent correctness signals for sample-level routing and selectively intervenes on paragraph boundaries. Experiments on ProcessBench and Hard2Verify show that VerifySteer outperforms prompt optimization and activation steering baselines, and is competitive with self-consistency while requiring 4-7x less inference compute. VerifySteer is also complementary to verification fine-tuning, providing further gains on top of fine-tuned verifiers. The code is available at https://github.com/YefanZhou/VerifySteer.

Key facts. Cited by 5 papers in the map (data through 14 Oct 2026). Builds on 61 of its 63 references that are in the map. First posted on arXiv 20 May 2026.

Builds on

61 of 63 references.

References · 61

  1. 2025Qwen3 Technical Reportcited by 8,820
  2. 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,708
  3. 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,371
  4. 2023Let's Verify Step by Stepcited by 3,789
  5. 2024Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameterscited by 1,986
  6. 2023Representation Engineering: A Top-Down Approach to AI Transparencycited by 1,336
  7. 2023Steering Llama 2 via Contrastive Activation Additioncited by 1,085
  8. 2023Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotationscited by 928
  9. 2023Steering Language Models With Activation Engineeringcited by 922
  10. 2023MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Modelscited by 735
  11. 2023The Linear Representation Hypothesis and the Geometry of Large Language Modelscited by 716
  12. 2023The Geometry of Truth: Emergent Linear Structure in Large Language Model Representations of True/False Datasetscited by 712
38 more
  1. 2024Generative Verifiers: Reward Modeling as Next-Token Predictioncited by 480
  2. 2024Mechanistic Interpretability for AI Safety -- A Reviewcited by 422
  3. 2025The Lessons of Developing Process Reward Models in Mathematical Reasoningcited by 415
  4. 2023Emergent Linear Representations in World Models of Self-Supervised Sequence Modelscited by 319
  5. 2024JudgeBench: A Benchmark for Evaluating LLM-based Judgescited by 318
  6. 2024ProcessBench: Identifying Process Errors in Mathematical Reasoningcited by 292
  7. 2024Rewarding Progress: Scaling Automated Process Verifiers for LLM Reasoningcited by 279
  8. 2025Inference-Time Scaling for Generalist Reward Modelingcited by 239
  9. 2025AxBench: Steering LLMs? Even Simple Baselines Outperform Sparse Autoencoderscited by 218
  10. 2024Programming Refusal with Conditional Activation Steeringcited by 206
  11. 2025Reasoning Models Know When They're Right: Probing Hidden States for Self-Verificationcited by 159
  12. 2024Generative Reward Modelscited by 148
  13. 2024Physics of Language Models: Part 2.1, Grade-School Math and the Hidden Reasoning Processcited by 108
  14. 2025GenPRM: Scaling Test-Time Compute of Process Reward Models via Generative Reasoningcited by 97
  15. 2025SEAL: Steerable Reasoning Calibration of Large Language Models for Freecited by 68
  16. 2024Semantics-Adaptive Activation Intervention for LLMs via Dynamic Steering Vectorscited by 63
  17. 2024Steering Knowledge Selection Behaviours in LLMs via SAE-Based Representation Engineeringcited by 63
  18. 2025No Free Labels: Limitations of LLM-as-a-Judge Without Human Groundingcited by 54
  19. 2025Angular Steering: Behavior Control via Rotation in Activation Spacecited by 53
  20. 2025FairSteer: Inference Time Debiasing for LLMs with Dynamic Activation Steeringcited by 40
  21. 2025RL Tango: Reinforcing Generator and Verifier Together for Language Reasoningcited by 40
  22. 2026Reasoning Theater: Disentangling Model Beliefs from Chain-of-Thoughtcited by 40
  23. 2025Do LLM Evaluators Prefer Themselves for a Reason?cited by 38
  24. 2025StepWiser: Stepwise Generative Judges for Wiser Reasoningcited by 28
  25. 2026How do LLMs Compute Verbal Confidencecited by 26
  26. 2025Activation Steering for Chain-of-Thought Compressioncited by 24
  27. 2025Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Mathcited by 22
  28. 2026Spherical Steering: Geometry-Aware Activation Rotation for Language Modelscited by 21
  29. 2025Emergent Response Planning in LLMscited by 19
  30. 2025Variation in Verification: Understanding Verification Dynamics in Large Language Modelscited by 19
  31. 2025Efficient Process Reward Model Training via Active Learningcited by 16
  32. 2025Can Aha Moments Be Fake? Towards Quantifying Decorative and True Thinking in Chain-of-Thoughtcited by 15
  33. 2025When Does Verification Pay Off? A Closer Look at LLMs as Solution Verifierscited by 15
  34. 2025Fractional Reasoning via Latent Steering Vectors Improves Inference Time Computecited by 14
  35. 2025Activation Control for Efficiently Eliciting Long Chain-of-thought Ability of Language Modelscited by 13
  36. 2026V1: Unifying Generation and Self-Verification for Parallel Reasonerscited by 12
  37. 2025Error Classification of Large Language Models on Math Word Problems: A Dynamically Adaptive Frameworkcited by 10
  38. 2025Controlling Thinking Speed in Reasoning Modelscited by 10

50 most cited of 61 All 61 (JSON)

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 5.

5 papers.

Similar, not cited

Close in wording, no citation either way

  1. 2026Project Aletheia: Verifier-Guided Distillation of Backtracking for Small Language Models
  2. 2026Towards Verifiable Transformers: Solver-Checkable Circuit Explanations
  3. 2025Trust but Verify! A Survey on Verification Design for Test-time Scaling
  4. 2026Automating Formal Verification with Reinforcement Learning and Recursive Inference
  5. 2025Lightweight Latent Verifiers for Efficient Meta-Generation Strategies
  6. 2025Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
  7. 2026Verification Trap: Understanding Test-Time Selection Failures under False Premises in Code Generation
  8. 2026Verify to Amplify: Improving Reasoning via Learned Chain-of-Thought Verification