SkillGate

LLM 验证转向 SkillGate 的确定性文件系统检查

一位名叫 René Zander 的开发者提出了一种 LLM 验证系统的替代设计，将 LLM 裁判的评估方式转变为对文件系统的确定性检查。这种方法在名为 SkillGate 的工具中实现，侧重于验证证据的存在而不是解释模型输出。SkillGate 使用一组在文件系统上运行的纯函数来确保任务完成，从而防止 LLM 默默地通过不正确的输出。