用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…