arXiv Artificial Intelligence· Xuyuan Liu, Xinshuai Dong, Elynn Chen, Yujun Yan·· 2 小时前AI 评分38
通过逻辑结构构建逻辑不变 LLM：LoGIST 框架
When Form Changes but Logic Doesn't: Building Logic-invariant LLMs through Logical Structure
AI 导读
研究提出 LoGIST 框架，用显式逻辑结构引导 LLM 推理：将每个输入映射为决策图（有向无环图），再编码为逻辑嵌入来条件化模型推理。系统评估显示，即使强 LLM 也难以在逻辑等价输入上保持一致预测，且对未见逻辑形式泛化较差。LoGIST 在多种训练设置下降低了逻辑等价下的不一致性，并提升了对未见逻辑形式的泛化。
来源：arXiv Artificial Intelligence · arxiv.org