大模型推理能力

DeepGate4: Efficient and Effective Representation Learning for Circuit Design at Scale

Ziyang Zheng, Shan Huang, Jianyuan Zhong, Zhengyuan Shi, Guohao Dai, Ningyi Xu, Qiang Xu

机构 * The Chinese University of Hong Kong（香港中文大学） ； Shanghai Jiao Tong University（上海交通大学） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.LG

MCP Guardian: A Security-First Layer for Safeguarding MCP-Based AI System

Sonu Kumar, Anubhav Girdhar, Ritesh Patil, Divyansh Tripathi

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Codifying Character Logic in Role-Playing

Letian Peng, Jingbo Shang

机构 * Department of Computer Science University of California, San Diego（计算机科学系加州大学圣地亚哥分校） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Injecting Knowledge Graphs into Large Language Models

Erica Coppolillo

机构 * University of Calabria（卡拉布里亚大学） ； ICAR-CNR（ICAR-国家研究理事会） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.LG

RedTeamLLM: an Agentic AI framework for offensive security

Brian Challita, Pierre Parrend

机构 * Laboratoire de Recherche de l’EPITA（EPITA研究实验室） ； ICube, UMR 7357（ICube研究中心） ； Université de Strasbourg（斯特拉斯堡大学） ； CNRS（国家科学研究中心） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

RuleGenie: SIEM Detection Rule Set Optimization

Akansha Shukla, Parth Atulbhai Gandhi, Yuval Elovici, Asaf Shabtai

机构 * Beg-Gurion University of the Negev（贝格-加利尔内盖夫大学） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.LG

ROSA: A Knowledge-based Solution for Robot Self-Adaptation

Gustavo Rezende Silva, Juliane Päßler, S. Lizeth Tapia Tarifa, Einar Broch Johnsen, Carlos Hernández Corbato

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Journal ref Front. Robot. AI Sec. Computational Intelligence in Robotics 2025

Geo-Llama: Leveraging LLMs for Human Mobility Trajectory Generation with Spatiotemporal Constraints

Siyu Li, Toan Tran, Haowen Lin, John Krumm, Cyrus Shahabi, Lingyi Zhao, Khurram Shafique, Li Xiong

机构 * Dept. of Computer Science, Emory University（埃默里大学计算机科学系） ； Dept. of Computer Science, University of Southern California（南加州大学计算机科学系） ； Novateur Research Solutions（Novateur研究解决方案） 纠错

专题命中 逻辑推理 ：planning(abstract)；分类 cs.AI

MAGI: Multi-Agent Guided Interview for Psychiatric Assessment

Guanqun Bi, Zhuang Chen, Zhoufu Liu, Hongkai Wang, Xiyao Xiao, Yuqiang Xie, Wen Zhang, Yongkang Huang, Yuxuan Chen, Libiao Peng, Yi Feng, Minlie Huang

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments In progress

Enhancing Autonomous Driving Systems with On-Board Deployed Large Language Models

Nicolas Baumann, Cheng Hu, Paviththiren Sivasothilingam, Haotong Qin, Lei Xie, Michele Magno, Luca Benini

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Mutual Understanding between People and Systems via Neurosymbolic AI and Knowledge Graphs

Irene Celino, Mario Scrocca, Agnese Chiatti

机构 * Cefriel ； Politecnico di Milano（米兰理工大学） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 26 pages, 13 figures, 1 table; pre-print version of book chapter

Boosting Universal LLM Reward Design through Heuristic Reward Observation Space Evolution

Zen Kit Heng, Zimeng Zhao, Tianhao Wu, Yuanfei Wang, Mingdong Wu, Yangang Wang, Hao Dong

机构 * Center on Frontiers of Computing Studies, School of Computer Science, Peking University（北京大学计算机学院计算前沿研究中心） ； PKU-Agibot Lab, School of Computer Science, Peking University（北京大学计算机学院PKU-Agibot实验室） ； National Key Laboratory for Multimedia Information Processing, School of Computer Science, Peking University（北京大学计算机学院多媒体信息处理国家重点实验室） ； School of Automation, Southeast University（东南大学自动化学院） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 7 pages, 5 figures

Neuro-Symbolic AI in 2024: A Systematic Review

Brandon C. Colelough, William Regli

机构 * University of Maryland（马里兰大学） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 19 pages

Augmenting deep neural networks with symbolic knowledge: Towards trustworthy and interpretable AI for education

Danial Hooshyar, Roger Azevedo, Yeongwook Yang

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Cultivating Game Sense for Yourself: Making VLMs Gaming Experts

Wenxuan Lu, Jiangyang He, Zhanqiu Zhang, Yiwen Guo, Tianning Zang

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Understanding the Logic of Direct Preference Alignment through Logic

Kyle Richardson, Vivek Srikumar, Ashish Sabharwal

机构 * Allen Institute for AI（艾伦人工智能研究所） ； University of Utah（犹他大学） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

The Art of Tool Interface Design

Yunnan Wu, Paul Chen, Deshank Baranwal, Jinlong Zhou, Jian Yuan

机构 * Meta Inc.（元公司） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

J&H: Evaluating the Robustness of Large Language Models Under Knowledge-Injection Attacks in Legal Domain

Yiran Hu, Huanghai Liu, Qingjing Chen, Ning Zheng, Chong Wang, Yun Liu, Charles L. A. Clarke, Weixing Shen

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments 10 pages, 5 figures

Enhancing Multi-Hop Fact Verification with Structured Knowledge-Augmented Large Language Models

Han Cao, Lingwei Wei, Wei Zhou, Songlin Hu

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments Accepted by AAAI 2025

Benchmarking Chinese Medical LLMs: A Medbench-based Analysis of Performance Gaps and Hierarchical Optimization Strategies

Luyi Jiang, Jiayuan Chen, Lu Lu, Xinwei Peng, Lihao Liu, Junjun He, Jie Xu

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Performant LLM Agentic Framework for Conversational AI

Alex Casella, Wayne Wang

机构 * Thoughtly（思利科技） ； Boston University（波士顿大学） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 6 pages, 3 figures

Curiosity-Driven Imagination: Discovering Plan Operators and Learning Associated Policies for Open-World Adaptation

Pierrick Lorang, Hong Lu, Matthias Scheutz

机构 * Tufts University（塔夫茨大学） ； AIT Austrian Institute of Technology GmbH（奥地利技术研究院有限公司） 纠错

专题命中 逻辑推理 ：planning(abstract)；分类 cs.AI

Comments 8 pages, 4 figures. Accepted at ICRA 2025

Extracting Symbolic Sequences from Visual Representations via Self-Supervised Learning

Victor Sebastian Martinez Pozos, Ivan Vladimir Meza Ruiz

机构 * Universidad Nacional Autónoma de México（墨西哥国立自治大学） ； Posgrado en Ciencia e Ingeniería de la Computación（计算机科学与工程研究生课程） ； Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas（应用数学与系统研究所） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.LG

Enhancing Non-English Capabilities of English-Centric Large Language Models through Deep Supervision Fine-Tuning

Wenshuai Huo, Xiaocheng Feng, Yichong Huang, Chengpeng Fu, Baohang Li, Yangfan Ye, Zhirui Zhang, Dandan Tu, Duyu Tang, Yunfei Lu, Hui Wang, Bing Qin

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments Accepted at AAAI 2025

Inference of Abstraction for Grounded Predicate Logic

Hiroyuki Kido

机构 * Cardiff University（卡迪夫大学） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

A short Survey: Exploring knowledge graph-based neural-symbolic system from application perspective

Shenzhe Zhu, Shengxiang Sun

机构 * University of Toronto（多伦多大学） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Pearce's Characterisation in an Epistemic Domain

Ezgi Iraz Su

机构 * Sinop University（锡诺普大学） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments In Proceedings ICLP 2024, arXiv:2502.08453

Journal ref EPTCS 416, 2025, pp. 201-214

Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration

Flavio Bertini, Alessandro Dal Palù, Federica Zaglio, Francesco Fabiano, Andrea Formisano

机构 * University of Parma（帕尔马大学） ； New Mexico State University（新墨西哥州立大学） ； University of Udine（乌迪内大学） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments In Proceedings ICLP 2024, arXiv:2502.08453

Journal ref EPTCS 416, 2025, pp. 139-152

Visual Graph Question Answering with ASP and LLMs for Language Parsing

Jakob Johannes Bauer, Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments In Proceedings ICLP 2024, arXiv:2502.08453. This work was partially funded from the Bosch Center for AI

Journal ref EPTCS 416, 2025, pp. 15-28

On LLM-generated Logic Programs and their Inference Execution Methods

Paul Tarau

机构 * University of North Texas（北得克萨斯大学） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments In Proceedings ICLP 2024, arXiv:2502.08453

Journal ref EPTCS 416, 2025, pp. 1-14