Forethought：神经符号原语编程实现可验证推理

Vishvesh Bhat 等作者发布论文，提出神经符号推理系统 Forethought：它用类型化领域特定语言把符号原语与神经原语组合起来，在四个标准工具调用基准上，端到端准确率相对直接提示同一基座模型的中位数提升 32%。 该系统每个推理步骤都带有设计时检查、执行时强制的输出契约：符号步骤天然成立，学习步骤则需通过契约检查与实证验证。作者称，移除契约与控制层后大部分增益消失，说明带来提升的是受检结构，而非单纯的任务分解。

AI 根据报道生成 · 52 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。