大模型推理能力

From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning

Andrew Kiruluta, Priscilla Burity

机构 * Andrew Kiruluta and Priscilla Burity（独立研究者） 纠错

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI、cs.LG

Graph-Fused Vision-Language-Action for Policy Reasoning in Multi-Arm Robotic Manipulation

Shunlei Li, Longsen Gao, Jiuwen Cao, Yingbai Hu

机构 * Machine Learning and I-health International Cooperation Base of Zhejiang Province, Artificial Intelligence Institute, Hangzhou Dianzi University, Zhejiang（浙江省机器学习与健康国际合作基地、人工智能学院、杭州电子大学） ； Electrical and Computer Engineering Department, The University of New Mexico（新墨西哥大学电气与计算机工程系） ； School of Computation, Information and Technology, Technical University of Munich（慕尼黑技术大学计算、信息与技术学院） 纠错

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments This paper is submitted to IEEE IROS 2025 Workshop AIR4S

DeepGraphLog for Layered Neurosymbolic AI

Adem Kikaj, Giuseppe Marra, Floris Geerts, Robin Manhaeve, Luc De Raedt

机构 * Örebro University, Sweden（奥雷布罗大学） ； University of Antwerp, Belgium（安特卫普大学） 纠错

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

MoLoRAG: Bootstrapping Document Understanding via Multi-modal Logic-aware Retrieval

Xixi Wu, Yanchao Tan, Nan Hou, Ruiyang Zhang, Hong Cheng

机构 * The Chinese University of Hong Kong（香港中文大学） ； Fuzhou University（福州大学） ； University of Macau（澳门大学） 纠错

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

Comments EMNLP Main 2025

Constraint-Compliant Network Optimization through Large Language Models

Youngjin Song, Wookjin Lee, Hong Ki Kim, Sang Hyun Lee

专题命中 逻辑推理 ：reasoning(abstract)