大模型推理能力 - arXivDaily 专题

2507.03659 2025-09-10 cs.SE cs.PL 50%

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

Valentina Wu, Alexandra Mendes, Alexandre Abreu

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

2505.03238 2025-09-03 cs.RO 50%

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)

2508.17269 2025-08-26 astro-ph.IM 50%

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

Torsten Enßlin

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

Comments 6 pages, invited talk at UniverseAI conference Athen 2025

2507.05287 2025-07-09 econ.GN econ.EM math.AP q-fin.EC q-fin.MF stat.ME 50%

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)

2507.02957 2025-07-08 cs.CV 50%

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

Andrew Kiruluta, Preethi Raju, Priscilla Burity

机构 * Berkeley（伯克利）

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

2506.22954 2025-07-01 cs.SI cs.SE 50%

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)

2408.04200 2025-05-26 cs.RO cs.SY eess.SY 50%

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

2504.11138 2025-05-22 cs.HC 50%

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

2505.13263 2025-05-20 cs.SE 50%

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)

2504.17700 2025-04-25 math.OC math.AT 50%

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

Eric Schmid

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

Comments 64 pages

2504.09138 2025-04-15 cs.IT math.IT 50%

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)

2504.05449 2025-04-09 cs.CY 50%

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)

2312.01639 2025-02-18 cs.SE 50%

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)

2501.14819 2025-01-28 cs.MA cs.RO 50%

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

Paul Perrone

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

Comments 35 pages, 2 tables

2501.14196 2025-01-27 physics.soc-ph cs.SI econ.TH 50%

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

Ioannis Dritsas

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

2501.06430 2025-01-14 cs.CV 50%

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)

2404.09699 2024-11-25 cs.GT 50%

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)

2401.02404 2024-08-14 cs.CY 50%

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)

2404.03449 2024-04-05 eess.SP 50%

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)

2403.10762 2024-03-19 cs.RO 50%

NARRATE: Versatile Language Architecture for Optimal Control in Robotics

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

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

2309.05163 2024-03-12 physics.ed-ph 50%

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

2308.15191 2024-02-19 cs.CR 50%

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

2310.03841 2024-02-07 cs.CR cs.DC 50%

ALBERTA: ALgorithm-Based Error Resilience in Transformer Architectures

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

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

2307.13896 2023-07-27 cs.DC 50%

Low-Parameter Federated Learning with Large Language Models

Jingang Jiang, Xiangyang Liu, Chenyou Fan

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

2209.07753 2023-05-26 cs.RO 50%

Code as Policies: Language Model Programs for Embodied Control

Jacky Liang, Wenlong Huang, Fei Xia, Peng Xu, Karol Hausman, Brian Ichter, Pete Florence, Andy Zeng

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

2105.00434 2021-05-04 cs.RO cs.SY eess.SY 50%

Dynamic Routing for Traffic Flow through Multi-agent Systems

Jizhe Zhou, Qiwei Chen, Qin Li

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

2008.07321 2020-08-18 cs.CY 50%

Expected Utilitarianism

Heather M. Roff

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

1805.05374 2019-05-14 cs.RO cs.MA 50%

Generating Comfortable, Safe and Comprehensible Trajectories for Automated Vehicles in Mixed Traffic

Maximilian Naumann, Martin Lauer, Christoph Stiller

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

Journal ref Proc. IEEE Intl. Conf. Intelligent Transportation Systems, pp. 575-582, Hawaii, USA, Nov 2018

1806.00139 2018-06-04 cs.CR 50%

Tokenized Data Markets

Bharath Ramsundar, Roger Chen, Alok Vasudev, Rob Robbins, Artur Gorokh

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

1711.03391 2017-11-10 physics.geo-ph 50%

A simplified model based on self-organized criticality framework for the seismic assessment of urban areas

A. Greco, A. Pluchino, L. Barbarossa, I. Caliò, F. Martinico, A. Rapisarda

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

Comments 12 pages, 6 figures

1. 数学推理 3246 篇

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

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

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

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

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

Evaluating and Improving Large Language Models for Competitive Program Generation

Koopman Operators in Robot Learning

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

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

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

White-Box AI Model: Next Frontier of Wireless Communications

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

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

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

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

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

Generative AI for Game Theory-based Mobile Networking

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

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

NARRATE: Versatile Language Architecture for Optimal Control in Robotics

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

State of the Art Report: Verified Computation

ALBERTA: ALgorithm-Based Error Resilience in Transformer Architectures

Low-Parameter Federated Learning with Large Language Models

Code as Policies: Language Model Programs for Embodied Control

Dynamic Routing for Traffic Flow through Multi-agent Systems

Expected Utilitarianism

Generating Comfortable, Safe and Comprehensible Trajectories for Automated Vehicles in Mixed Traffic

Tokenized Data Markets

A simplified model based on self-organized criticality framework for the seismic assessment of urban areas