大模型推理能力

Systematic Optimization of Open Source Large Language Models for Mathematical Reasoning

Pranav Pawar, Dhwaj Jain, Varun Gupta, Kaustav Dedhia, Dashrath Kale, Sudhir Dhekane

机构 * Dwarkadas J. Sanghvi College of Engineering（达沃卡斯J·桑格维工程学院） 纠错

专题命中 数学推理 ：reasoning(title,abstract)；planning(abstract)；分类 cs.AI、cs.LG

RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning

Ziye Chen, Chengwei Qin, Yao Shu

机构 * Artificial Intelligence Thrust, Information Hub, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China（人工智能 thrust，信息中心，香港科学与技术大学（广州），广州，中国） 纠错

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.AI

How Do Humans Write Code? Large Models Do It the Same Way Too

Long Li, Xuzheng He, Haozhe Wang, Linlin Wang, Liang He

专题命中 数学推理 ：reasoning(abstract)；chain-of-thought(abstract)；CoT(abstract)；分类 cs.CL、cs.AI

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs

Valentina Wu, Alexandra Mendes, Alexandre Abreu

专题命中 数学推理 ：reasoning(abstract)

Contradictions

Yang Xu, Shuwei Chen, Xiaomei Zhong, Jun Liu, Xingxing He

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments 37 Pages,9 figures

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)

Llama-Nemotron: Efficient Reasoning Models

Akhiad Bercovich, Itay Levy, Izik Golan, Mohammad Dabbah, Ran El-Yaniv, Omri Puny, Ido Galil, Zach Moshe, Tomer Ronen, Najeeb Nabwani, Ido Shahaf, Oren Tropp, Ehud Karpas, Ran Zilberstein, Jiaqi Zeng, Soumye Singhal, Alexander Bukharin, Yian Zhang, Tugrul Konuk, Gerald Shen, Ameya Sunil Mahabaleshwarkar, Bilal Kartal, Yoshi Suhara, Olivier Delalleau, Zijia Chen, Zhilin Wang, David Mosallanezhad, Adi Renduchintala, Haifeng Qian, Dima Rekesh, Fei Jia, Somshubra Majumdar, Vahid Noroozi, Wasi Uddin Ahmad, Sean Narenthiran, Aleksander Ficek, Mehrzad Samadi, Jocelyn Huang, Siddhartha Jain, Igor Gitman, Ivan Moshkov, Wei Du, Shubham Toshniwal, George Armstrong, Branislav Kisacanin, Matvei Novikov, Daria Gitman, Evelina Bakhturina, Prasoon Varshney, Makesh Narsimhan, Jane Polak Scowcroft, John Kamalu, Dan Su, Kezhi Kong, Markus Kliegl, Rabeeh Karimi Mahabadi, Ying Lin, Sanjeev Satheesh, Jupinder Parmar, Pritam Gundecha, Brandon Norick, Joseph Jennings, Shrimai Prabhumoye, Syeda Nahida Akter, Mostofa Patwary, Abhinav Khattar, Deepak Narayanan, Roger Waleffe, Jimmy Zhang, Bor-Yiing Su, Guyue Huang, Terry Kong, Parth Chadha, Sahil Jain, Christine Harvey, Elad Segal, Jining Huang, Sergey Kashirsky, Robert McQueen, Izzy Putterman, George Lam, Arun Venkatesan, Sherry Wu, Vinh Nguyen, Manoj Kilaru, Andrew Wang, Anna Warno, Abhilash Somasamudramath, Sandip Bhaskar, Maka Dong, Nave Assaf, Shahar Mor, Omer Ullman Argov, Scot Junkin, Oleksandr Romanenko, Pedro Larroy, Monika Katariya, Marco Rovinelli, Viji Balas, Nicholas Edelman, Anahita Bhiwandiwalla, Muthu Subramaniam, Smita Ithape, Karthik Ramamoorthy, Yuting Wu, Suguna Varshini Velury, Omri Almog, Joyjit Daw, Denys Fridman, Erick Galinkin, Michael Evans, Shaona Ghosh, Katherine Luna, Leon Derczynski, Nikki Pope, Eileen Long, Seth Schneider, Guillermo Siman, Tomasz Grzegorzek, Pablo Ribalta, Monika Katariya, Chris Alexiuk, Joey Conway, Trisha Saar, Ann Guan, Krzysztof Pawelec, Shyamala Prayaga, Oleksii Kuchaiev, Boris Ginsburg, Oluwatobi Olabiyi, Kari Briski, Jonathan Cohen, Bryan Catanzaro, Jonah Alben, Yonatan Geifman, Eric Chung

机构 * NVIDIA 纠错

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

SFR-DeepResearch: Towards Effective Reinforcement Learning for Autonomously Reasoning Single Agents

Xuan-Phi Nguyen, Shrey Pandit, Revanth Gangi Reddy, Austin Xu, Silvio Savarese, Caiming Xiong, Shafiq Joty

机构 * Salesforce AI Research（Salesforce AI研究院） 纠错

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

Comments Technical Report

Performative Thinking? The Brittle Correlation Between CoT Length and Problem Complexity

Vardhan Palod, Karthik Valmeekam, Kaya Stechly, Subbarao Kambhampati

机构 * School of Computing and AI（计算与人工智能学院） ； Arizona State University（亚利桑那州立大学） ； Dept. of Computer Science and Wu Tsai Institute（计算机科学系和吴泰教授研究所） ； Yale University（耶鲁大学） 纠错

专题命中 规划推理 ：CoT(title)；reasoning(abstract)；分类 cs.AI

Beyond Sequential Reranking: Reranker-Guided Search Improves Reasoning Intensive Retrieval

Haike Xu, Tong Chen

机构 * Massachusetts Institute of Technology（麻省理工学院） ； University of Washington（华盛顿大学） 纠错

专题命中 规划推理 ：reasoning(title)；分类 cs.CL、cs.LG

Trust but Verify! A Survey on Verification Design for Test-time Scaling

V Venktesh, Mandeep Rathee, Avishek Anand

机构 * Stockholm University（斯德哥尔摩大学） ； L3S Research Center（L3S研究中心） ； TU Delft（代尔夫特理工大学） 纠错

专题命中 规划推理 ：reasoning(abstract)；verifier(abstract)；分类 cs.CL、cs.AI

Comments 18 pages

Grid-Agent: An LLM-Powered Multi-Agent System for Power Grid Control

Yan Zhang, Ahmad Mohammad Saber, Amr Youssef, Deepa Kundur

机构 * Department of Electrical and Computer Engineering, University of Toronto（电气与计算机工程系，多伦多大学） ； Concordia Institute for Information Systems Engineering（康卡迪亚信息系统工程研究所） ； Concordia University（康卡迪亚大学） 纠错

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

AgentX: Towards Orchestrating Robust Agentic Workflow Patterns with FaaS-hosted MCP Services

Shiva Sai Krishna Anand Tokal, Vaibhav Jha, Anand Eswaran, Praveen Jayachandran, Yogesh Simmhan

专题命中 规划推理 ：chain-of-thought(abstract)；CoT(abstract)

F1: A Vision-Language-Action Model Bridging Understanding and Generation to Actions

Qi Lv, Weijie Kong, Hao Li, Jia Zeng, Zherui Qiu, Delin Qu, Haoming Song, Qizhi Chen, Xiang Deng, Jiangmiao Pang

机构 * Shanghai AI Laboratory（上海人工智能实验室） ； Harbin Institute of Technology (Shenzhen)（哈尔滨工业大学（深圳）） 纠错

专题命中 规划推理 ：reasoning(abstract)；planning(abstract)

Comments Homepage: https://aopolin-lv.github.io/F1-VLA/

OmniAcc: Personalized Accessibility Assistant Using Generative AI

Siddhant Karki, Ethan Han, Nadim Mahmud, Suman Bhunia, John Femiani, Vaskar Raychoudhury

机构 * Miami University of Ohio（俄亥俄迈阿密大学） 纠错

专题命中 规划推理 ：planning(abstract,comments)；分类 cs.AI

Comments 11 Pages, 9 Figures, Published in the 1st Workshop on AI for Urban Planning, AAAI 2025 Workshop

Efficient Deep Learning-based Forward Solvers for Brain Tumor Growth Models

Zeineb Haouari, Jonas Weidner, Yeray Martin-Ruisanchez, Ivan Ezhov, Aswathi Varma, Daniel Rueckert, Bjoern Menze, Benedikt Wiestler

机构 * Technical University of Munich（慕尼黑技术大学） ； Munich Center for Machine Learning (MCML)（慕尼黑机器学习中心） ； University of Zurich（苏黎世大学） 纠错

专题命中 规划推理 ：planning(abstract)；分类 cs.LG

Journal ref Bildverarbeitung fuer die Medizin 2025, Informatik aktuell, Springer Vieweg, Wiesbaden (2025), pp. 57--62

Benchmarking Vision Transformers and CNNs for Thermal Photovoltaic Fault Detection with Explainable AI Validation

Serra Aksoy

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

Comments 28 Pages, 4 Figures

A Maslow-Inspired Hierarchy of Engagement with AI Model

Madara Ogot

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

Comments 30 pages, 14 tables

A smart fridge with AI-enabled food computing

Khue Nong Thuc, Khoa Tran Nguyen Anh, Tai Nguyen Huy, Du Nguyen Hao Hong, Khanh Dinh Ba

机构 * Computer Science Faculty of Computer Science and Engineering, Ho Chi Minh City University of Technology (HCMUT)（计算机科学与工程学院，胡志明城大学技术学院） ； Office for International Study Programs, Ho Chi Minh City University of Technology (HCMUT)（国际研究办公室，胡志明城大学技术学院） ； Vietnam National University Ho Chi Minh City（越南国家大学胡志明市分校） ； Computer Engineering Faculty of Computer Science and Engineering, Ho Chi Minh City University of Technology (HCMUT)（计算机工程学院，胡志明城大学技术学院） 纠错

专题命中 规划推理 ：planning(abstract)

Journal ref The 9th OISP Science and Technology Symposium for Students Ho Chi Minh City University of Technology (HCMUT), VNU-HCM, 2025

Efficient Multi-Agent Coordination via Dynamic Joint-State Graph Construction

Yanlin Zhou, Manshi Limbu, Xuesu Xiao

机构 * George Mason University（乔治·玛森大学） 纠错

专题命中 规划推理 ：planning(abstract)

GraspCoT: Integrating Physical Property Reasoning for 6-DoF Grasping under Flexible Language Instructions

Xiaomeng Chu, Jiajun Deng, Guoliang You, Wei Liu, Xingchen Li, Jianmin Ji, Yanyong Zhang

机构 * University of Science and Technology of China（中国科学技术大学） ； The University of Adelaide（阿德莱德大学） 纠错

专题命中 视觉空间推理 ：reasoning(title,abstract)；chain-of-thought(abstract)；CoT(abstract)

Comments Accepted to ICCV 2025

Visuospatial Cognitive Assistant

Qi Feng

机构 * Kyoto University（京都大学） 纠错

专题命中 视觉空间推理 ：reasoning(abstract)；分类 cs.CL、cs.AI、cs.LG

Comments 31 pages, 10 figures, 6 tables

Seeing More, Saying More: Lightweight Language Experts are Dynamic Video Token Compressors

Xiangchen Wang, Jinrui Zhang, Teng Wang, Haigang Zhang, Feng Zheng

机构 * Southern University of Science and Technology（南方科技大学） ； The University of Hong Kong（香港大学） ； Shenzhen Polytechnic University（深圳职业技术大学） 纠错

专题命中 视觉空间推理 ：reasoning(abstract)

Comments 17 pages, 8 figures, EMNLP2025

M1: Towards Scalable Test-Time Compute with Mamba Reasoning Models

Junxiong Wang, Wen-Ding Li, Daniele Paliotta, Daniel Ritter, Alexander M. Rush, Tri Dao

机构 * TogetherAI ； Cornell University（康奈尔大学） ； University of Geneva（日内瓦大学） ； Princeton University（普林斯顿大学） 纠错

专题命中 测试时计算 ：reasoning(title,abstract)；test-time compute(title)；chain-of-thought(abstract)；分类 cs.LG

Comments Code is available https://github.com/jxiw/M1

Step-level Verifier-guided Hybrid Test-Time Scaling for Large Language Models

Kaiyan Chang, Yonghao Shi, Chenglong Wang, Hang Zhou, Chi Hu, Xiaoqian Liu, Yingfeng Luo, Yuan Ge, Tong Xiao, Jingbo Zhu

机构 * School of Computer Science and Engineering, Northeastern University（东北大学计算机科学与工程学院） ； NiuTrans Research（NiuTrans研究院） ； ByteDance（字节跳动） 纠错

专题命中 测试时计算 ：verifier(title)；reasoning(abstract)；分类 cs.CL

Comments Accepted by EMNLP 2025. Code: https://github.com/Lucky-259/Hybrid_TTS

Instruction Agent: Enhancing Agent with Expert Demonstration

Yinheng Li, Hailey Hultquist, Justin Wagle, Kazuhito Koishida

机构 * Microsoft（微软公司） 纠错

专题命中 测试时计算 ：verifier(abstract)；分类 cs.CL、cs.AI