大模型推理能力

Language Models as Ontology Encoders

Hui Yang, Jiaoyan Chen, Yuan He, Yongsheng Gao, Ian Horrocks

机构 * The University of Manchester（曼彻斯特大学） ； Amazon（亚马逊） ； SNOMED International（SNOMED国际） ； University of Oxford（牛津大学） 纠错

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

A Training-Free, Task-Agnostic Framework for Enhancing MLLM Performance on High-Resolution Images

Jaeseong Lee, Yeeun Choi, Heechan Choi, Hanjung Kim, Seonjoo Kim

机构 * Yonsei University（延世大学） 纠错

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

Comments Accepted at CVPR 2025 Workshop on Emergent Visual Abilities and Limits of Foundation Models

Bridging Bots: from Perception to Action via Multimodal-LMs and Knowledge Graphs

Margherita Martorana, Francesca Urgese, Mark Adamik, Ilaria Tiddi

机构 * Vrije Universiteit Amsterdam（范·艾克大学阿姆斯特丹） 纠错

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

Application of Artificial Intelligence (AI) in Civil Engineering

Temitope Funmilayo Awolusi, Bernard Chukwuemeka Finbarrs-Ezema, Isaac Munachimdinamma Chukwudulue, Marc Azab

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

Comments This version has been removed by arXiv administrators as the submitter did not have the right to agree to the license at the time of submission

MOD-X: A Modular Open Decentralized eXchange Framework proposal for Heterogeneous Interoperable Artificial Intelligence Agents

Georgios Ioannides, Christos Constantinou, Vinija Jain, Aman Chadha, Aaron Elkins

机构 * James Silberrad Brown Center for Artificial Intelligence（詹姆斯·西伯拉德·布朗人工智能中心） ； Carnegie Mellon University（卡内基梅隆大学） ； Amazon GenAI（亚马逊生成人工智能） ； University of Bristol（布里斯托大学） 纠错

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

Verified Language Processing with Hybrid Explainability: A Technical Report

Oliver Robert Fox, Giacomo Bergami, Graham Morgan

机构 * School of Computing, Faculty of Science, Agriculture and Engineering, Newcastle University（计算学院、科学与工程学院、农业与工程学院、新castle大学） 纠错

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

Epistemic Scarcity: The Economics of Unresolvable Unknowns

Craig S Wright

机构 * Unknown（未知） 纠错

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

Comments 47 pages - submission to QJAE

Rethinking the Illusion of Thinking

Iñaki Dellibarda Varela, Pablo Romero-Sorozabal, Eduardo Rocon, Manuel Cebrian

机构 * Center for Automation and Robotics（自动化中心） ； Spanish National Research Council (CSIC-UPM)（西班牙国家研究理事会（CSIC-UPM）） 纠错

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

Comments 8 pages, 4 figures

AGI Enabled Solutions For IoX Layers Bottlenecks In Cyber-Physical-Social-Thinking Space

Amar Khelloufi, Huansheng Ning, Sahraoui Dhelim, Jianguo Ding

机构 * Shenzhen Institute of Information Technology（深圳信息科技研究院） ； University of Science and Technology Beijing（北京科技大学） ； Dublin City University（都柏林城市大学） ； Blekinge Institute of Technology（布莱金厄学院） 纠错

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

Comments 31 pages, 5 figures

Towards Probabilistic Question Answering Over Tabular Data

Chen Shen, Sajjadur Rahman, Estevam Hruschka

机构 * Megagon Labs（梅加贡实验室） ； Adobe（Adobe公司） 纠错

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

T-CPDL: A Temporal Causal Probabilistic Description Logic for Developing Logic-RAG Agent

Hong Qing Yu

机构 * University of Derby（德比大学） 纠错

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

OmniReflect: Discovering Transferable Constitutions for LLM agents via Neuro-Symbolic Reflections

Manasa Bharadwaj, Nikhil Verma, Kevin Ferreira

机构 * LG Electronics, Toronto AI Lab（LG电子，多伦多人工智能实验室） 纠错

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

CALM: Contextual Analog Logic with Multimodality

Maxwell J. Jacobson, Corey J. Maley, Yexiang Xue

机构 * Purdue University（普渡大学） 纠错

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

SciDA: Scientific Dynamic Assessor of LLMs

Junting Zhou, Tingjia Miao, Yiyan Liao, Qichao Wang, Zhoufutu Wen, Yanqin Wang, Yunjie Huang, Ge Yan, Leqi Wang, Yucheng Xia, Hongwan Gao, Yuansong Zeng, Renjie Zheng, Chen Dun, Yitao Liang, Tong Yang, Wenhao Huang, Ge Zhang

机构 * ByteDance（字节跳动） ； Peking University（北京大学） 纠错

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

A Hybrid GA LLM Framework for Structured Task Optimization

William Shum, Rachel Chan, Jonas Lin, Benny Feng, Patrick Lau

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

Comments 7 pages

Pointwise-in-Time Explanation for Linear Temporal Logic Rules

Noel Brindise, Cedric Langbort

机构 * Department of Aerospace Engineering, Grainger College of Engineering, University of Illinois Urbana-Champaign（航空航天工程系，格拉inger工程学院，伊利诺伊大学厄巴纳-香槟分校） 纠错

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

Comments See related publication in Conference on Decision and Control (CDC) 2023

Bayesian Inverse Physics for Neuro-Symbolic Robot Learning

Octavio Arriaga, Rebecca Adam, Melvin Laux, Lisa Gutzeit, Marco Ragni, Jan Peters, Frank Kirchner

机构 * Robotics Research Group University of Bremen（不莱梅大学机器人研究组） ； Robotics Innovation Center DFKI GmbH（DFKI机器人创新中心） ； Technical University of Chemnitz（化学工业大学） ； Technical University of Darmstadt（图尔恩技术大学） ； Systems AI for Robot Learning DFKI GmbH（DFKI机器人学习系统AI） ； Robotics Research Group, University of Bremen（不莱梅大学机器人研究组） ； Robotics Innovation Center, DFKI GmbH（DFKI机器人创新中心） 纠错

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

Collision- and Reachability-Aware Multi-Robot Control with Grounded LLM Planners

Jiabao Ji, Yongchao Chen, Yang Zhang, Ramana Rao Kompella, Chuchu Fan, Gaowen Liu, Shiyu Chang

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

Shaking to Reveal: Perturbation-Based Detection of LLM Hallucinations

Jinyuan Luo, Zhen Fang, Yixuan Li, Seongheon Park, Ling Chen

机构 * Australian Artificial Intelligence Institute, University of Technology Sydney（澳大利亚人工智能研究所，悉尼技术大学） ； Department of Computer Sciences, University of Wisconsin-Madison（计算机科学系，威斯康星大学麦迪逊分校） 纠错

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

The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models

Adam Stein, Aaditya Naik, Neelay Velingker, Mayur Naik, Eric Wong

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

Comments 19 pages, 11 figures

SentinelAgent: Graph-based Anomaly Detection in Multi-Agent Systems

Xu He, Di Wu, Yan Zhai, Kun Sun

机构 * Visa Inc.（Visa公司） ； George Mason University（乔治·梅奥大学） 纠错

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

Aligning Generalisation Between Humans and Machines

Filip Ilievski, Barbara Hammer, Frank van Harmelen, Benjamin Paassen, Sascha Saralajew, Ute Schmid, Michael Biehl, Marianna Bolognesi, Xin Luna Dong, Kiril Gashteovski, Pascal Hitzler, Giuseppe Marra, Pasquale Minervini, Martin Mundt, Axel-Cyrille Ngonga Ngomo, Alessandro Oltramari, Gabriella Pasi, Zeynep G. Saribatur, Luciano Serafini, John Shawe-Taylor, Vered Shwartz, Gabriella Skitalinskaya, Clemens Stachl, Gido M. van de Ven, Thomas Villmann

机构 * Vrije Universiteit Amsterdam（瓦赫宁海姆大学） ； University of Bielefeld（比勒菲尔德大学） ； NEC Laboratories Europe（NEC欧洲实验室） ； University of Bamberg（巴明翰大学） ； University of Groningen（格罗宁根大学） ； Università di Bologna（博洛尼亚大学） ； Meta Reality Labs（Meta现实实验室） ； CAIR, Ss. Cyril and Methodius University of Skopje（斯科普里塞尔维亚·克里尔和方法ius大学） ； Kansas State University（堪萨斯州立大学） ； KU Leuven（根特大学） ； University of Edinburgh（爱丁堡大学） ； University of Bremen（不莱梅大学） ； Paderborn University（帕德博恩大学） ； Carnegie Bosch Institute（卡内基·博施研究所） ； Università degli Studi di Milano Bicocca（米兰Bicocca大学） ； TU Wien（维也纳技术大学） ； Fondazione Bruno Kessler（布鲁诺·凯撒基金会） ； University College London（伦敦大学学院） ； University of British Columbia（不列颠哥伦比亚大学） ； Vector Institute（向量研究所） ； Duolingo（多邻国） ； University of St. Gallen, Institute of Behavioral Science and Technology（圣加尔文大学行为科学与技术研究所） ； University of Applied Sciences Mittweida（梅特维达应用科学大学） ； Technical University Freiberg（弗赖贝格技术大学） 纠错

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

Assured Autonomy with Neuro-Symbolic Perception

R. Spencer Hallyburton, Miroslav Pajic

机构 * Duke University（杜克大学） 纠错

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

Agent-Environment Alignment via Automated Interface Generation

Kaiming Liu, Xuanyu Lei, Ziyue Wang, Peng Li, Yang Liu

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

Do Vision-Language Models Really Understand Visual Language?

Yifan Hou, Buse Giledereli, Yilei Tu, Mrinmaya Sachan

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

Comments ICML 2025

Route Sparse Autoencoder to Interpret Large Language Models

Wei Shi, Sihang Li, Tao Liang, Mingyang Wan, Guojun Ma, Xiang Wang, Xiangnan He

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

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language

Naiqi Li, Peiyuan Liu, Zheng Liu, Tao Dai, Yong Jiang, Shu-Tao Xia

机构 * Tsinghua Shenzhen International Graduate School（清华大学深圳国际研究生院） ； Shenzhen University（深圳大学） 纠错

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

MRAG: A Modular Retrieval Framework for Time-Sensitive Question Answering

Zhang Siyue, Xue Yuxiang, Zhang Yiming, Wu Xiaobao, Luu Anh Tuan, Zhao Chen

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

A Logic of General Attention Using Edge-Conditioned Event Models (Extended Version)

Gaia Belardinelli, Thomas Bolander, Sebastian Watzl

机构 * Stanford University（斯坦福大学） ； Technical University of Denmark（丹麦技术大学） ； University of Oslo（奥斯陆大学） 纠错

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

ViMo: A Generative Visual GUI World Model for App Agents

Dezhao Luo, Bohan Tang, Kang Li, Georgios Papoudakis, Jifei Song, Shaogang Gong, Jianye Hao, Jun Wang, Kun Shao

机构 * Queen Mary University of London（伦敦女王学院） ； University of Oxford（牛津大学） ； Huawei Noah’s Ark Lab（华为诺亚实验室） ； University College London（伦敦大学学院） 纠错

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

Comments https://ai-agents-2030.github.io/ViMo/