SuperAPI AI 工具集

reasoning-verifier

智能体与模型

查看项目

更新于 10-16 00:03

技能介绍

用途:在复杂多步推理或分析任务完成后,校验解答正确性,捕捉原始问题中被忽略的条件,识别解答中不存在于原题的幻觉假设,适用于对结论准确性要求较高的场景,例如在最终确定建议或决策之前。

主要能力:按 RCoT 方法分步执行。第一步问题分解,提取原题所有显式、约束、要求及可逻辑推断的隐含条件并编号;第二步解答重构,列出解答所假设的条件与最终答案;第三步条件对比,找出被忽略条件(原题有但解答未用)与幻觉条件(解答有但原题无),并判断后者能否由原条件逻辑推导;第四步错误分级,分为 Critical(改变最终答案)、Major(显著影响中间推理)、Minor(无影响的技术疏漏)、None(正确);第五步生成针对性修正提示;第六步给出修正解答;第七步迭代门控,若严重度为 Critical 或 Major,则以修正解答为新输入从第一步重跑,迭代计数从 1 开始、上限 3,达到 3 次即停止并标记“max iterations reached”;否则停止并输出最终验证解答与迭代次数,判定“No critical gaps remain”。

使用方式:将待验证的问题与 LLM 生成的解答一并输入,按上述步骤产出 RCoT 验证报告,包含问题摘要、原始条件、重构条件、对比结果、判定(CORRECT / NEEDS REVISION)、严重度,必要时附修正提示与修正解答。

限制:不以“100% 置信度”为停止标准,因为该目标不可实现且会产生虚假确定性;正确停止条件是不再存在 Critical 或 Major 缺口。迭代上限为 3 次。具体安装命令、平台支持与收费信息暂未提供。