Cover Image

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhong, Jianyuan, Li, Zeju, Xu, Zhijian, Wen, Xiangyu, Li, Kezhi, Xu, Qiang
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Dyve: Thinking Fast and Slow for Dynamic Process Verification
by: Zhong, Jianyuan, et al.
Published: (2025)

From Craft to Constitution: A Governance-First Paradigm for Principled Agent Engineering
by: Xu, Qiang, et al.
Published: (2025)

Making Slow Thinking Faster: Compressing LLM Chain-of-Thought via Step Entropy
by: Li, Zeju, et al.
Published: (2025)

Reasoning Scaffolding: Distilling the Flow of Thought from LLMs
by: Wen, Xiangyu, et al.
Published: (2025)

Context Distillation as Latent Memory Management
by: Zheng, Ziyang, et al.
Published: (2026)

Tiny Inference-Time Scaling with Latent Verifiers
by: Bucciarelli, Davide, et al.
Published: (2026)

FormalRTL: Verified RTL Synthesis at Scale
by: Li, Kezhi, et al.
Published: (2026)

Fuse, Reason and Verify: Geometry Problem Solving with Parsed Clauses from Diagram
by: Zhang, Ming-Liang, et al.
Published: (2024)

LLatrieval: LLM-Verified Retrieval for Verifiable Generation
by: Li, Xiaonan, et al.
Published: (2023)

Sketch-and-Verify: Structured Inference-Time Scaling via Program Sketching
by: Jiang, Shan, et al.
Published: (2026)

Latent Context Compilation: Distilling Long Context into Compact Portable Memory
by: Li, Zeju, et al.
Published: (2026)

VerifyBench: A Systematic Benchmark for Evaluating Reasoning Verifiers Across Domains
by: Li, Xuzhao, et al.
Published: (2025)

Reinforcement Learning with Verifiable Rewards Implicitly Incentivizes Correct Reasoning in Base LLMs
by: Wen, Xumeng, et al.
Published: (2025)

Parallel Test-Time Scaling with Multi-Sequence Verifiers
by: Kim, Yegon, et al.
Published: (2026)

Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers
by: Lifshitz, Shalev, et al.
Published: (2025)

Calibrated Reasoning: An Explanatory Verifier for Dynamic and Efficient Problem-Solving
by: Garg, Anisha, et al.
Published: (2025)

Propose, Solve, Verify: Self-Play Through Formal Verification
by: Wilf, Alex, et al.
Published: (2025)

Reinforcement Learning with Verifiable yet Noisy Rewards under Imperfect Verifiers
by: Cai, Xin-Qiang, et al.
Published: (2025)

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis
by: Peng, Zedong, et al.
Published: (2025)

KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment
by: Zhang, Jiyao, et al.
Published: (2025)

Functional Matching of Logic Subgraphs: Beyond Structural Isomorphism
by: Zheng, Ziyang, et al.
Published: (2025)

VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation
by: Bai, Yifan, et al.
Published: (2026)

Can We Verify Step by Step for Incorrect Answer Detection?
by: Xu, Xin, et al.
Published: (2024)

SkillGen: Verified Inference-Time Agent Skill Synthesis
by: Ma, Yuchen, et al.
Published: (2026)

Multimodal Learning for Fake News Detection in Short Videos Using Linguistically Verified Data and Heterogeneous Modality Fusion
by: Li, Shanghong, et al.
Published: (2025)

Belief-Guided Inference Control for Large Language Model Services via Verifiable Observations
by: Yuan, Wenhao, et al.
Published: (2026)

Scaling Generative Verifiers For Natural Language Mathematical Proof Verification And Selection
by: Mahdavi, Sadegh, et al.
Published: (2025)

SVBRD-LLM: Self-Verifying Behavioral Rule Discovery for Autonomous Vehicle Identification
by: Li, Xiangyu, et al.
Published: (2025)

TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks
by: Wang, Zhiruo, et al.
Published: (2024)

LOGIGEN: Logic-Driven Generation of Verifiable Agentic Tasks
by: Zeng, Yucheng, et al.
Published: (2026)

Position: Universal Time Series Foundation Models Rest on a Category Error
by: Dai, Xilin, et al.
Published: (2026)

EigenAI: Deterministic Inference, Verifiable Results
by: Alves, David Ribeiro, et al.
Published: (2026)

Verifying the Verifiers: Unveiling Pitfalls and Potentials in Fact Verifiers
by: Seo, Wooseok, et al.
Published: (2025)

When To Solve, When To Verify: Compute-Optimal Problem Solving and Generative Verification for LLM Reasoning
by: Singhi, Nishad, et al.
Published: (2025)

DRIVE: Dynamic Rule Inference and Verified Evaluation for Constraint-Aware Autonomous Driving
by: Geng, Longling, et al.
Published: (2025)

Trust, But Verify: A Self-Verification Approach to Reinforcement Learning with Verifiable Rewards
by: Liu, Xiaoyuan, et al.
Published: (2025)

DynScaling: Efficient Verifier-free Inference Scaling via Dynamic and Integrated Sampling
by: Wang, Fei, et al.
Published: (2025)

DyJR: Preserving Diversity in Reinforcement Learning with Verifiable Rewards via Dynamic Jensen-Shannon Replay
by: Li, Long, et al.
Published: (2026)

VeRA: Verified Reasoning Data Augmentation at Scale
by: Cheng, Zerui, et al.
Published: (2026)

Verifiable Process Rewards for Agentic Reasoning
by: Yuan, Huining, et al.
Published: (2026)