大模型推理能力

Autonomous Control Leveraging LLMs: An Agentic Framework for Next-Generation Industrial Automation

Javal Vyas, Mehmet Mercangoz

机构 * Autonomous Industrial Systems Lab,Imperial College London（自主工业系统实验室，帝国理工学院伦敦） 纠错

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

FurniMAS: Language-Guided Furniture Decoration using Multi-Agent System

Toan Nguyen, Tri Le, Quang Nguyen, Anh Nguyen

机构 * FSoft AI Center（FSoft AI中心） ； University of Liverpool（利物浦大学） 纠错

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

Multimodal-to-Text Prompt Engineering in Large Language Models Using Feature Embeddings for GNSS Interference Characterization

Harshith Manjunath, Lucas Heublein, Tobias Feigl, Felix Ott

机构 * Fraunhofer Institute for Integrated Circuits IIS（弗劳恩霍夫集成电路研究所） 纠错

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

Journal ref IEEE Wireless Communications and Networking Conference (WCNC), March 2025, Milan, Italy

Knowledge Protocol Engineering: A New Paradigm for AI in Domain-Specific Knowledge Work

Guangwei Zhang

机构 * School of History and Civilization, Shaanxi Normal University（历史与文明学院，陕西师范大学） 纠错

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

Bridging UI Design and chatbot Interactions: Applying Form-Based Principles to Conversational Agents

Sanjay Krishna Anbalagan, Xinrui Nie, Umesh Mohan, Vijay Kumar Kanamarlapudi, Anughna Kommalapati, Xiaodan Zhao

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

Comments 8 pages, 1 figure, pre-print of poster accepted for HCI International 2025 (HCII 2025), CCIS vol 2529

Journal ref Stephanidis C., Antona M., Ntoa S., Salvendy G. (eds) HCI International 2025 Posters. Communications in Computer and Information Science, vol 2529, Springer, Cham, 2025, pp. 223 231

The Avengers: A Simple Recipe for Uniting Smaller Language Models to Challenge Proprietary Giants

Yiqun Zhang, Hao Li, Chenxu Wang, Linyao Chen, Qiaosheng Zhang, Peng Ye, Shi Feng, Daling Wang, Zhen Wang, Xinrun Wang, Jia Xu, Lei Bai, Wanli Ouyang, Shuyue Hu

机构 * Northeastern University（东北大学） ； Shanghai Artificial Intelligence Laboratory（上海人工智能实验室） ； Northwestern Polytechnical University（西北工业大学） ； Beijing Institute of Technology（北京理工大学） ； The University of Tokyo（东京大学） ； Singapore Management University（新加坡管理学院） 纠错

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

Comments 9 pages, 4 figures, 6 tables, supplementary material (appendix) included separately

Enhancing Symbolic Machine Learning by Subsymbolic Representations

Stephen Roth, Lennart Baur, Derian Boer, Stefan Kramer

机构 * Johannes Gutenberg Universität Mainz（莱茵河畔明斯特大学） 纠错

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

Mastering Da Vinci Code: A Comparative Study of Transformer, LLM, and PPO-based Agents

LeCheng Zhang, Yuanshi Wang, Haotian Shen, Xujie Wang

机构 * Westlake College, Westlake University（西lake学院，西lake大学） 纠错

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

AIR: Zero-shot Generative Model Adaptation with Iterative Refinement

Guimeng Liu, Milad Abdollahzadeh, Ngai-Man Cheung

机构 * Singapore University of Technology and Design (SUTD)（新加坡科技设计大学） 纠错

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

BeamLoRA: Beam-Constraint Low-Rank Adaptation

Naibin Gu, Zhenyu Zhang, Xiyu Liu, Peng Fu, Zheng Lin, Shuohuan Wang, Yu Sun, Hua Wu, Weiping Wang, Haifeng Wang

机构 * Institute of Information Engineering, Chinese Academy of Sciences（中国科学院信息工程研究所） ； School of Cyber Security, University of Chinese Academy of Sciences（中国科学院大学网络安全学院） ； Baidu Inc.（百度公司） 纠错

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

Comments Accepted by ACL 2025

KnowCoder-V2: Deep Knowledge Analysis

Zixuan Li, Wenxuan Liu, Long Bai, Chunmao Zhang, Wei Li, Fenghui Zhang, Quanxin Jin, Ruoyun He, Zhuo Chen, Zhilei Hu, Fei Wang, Bingbing Xu, Xuhui Jiang, Xiaolong Jin, Jiafeng Guo, Xueqi Cheng

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

Symbolic-AI-Fusion Deep Learning (SAIF-DL): Encoding Knowledge into Training with Answer Set Programming Loss Penalties by a Novel Loss Function Approach

Fadi Al Machot, Martin Thomas Horsch, Habib Ullah

机构 * Department of Data Science, Faculty of Science and Technology, Norwegian University of Life Sciences（数据科学系，科学与技术学院，挪威生命科学大学） 纠错

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

Negation: A Pink Elephant in the Large Language Models' Room?

Tereza Vrabcová, Marek Kadlčík, Petr Sojka, Michal Štefánik, Michal Spiegel

机构 * Faculty of Informatics, Masaryk University（信息学院，马萨里克大学） 纠错

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

CP-Router: An Uncertainty-Aware Router Between LLM and LRM

Jiayuan Su, Fulin Lin, Zhaopeng Feng, Han Zheng, Teng Wang, Zhenyu Xiao, Xinlong Zhao, Zuozhu Liu, Lu Cheng, Hongwei Wang

机构 * Zhejiang University（浙江大学） ； University of Hong Kong（香港大学） ； Tsinghua University（清华大学） ； Peking University（北京大学） ； University of Illinois Chicago（伊利诺伊大学芝加哥分校） 纠错

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

DB-Explore: Automated Database Exploration and Instruction Synthesis for Text-to-SQL

Haoyuan Ma, Yongliang Shen, Hengwei Liu, Wenqi Zhang, Haolei Xu, Qiuying Peng, Jun Wang, Weiming Lu

机构 * Zhejiang University（浙江大学） ； OPPO Research Institute（OPPO研究院） 纠错

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

Beyond Single-Task: Robust Multi-Task Length Generalization for LLMs

Yi Hu, Shijia Kang, Haotong Yang, Haotian Xu, Muhan Zhang

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

GE-Chat: A Graph Enhanced RAG Framework for Evidential Response Generation of LLMs

Longchao Da, Parth Mitesh Shah, Kuan-Ru Liou, Jiaxing Zhang, Hua Wei

机构 * Arizona State University（亚利桑那州立大学） ； New Jersey Institute of Technology（新泽西理工学院） ； Arizona（亚利桑那） ； New Jersey（新泽西） 纠错

专题命中 逻辑推理 ：chain-of-thought(abstract)；CoT(abstract)；分类 cs.CL

Comments 5 pages, 4 figures, accepted to IJCAI2025 demo track

Generating Symbolic World Models via Test-time Scaling of Large Language Models

Zhouliang Yu, Yuhuan Yuan, Tim Z. Xiao, Fuxiang Frank Xia, Jie Fu, Ge Zhang, Ge Lin, Weiyang Liu

机构 * Westlake University（西湖大学） ； The Chinese University of Hong Kong（香港中文大学） ； The Hong Kong University of Science and Technology (Guangzhou)（香港科技大学（广州）） ； Max Planck Institute for Intelligent Systems, Tübingen（智能系统马克斯·普朗克研究所（图宾根）） ； Environmental Systems Research Institute, Inc.（环境系统研究所） ； Shanghai Artificial Intelligence Laboratory（上海人工智能实验室） ； SEED, Bytedance（字节跳动SEED团队） ； The Hong Kong University of Science and Technology（香港科技大学） 纠错

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

Comments Accepted by TMLR2025 (32 pages, 6 figures)

Journal ref Transactions on Machine Learning Research, 2025

A Report on the llms evaluating the high school questions

Zhu Jiawei, Chen Wei

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

The Convergent Ethics of AI? Analyzing Moral Foundation Priorities in Large Language Models with a Multi-Framework Approach

Chad Coleman, W. Russell Neuman, Ali Dasdan, Safinah Ali, Manan Shah

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

Comments 25 pages, 8 figures

Auditing the Ethical Logic of Generative AI Models

W. Russell Neuman, Chad Coleman, Ali Dasdan, Safinah Ali, Manan Shah

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

Context-Awareness and Interpretability of Rare Occurrences for Discovery and Formalization of Critical Failure Modes

Sridevi Polavaram, Xin Zhou, Meenu Ravi, Mohammad Zarei, Anmol Srivastava

机构 * MITRE Corporation（MITRE公司） 纠错

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

Comments Accepted to IEEE Conference for Artificial Intelligence, 2025

An LLM-enabled Multi-Agent Autonomous Mechatronics Design Framework

Zeyu Wang, Frank P. -W. Lo, Qian Chen, Yongqi Zhang, Chen Lin, Xu Chen, Zhenhua Yu, Alexander J. Thompson, Eric M. Yeatman, Benny P. L. Lo

机构 * Imperial College London（帝国理工学院伦敦分校） ； Univeristy of Aberdeen（阿伯丁大学） 纠错

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

Comments Accepted by CVPR 2025 Workshop

Bridging Technology and Humanities: Evaluating the Impact of Large Language Models on Social Sciences Research with DeepSeek-R1

Peiran Gu, Fuhao Duan, Wenhao Li, Bochen Xu, Ying Cai, Teng Yao, Chenxun Zhuo, Tianming Liu, Bao Ge

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

Comments 52 pages, 19 figures

Innovative Thinking, Infinite Humor: Humor Research of Large Language Models through Structured Thought Leaps

Han Wang, Yilin Zhao, Dian Li, Xiaohan Wang, Gang Liu, Xuguang Lan, Hui Wang

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

LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation

Bowen Li, Zhaoyu Li, Qiwei Du, Jinqi Luo, Wenshan Wang, Yaqi Xie, Simon Stepputtis, Chen Wang, Katia P. Sycara, Pradeep Kumar Ravikumar, Alexander G. Gray, Xujie Si, Sebastian Scherer

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

Comments 25 pages, 8 figures, In Advances in Neural Information Processing Systems (NeurIPS) 37 D&B Track (2024): 69840-69864

Journal ref Advances in Neural Information Processing Systems, 37, 69840-69864 (2024)

LaMOuR: Leveraging Language Models for Out-of-Distribution Recovery in Reinforcement Learning

Chan Kim, Seung-Woo Seo, Seong-Woo Kim

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

Comments 14 pages, 16 figures

A Study on Neuro-Symbolic Artificial Intelligence: Healthcare Perspectives

Delower Hossain, Jake Y Chen

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

Comments 18 pages

A new approach for encoding code and assisting code understanding

Mengdan Fan, Wei Zhang, Haiyan Zhao, Zhi Jin

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

Comments 10 page, 14 figures

Aristotle's Original Idea: For and Against Logic in the era of AI

Antonis C. Kakas

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

Comments 40 pages