大模型推理能力

The Mechanical Yes-Man: Emancipatory AI Pedagogy in Higher Education

Linda Rocco

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

Comments 7 pages, 2 figures. To be published in Concreta journal n. 26, 2025

Journal ref Concreta n. 26 (2025)

LogPilot: Intent-aware and Scalable Alert Diagnosis for Large-scale Online Service Systems

Zhihan Jiang, Jinyang Liu, Yichen Li, Haiyu Huang, Xiao He, Tieying Zhang, Jianjun Chen, Yi Li, Rui Shi, Michael R. Lyu

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

Comments Accepted by the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025)

Finetuning Large Language Model as an Effective Symbolic Regressor

Yingfan Hua, Ruikun Li, Jun Yao, Guohang Zhuang, Shixiang Tang, Bin Liu, Wanli Ouyang, Yan Lu

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

Lang2Morph: Language-Driven Morphological Design of Robotic Hands

Yanyuan Qiao, Kieran Gilday, Yutong Xie, Josie Hughes

机构 * CREATE Lab, Swiss Federal Institute of Technology Lausanne (EPFL)（瑞士联邦理工学院洛桑分校CREATE实验室） ； Computer Vision Department, Mohamed bin Zayed University of Artificial Intelligence (MBZUAI)（马尔代夫比兹莱浙江大学人工智能大学计算机视觉部门） 纠错

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

SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding

Pengfei He, Shaowei Wang, Tse-Hsun Chen

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

Comments 3 tables, 6 Figures, 12 pages

MORepair: Teaching LLMs to Repair Code via Multi-Objective Fine-tuning

Boyang Yang, Haoye Tian, Jiadong Ren, Hongyu Zhang, Jacques Klein, Tegawendé F. Bissyandé, Claire Le Goues, Shunfu Jin

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

Journal ref ACM Transactions on Software Engineering and Methodology, 2025

Shift-Left Techniques in Electronic Design Automation: A Survey

Xinyue Wu, Zixuan Li, Fan Hu, Ting Lin, Xiaotian Zhao, Runxi Wang, Xinfei Guo

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

Constraint-Compliant Network Optimization through Large Language Models

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

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

Presolving Convexified Optimal Power Flow with Mixtures of Gradient Experts

Shourya Bose, Kejun Chen, Yu Zhang

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

Comments Accepted in "Energy and AI"

WebWatcher: Breaking New Frontier of Vision-Language Deep Research Agent

Xinyu Geng, Peng Xia, Zhen Zhang, Xinyu Wang, Qiuchen Wang, Ruixue Ding, Chenxi Wang, Jialong Wu, Yida Zhao, Kuan Li, Yong Jiang, Pengjun Xie, Fei Huang, Jingren Zhou

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

QueryGenie: Making LLM-Based Database Querying Transparent and Controllable

Longfei Chen, Shenghan Gao, Shiwei Wang, Ken Lin, Yun Wang, Quan Li

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

Comments Accepted by The 38th Annual ACM Symposium on User Interface Software and Technology (UIST Adjunct '25), September 28-October 1, 2025, Busan, Republic of Korea

In-Context Iterative Policy Improvement for Dynamic Manipulation

Mark Van der Merwe, Devesh Jha

机构 * Department of Robotics, University of Michigan（机器人学系，密歇根大学） ； MERL 纠错

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

Comments 14 pages. Accepted at CoRL 2025

A Framework for FAIR and CLEAR Ecological Data and Knowledge: Semantic Units for Synthesis and Causal Modelling

Lars Vogt, Birgitta König-Ries, Tim Alamenciak, Joshua I. Brian, Carlos Alberto Arnillas, Lotte Korell, Robert Frühstückl, Tina Heger

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

SHIELDA: Structured Handling of Exceptions in LLM-Driven Agentic Workflows

Jingwen Zhou, Jieshan Chen, Qinghua Lu, Dehai Zhao, Liming Zhu

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

Solving Zero-Shot 3D Visual Grounding as Constraint Satisfaction Problems

Qihao Yuan, Kailai Li, Jiaming Zhang

机构 * Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen（格罗宁根大学伯努利学院） ； Computer Vision for Human-Computer Interaction Lab (cv:hci), Karlsruhe Institute of Technology（卡尔斯鲁厄理工学院人机交互计算机视觉实验室） 纠错

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

Improved Obstacle Avoidance for Autonomous Robots with ORCA-FLC

Justin London

机构 * Dept. of Electrical Engineering and Computer Science（电气工程与计算机科学系） ； University of North Dakota（北达科他大学） 纠错

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

AquaChat++: LLM-Assisted Multi-ROV Inspection for Aquaculture Net Pens with Integrated Battery Management and Thruster Fault Tolerance

Abdelhaleem Saad, Waseem Akram, Irfan Hussain

机构 * Khalifa University Center for Autonomous Robotic Systems (KUCARS), Khalifa University, United Arab Emirates（卡利法大学自主机器人系统中心（KUCARS）、卡利法大学、阿拉伯联合酋长国） 纠错

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

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)

Fuzzy Theory in Computer Vision: A Review

Adilet Yerkin, Ayan Igali, Elnara Kadyrgali, Maksat Shagyrov, Malika Ziyada, Muragul Muratbekova, Pakizar Shamoi

机构 * School of Information Technology and Engineering（信息科技与工程学院） ； Kazakh-British Technical University（哈萨克-英国技术大学） 纠错

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

Comments Submitted to Journal of Intelligent and Fuzzy Systems for consideration (8 pages, 6 figures, 1 table)

AquaChat: An LLM-Guided ROV Framework for Adaptive Inspection of Aquaculture Net Pens

Waseem Akram, Muhayy Ud Din, Abdelhaleem Saad, Irfan Hussain

机构 * Khalifa University Center for Autonomous Robotic Systems (KUCARS), Khalifa University, United Arab Emirates（卡里法大学自主机器人系统中心（KUCARS）、卡里法大学、阿拉伯联合酋长国） 纠错

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

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies

Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

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

The Constitutional Filter: Bayesian Estimation of Compliant Agents

Simon Kohaut, Felix Divo, Benedict Flade, Devendra Singh Dhami, Julian Eggert, Kristian Kersting

机构 * Artificial Intelligence and Machine Learning Group, Department of Computer Science, TU Darmstadt（德累斯顿技术大学计算机科学系人工智能与机器学习小组） ； Honda Research Institute Europe GmbH（本田欧洲研究院） ； Uncertainty in Artificial Intelligence Group, Department of Mathematics and Computer Science, TU Eindhoven（埃因霍温技术大学数学与计算机科学系人工智能不确定性小组） ； German Center for Artificial Intelligence (DFKI)（德国人工智能中心（DFKI）） 纠错

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

CRAFT: A Neuro-Symbolic Framework for Visual Functional Affordance Grounding

Zhou Chen, Joe Lin, Sathyanarayanan N. Aakur

机构 * Auburn University（亚伯拉罕大学） 纠错

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

Comments Accepted to NeSy 2025

LLM-Assisted Relevance Assessments: When Should We Ask LLMs for Help?

Rikiya Takehi, Ellen M. Voorhees, Tetsuya Sakai, Ian Soboroff

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

Comments 11 pages. Accepted at SIGIR 2025 (48th International ACM SIGIR Conference on Research and Development in Information Retrieval)

Online Long-term Point Tracking in the Foundation Model Era

Görkay Aydemir

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

Comments arXiv admin note: substantial text overlap with arXiv:2501.18487

PHT-CAD: Efficient CAD Parametric Primitive Analysis with Progressive Hierarchical Tuning

Ke Niu, Yuwen Chen, Haiyang Yu, Zhuofan Chen, Xianghui Que, Bin Li, Xiangyang Xue

机构 * Shanghai Key Laboratory of Intelligent Information Processing（上海智能信息处理关键实验室） ； School of Computer Science, Fudan University（复旦大学计算机科学学院） 纠错

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

LLM-Enhanced Symbolic Control for Safety-Critical Applications

Amir Bayat, Alessandro Abate, Necmiye Ozay, Raphael M. Jungers

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

Alpay Algebra: A Universal Structural Foundation

Faruk Alpay

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

Comments 37 pages, 0 figures. Self-contained categorical framework built directly on Mac Lane and Bourbaki; minimal references are intentional to foreground the new construction

Semantic Web and Software Agents -- A Forgotten Wave of Artificial Intelligence?

Tapio Pitkäranta, Eero Hyvönen

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

Comments 28 pages, 9 figures

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots

Dan BW Choe, Sundhar Vinodh Sangeetha, Steven Emanuel, Chih-Yuan Chiu, Samuel Coogan, Shreyas Kousik

机构 * Georgia Institute of Technology（佐治亚理工学院） ； School of Electrical and Computer Engineering（电气与计算机工程学院） ； School of Aerospace Engineering（航空航天工程学院） ； School of Mechanical Engineering（机械工程学院） 纠错

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