大模型推理能力

CATCH: A Modular Cross-domain Adaptive Template with Hook

Xinjin Li, Yulie Lu, Jinghan Cao, Yu Ma, Zhenglin Li, Yeyang Zhou

机构 * Columbia University, United States Shanghai Jiao Tong University, China San Francisco State University, United States Carnegie Mellon University, United States Texas A\&M University, College Station, United States University of California, San Diego, United States 纠错

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

Evolution of Cooperation in LLM-Agent Societies: A Preliminary Study Using Different Punishment Strategies

Kavindu Warnakulasuriya, Prabhash Dissanayake, Navindu De Silva, Stephen Cranefield, Bastin Tony Roy Savarimuthu, Surangika Ranathunga, Nisansa de Silva

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

Comments 20 pages, 10 figures, Accepted for presentation as a full paper at the COINE 2025 workshop at AAMAS 2025 (https://coin-workshop.github.io/coine-2025-detroit/accepted_for_presentation.html)

Prompt-to-Primal Teaching

Euzeli dos Santos

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

Comments 9 pages, 5 figures

Investigating Students' Preferences for AI Roles in Mathematical Modelling: Evidence from a Randomized Controlled Trial

Wangda Zhu, Guang Chen, Yumeng Zhu, Lei Cai, Xiangen Hu

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

Automated Code Development for PDE Solvers Using Large Language Models

Haoyang Wu, Xinxin Zhang, Lailai Zhu

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

AdsQA: Towards Advertisement Video Understanding

Xinwei Long, Kai Tian, Peng Xu, Guoli Jia, Jingxuan Li, Sa Yang, Yihua Shao, Kaiyan Zhang, Che Jiang, Hao Xu, Yang Liu, Jiaheng Ma, Bowen Zhou

机构 * Tsinghua University（清华大学） ； Peking University（北京大学） ； CASIA（中国科学院自动化所） ； Harvard University（哈佛大学） ； Shanghai Artificial Intelligence Lab（上海人工智能实验室） 纠错

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

Comments ICCV-2025

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

Valentina Wu, Alexandra Mendes, Alexandre Abreu

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

RobotxR1: Enabling Embodied Robotic Intelligence on Large Language Models through Closed-Loop Reinforcement Learning

Liam Boyle, Nicolas Baumann, Paviththiren Sivasothilingam, Michele Magno, Luca Benini

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

Information Field Theory -- Concepts, Applications, and AI-Perspective

Torsten Enßlin

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

Comments 6 pages, invited talk at UniverseAI conference Athen 2025

Increasing Systemic Resilience to Socioeconomic Challenges: Modeling the Dynamics of Liquidity Flows and Systemic Risks Using Navier-Stokes Equations

Davit Gondauri

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

Comments main text: 17 pages, appendix: 5 pages, 7 figures, 2 tables. Published in SocioEconomic Challenges, Vol. 9, Issue 2, 2025

Journal ref SocioEconomic Challenges, 9(2), 92-113 (2025)

CS-VLM: Compressed Sensing Attention for Efficient Vision-Language Representation Learning

Andrew Kiruluta, Preethi Raju, Priscilla Burity

机构 * Berkeley（伯克利） 纠错

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

Evaluating and Improving Large Language Models for Competitive Program Generation

Minnan Wei, Ziming Li, Xiang Chen, Menglin Zheng, Ziyan Qu, Cheng Yu, Siyu Chen, Xiaolin Ju

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

Koopman Operators in Robot Learning

Lu Shi, Masih Haseli, Giorgos Mamakoukas, Daniel Bruder, Ian Abraham, Todd Murphey, Jorge Cortes, Konstantinos Karydis

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

Comments Submitted to TRO

BrickSmart: Leveraging Generative AI to Support Children's Spatial Language Learning in Family Block Play

Yujia Liu, Siyu Zha, Yuewen Zhang, Yanjin Wang, Yangming Zhang, Qi Xin, Lunyiu Nie, Chao Zhang, Yingqing Xu

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

Comments 19 pages, 11 figures

Are requirements really all you need? A case study of LLM-driven configuration code generation for automotive simulations

Krzysztof Lebioda, Nenad Petrovic, Fengjunjie Pan, Vahid Zolfaghari, Andre Schamschurko, Alois Knoll

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

Applied Sheaf Theory For Multi-agent Artificial Intelligence (Reinforcement Learning) Systems: A Prospectus

Eric Schmid

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

Comments 64 pages

White-Box AI Model: Next Frontier of Wireless Communications

Jiayao Yang, Jiayi Zhang, Bokai Xu, Jiakang Zheng, Zhilong Liu, Ziheng Liu, Dusit Niyato, Mérouane Debbah, Zhu Han, Bo Ai

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

Connecting Feedback to Choice: Understanding Educator Preferences in GenAI vs. Human-Created Lesson Plans in K-12 Education -- A Comparative Analysis

Shawon Sarkar, Min Sun, Alex Liu, Zewei Tian, Lief Esbenshade, Jian He, Zachary Zhang

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

On the Effectiveness of Large Language Models in Domain-Specific Code Generation

Xiaodong Gu, Meng Chen, Yalan Lin, Yuhan Hu, Hongyu Zhang, Chengcheng Wan, Zhao Wei, Yong Xu, Juhong Wang

专题命中 数学推理 ：chain-of-thought(abstract)

Comments Accepted by the ACM Transactions on Software Engineering and Methodology (TOSEM 2024)

A Comprehensive Mathematical and System-Level Analysis of Autonomous Vehicle Timelines

Paul Perrone

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

Comments 35 pages, 2 tables

PASER: A Physics-Inspired Theory for Stimulated Growth and Real-Time Optimization in On-Demand Platforms

Ioannis Dritsas

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

Open Eyes, Then Reason: Fine-grained Visual Mathematical Understanding in MLLMs

Shan Zhang, Aotian Chen, Yanpeng Sun, Jindong Gu, Yi-Yu Zheng, Piotr Koniusz, Kai Zou, Anton van den Hengel, Yuan Xue

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

Generative AI for Game Theory-based Mobile Networking

Long He, Geng Sun, Dusit Niyato, Hongyang Du, Fang Mei, Jiawen Kang, Mérouane Debbah, Zhu Han

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

Correctness Comparison of ChatGPT-4, Gemini, Claude-3, and Copilot for Spatial Tasks

Hartwig H. Hochmair, Levente Juhasz, Takoda Kemp

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

Comments Published in Transactions in GIS

Journal ref Hochmair, H., Juhász, L. and Kemp, T. (2024), Correctness Comparison of ChatGPT-4, Gemini, Claude-3, and Copilot for Spatial Tasks. Transactions in GIS. (ahead of print)

Integrating AI in NDE: Techniques, Trends, and Further Directions

Eduardo Pérez, Cemil Emre Ardic, Ozan Çakıroğlu, Kevin Jacob, Sayako Kodera, Luca Pompa, Mohamad Rachid, Han Wang, Yiming Zhou, Cyril Zimmer, Florian Römer, Ahmad Osman

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

NARRATE: Versatile Language Architecture for Optimal Control in Robotics

Seif Ismail, Antonio Arbues, Ryan Cotterell, René Zurbrügg, Carmen Amo Alonso

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

The Impact of AI in Physics Education: A Comprehensive Review from GCSE to University Levels

Will Yeadon, Tom Hardy

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

Comments 22 pages, 10 Figures, 2 Tables

State of the Art Report: Verified Computation

Jim Woodcock, Mikkel Schmidt Andersen, Diego F. Aranha, Stefan Hallerstede, Simon Thrane Hansen, Nikolaj Kuhne Jakobsen, Tomas Kulik, Peter Gorm Larsen, Hugo Daniel Macedo, Carlos Ignacio Isasa Martin, Victor Alexander Mtsimbe Norrild

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

Comments 54 pages

ALBERTA: ALgorithm-Based Error Resilience in Transformer Architectures

Haoxuan Liu, Vasu Singh, Michał Filipiuk, Siva Kumar Sastry Hari

专题命中 数学推理 ：self-correction(abstract)

Low-Parameter Federated Learning with Large Language Models

Jingang Jiang, Xiangyang Liu, Chenyou Fan

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