When to Trust the Cheap Check: Weak and Strong Verification for Reasoning

ICMLSpotlight2026

Authors
Shayan Kiyani
Affiliation
UPenn
Venue
ICML 2026
Track
Spotlight

TL;DR

A strategy combining cheap weak checks with expensive strong checks for verifying reasoning.

Opening excerpt from the authors’ abstract.

Topics

reasoning

← All ICML 2026 Spotlight papers · Browse the whole archive