大模型推理能力

R1-VL: Learning to Reason with Multimodal Large Language Models via Step-wise Group Relative Policy Optimization

Jingyi Zhang, Jiaxing Huang, Huanjin Yao, Shunyu Liu, Xikun Zhang, Shijian Lu, Dacheng Tao

机构 * Nanyang Technological University（南洋理工大学） 纠错

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

Comments ICCV 2025 Camera Ready

Knowledge Editing for Multi-Hop Question Answering Using Semantic Analysis

Dominic Simon, Rickard Ewetz

机构 * University of Florida（佛罗里达大学） 纠错

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

Comments 14 pages, 15 figures, pre-print of paper accepted to IJCAI 2025

How Far Are LLMs from Symbolic Planners? An NLP-Based Perspective

Ma'ayan Armony, Albert Meroño-Peñuela, Gerard Canal

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

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

Testing the Untestable? An Empirical Study on the Testing Process of LLM-Powered Software Systems

Cleyton Magalhaes, Italo Santos, Brody Stuart-Verner, Ronnie de Souza Santos

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