Extending SMT Solving with Non-Ground Clause Learning
This research contributes to the theoretical foundations of SMT solving, which is a core component of many automated reasoning and verification tools.
#逻辑推理
5 stories · 0 in 7 days · 0 in 30 days
Stories, products and papers tagged "逻辑推理", newest first.
9月11日
9月3日
Logical Validity Representations in Language Models
Models can represent logical validity internally without reliably expressing it in outputs, affecting how we evaluate AI reasoning capabilities.
8月6日
Chinese content同式异义：语言模型能否遵循模态逻辑规范？
这篇论文测了语言模型会不会按给定的模态逻辑规则推理，DeepSeek V4 Flash开推理模式后从4.4%直接飙到88.1%，反差很大，可以看看。
7月31日
6月29日
Papers10:12
Chinese contentCOCOLogic-V2：利用真实难负例识别逻辑不一致性COCOLogic-V2 这个新数据集专测视觉推理，正反例分类特别细，模型在近边界上直接翻车，做可解释 AI 的可以看看。