#逻辑推理

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

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

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