Model BreakdownsFrance
OpenState-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.