arXiv ID:
2607.04096
arXiv 提交日期: 2026-07-05
前瞻:基于神经符号原始编程的可验证推理 / Forethought: Verifiable Reasoning from Neurosymbolic Primitive Programming
1️⃣ 一句话总结
本文提出一种名为Forethought的神经符号推理系统,通过将推理过程转化为可验证的显式程序(而非依赖大模型内部的黑盒思维链),显著提升了小模型的推理准确率,并让它们在与专用推理模型竞争时,只需极少的后训练投入,同时保持步骤可审计性和模型无关性。