英文：Verifier 分类：inference
评估候选答案质量的独立模型，输出正确性/质量分数，用于 Best-of-N 选择、搜索剪枝与推理训练奖励。验证器是"推理时计算"的关键组件。
类型：结果验证器（对最终答案打分）、过程验证器（对每步打分）、规则验证器（确定性检查：代码编译、数学符号）；训练用正误样本（PRM 过程奖励模型）；与生成器联合构成生成-验证双模型范式。
用于数学推理（PRM800K 范式）、代码生成（测试通过为信号）、RL 训练奖励与 Agent 工具结果判断；验证器质量决定推理时计算的收益上限。