LoGIST 框架：通过逻辑结构构建逻辑不变的 LLM
When Form Changes but Logic Doesn't: Building Logic-invariant LLMs through Logical Structure
AI 导读
一篇 NeurIPS 2026 论文提出 LoGIST（LoGIcal STructure-guided reasoning）框架，用显式逻辑结构引导大语言模型推理。该框架将输入映射为捕捉逻辑结构的决策图（有向无环图），并编码为逻辑嵌入来约束 LLM 推理过程。实验显示，LoGIST 在逻辑等价输入下减少了预测不一致，并提升了对未见逻辑形式的泛化能力。
来源：arXiv cs.AI · arxiv.org