大模型推理能力

GenEscape: Hierarchical Multi-Agent Generation of Escape Room Puzzles

Mengyi Shan, Brian Curless, Ira Kemelmacher-Shlizerman, Steve Seitz

机构 * University of Washington（华盛顿大学） 纠错

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

An Auditable Agent Platform For Automated Molecular Optimisation

Atabey Ünlü, Phil Rohr, Ahmet Celebi

机构 * DeltaWave 纠错

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

Relation-Aware LNN-Transformer for Intersection-Centric Next-Step Prediction

Zhehong Ren, Tianluo Zhang, Yiheng Lu, Yushen Liang, Promethee Spathis

机构 * New York University Shanghai（纽约大学上海） 纠错

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

Comments 8 pages, 5 figures

AutoPLC: Generating Vendor-Aware Structured Text for Programmable Logic Controllers

Donghao Yang, Aolang Wu, Tianyi Zhang, Li Zhang, Fang Liu, Xiaoli Lian, Yuming Ren, Jiaji Tian, Xiaoyin Che

机构 * Beihang University, China（北京航空航天大学） ； Siemens AG（西门子股份公司） 纠错

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

Comments 12 pages, 3 figures. Replaces "A Multi-Agent Framework for Extensible Structured Text Generation in PLCs" with an updated AutoPLC framework and new experiments

Composable OS Kernel Architectures for Autonomous Intelligence

Rajpreet Singh, Vidhi Kothari

机构 * TU Munich, Germany（慕尼黑技术大学） ； Pace University, New York, USA（帕克大学） 纠错

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

Comments 8 pages

URPO: A Unified Reward & Policy Optimization Framework for Large Language Models

Songshuo Lu, Hua Wang, Zhi Chen, Yaohua Tang

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

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