#逻辑推理

共 7 条 · 7 天 0 条 · 30 天 2 条

信息流里打上「逻辑推理」标签的资讯、产品与论文，按刊登时间排，新的在上。

11月3日

把逻辑谜题交给 LLM 解析、再丢给精确覆盖求解器算答案，纯 CoT 解不好的题这条路能稳定做对，做求解器集成可以参考。

arXiv cs.AI@Paulius Skaisgiris 等 6 人原文

10月26日

一个测 LLM 逻辑一致性的开源工具，不需要标注答案就能跑，还带离线模式，做模型评测的可以试试。

arXiv cs.AI@Zenghui Zhou 等 3 人原文

9月11日

这篇论文提出了一个在SMT求解中结合非地面子句学习的创新方法，可能提升求解效率，对研究逻辑推理和自动定理证明的工程师有参考价值。

arXiv cs.AI@Yasmine Briefs, Christoph Weidenbach原文

9月3日

论文精选73°09:07

这篇论文揭示了语言模型内部逻辑表示与行为表达的分离现象，对理解LLM推理机制有重要价值。

arXiv cs.LG@Smitha Muthya Sudheendra, Jaideep Srivastava原文

8月6日

论文精选10:46

这篇论文测了语言模型会不会按给定的模态逻辑规则推理，DeepSeek V4 Flash开推理模式后从4.4%直接飙到88.1%，反差很大，可以看看。

arXiv: DeepSeek@Réemi Andrieu, Damien Sileo原文

7月31日

这篇 arXiv 论文给信念更新加了选择性机制，能处理部分输入不可信的情况，比旧方法更灵活。

arXiv cs.AI@Theofanis Aravanis, Costas D. Koutras原文

6月29日

COCOLogic-V2 这个新数据集专测视觉推理，正反例分类特别细，模型在近边界上直接翻车，做可解释 AI 的可以看看。

arXiv cs.LG@David Steinmann 等 4 人原文