大模型推演漏洞时常违反领域知识，EntailLLM用逻辑编程校验生成路径，为医疗设备等安全场景提供可靠保障
arXiv:2608.01763v1 Announce Type: cross Abstract: Large language models are increasingly used to reason about software vulnerabilities, but their outp…
答案集编程（ASP）中的流线型技术，用约束剪枝大幅提升求解效率，AI逻辑推理新利器。
arXiv:2604.19251v2 Announce Type: replace-cross Abstract: Streamliner constraints reduce the search space of combinatorial problems by ruling out port…
用LLM自动发明谓词，突破归纳逻辑编程瓶颈，让AI学会更灵活的推理规则。
arXiv:2607.01585v1 Announce Type: cross Abstract: Predicate invention (PI), the creation of new predicates to extend the hypothesis space, remains a c…
利用归纳逻辑编程让LLM Agent安全规则自主进化，突破传统静态安全策略局限，实现动态可解释的安全约束。
arXiv:2606.24245v1 Announce Type: cross Abstract: Large language model (LLM) agents increasingly automate complex tasks by integrating language models…
教大模型学会用Prolog：标准化接口让LLM Agent轻松调用逻辑编程工具。
arXiv:2606.14935v1 Announce Type: new Abstract: Frontier reasoning-tuned language models still fail on deductive tasks at depth, and the cost of impro…
逻辑编程与抽象论证中的强等价概念，为知识库替换提供理论保障。
arXiv:2605.14721v1 Announce Type: new Abstract: Strong equivalence between knowledge bases ensures the possibility of replacing one with the other wit…