开发者为 LLM 打造英文逻辑语言推理解释器

一位开发者认为其所用的 LLM「Jev」本身并不会推理，于是构建了一个「推理解释器」：一门事实与规则均以自然英文书写的逻辑语言，解释器在其上运行普通的证明搜索来完成推理。细节上，解释器在匹配目标与事实或规则时会向模型提问，例如「『Abe 是 Y 的父亲』与『Abe 是 Homer 的父亲』是否陈述同一事实」，模型则以概率形式作答。

2026-09-19 ~ 2026-09-19 · 2 条相关

• 开发者造英文逻辑语言解释器，让 LLM 借外部证明搜索做推理 — narphorium · 2026-09-19
• 细节曝光：解释器向 LLM 提问匹配事实规则，模型输出概率 — narphorium · 2026-09-19