大模型推理能力

Synthesizing Evolving Symbolic Representations for Autonomous Systems

Gabriele Sartor, Angelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci, Rosa Meo

机构 * Institute for Cognitive Sciences and Technologies（认知科学与技术研究所） 纠错

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

Journal ref Prog.Artif.Intell.(2025)

Boolean Matrix Logic Programming on the GPU

Lun Ai

机构 * Department of Computing, Imperial College London, London, UK（计算系，伦敦帝国学院，伦敦，英国） ； Department of Life Sciences, Imperial College London, London, UK（生命科学系，伦敦帝国学院，伦敦，英国） 纠错

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

Can Transformers Break Encryption Schemes via In-Context Learning?

Jathin Korrapati, Patrick Mendoza, Aditya Tomar, Abein Abraham

机构 * UC Berkeley（伯克利大学） 纠错

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

Integrating Neurosymbolic AI in Advanced Air Mobility: A Comprehensive Survey

Kamal Acharya, Iman Sharifi, Mehul Lad, Liang Sun, Houbing Song

机构 * Department of Information Systems, University of Maryland, Baltimore County（信息系统系，马里兰大学巴尔的摩分校） ； Department of Mechanical and Aerospace Engineering, The George Washington University（机械与航空航天工程系，乔治华盛顿大学） ； Department of Mechanical Engineering, Baylor University（机械工程系，贝勒大学） 纠错

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

Comments 9 pages, 4 figures, IJCAI-2025 (accepted)

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