Tag: inference-optimization

State-level selective verification with learned heuristics for verification-cost-limited LLM reasoning

Examines a state-level selective verification pipeline—feasibility gating, learned scoring and ranking, and adaptive verifier allocation—that trims verifier calls by 44% on MATH.