大模型推理能力

When Natural Strategies Meet Fuzziness and Resource-Bounded Actions (Extended Version)

当自然策略与模糊性及资源受限行动相遇（扩展版本）

Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano

专题命中 代码与定理证明 ：reasoning(abstract)

AI总结 本文提出HumanATLF逻辑，结合模糊语义和资源受限行动，解决自然策略中成本和不确定性的问题，并证明模型检查的复杂性。

A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL

为Isabelle/HOL上的神经定理证明设计的最小化证明语言

Qiyuan Xu, Renxi Wang, Peixin Wang, Haonan Li, Conrad Watt

专题命中 代码与定理证明 ：reasoning(abstract)

AI总结 本文提出Minilang，一种简洁的证明语言，用于提升神经定理证明在形式证明中的性能。

Comments Accepted in OOPSLA'26