编程智能体与代码 · 工具介绍
QWED
用确定性计算和解析引擎检查模型输出中可验证的数学、逻辑或代码相关声明。
QWED 能做什么
用确定性计算和解析引擎检查模型输出中可验证的数学、逻辑或代码相关声明。
- 语言模型与智能体质量评估及回归检查
如何使用 QWED
核对模型输出中的可计算声明
准备输入
- 待核对输出
- 对应输入事实
- 验证引擎配置
操作步骤
- 提取可交给支持引擎检查的声明。
- 运行 CLI 或接口，查看验证状态和证据引用。
- 将无法验证或被阻止的项交给人工复核，再决定是否采用结果。
预期交付物
- 声明验证记录
- 未验证项清单
验证只覆盖引擎可处理的范围，未验证不能改写成正确或错误的确定结论。
开始前需要了解
账号权限、费用与可用功能请以官方入口的当前说明为准。重要结果应先检查，再用于实际工作。
从编程智能体与代码角度评估QWED
把编程智能体与代码需要的条件列清楚，再比较工具。阅读本页的产品用途、步骤与限制，再逐项确认下面的问题；这些是选型方法，不表示每款工具都具备同样能力。
能否读懂上下文
确认工具能够读取所需目录，且不会引入不必要的资料。
改动是否可审查
优先能展示差异、保留原文件和逐步验证的工作方式。
测试能否说明问题
测试应覆盖用户可见行为，不只证明代码能运行。
选择一个小样任务，先检查结果与交付格式，再决定是否用于更多资料。
