Verifier model

A separate model or module that assesses the correctness of an answer, proof, code, or tool trajectory. The concept was popularized by OpenAI's work on GSM8K (Cobbe et al., 2021), where many solutions were generated and the best was selected by a verifier ranking. In reasoning, code, and RLVR it provides both a training and a selection signal.