arXiv:2506.04998cs.AI2025-06

用检索增强生成提升无人机模型的数学推理能力

Mathematical Reasoning for Unmanned Aerial Vehicles: A RAG-Based Approach for Complex Arithmetic Reasoning

  • 引入RAG框架,从专业文献中检索并应用正确数学公式
  • 使答案准确率最高达75%,公式选错率从25%降至5%
  • 适合需要可靠工程计算的无人机系统研究者使用

自主无人机运行需可靠的数学推理能力,用于轨迹规划与能耗管理。传统飞行控制依赖硬编码方程,而近期大语言模型(LLMs)虽具灵活解题潜力,却难以稳定选择并正确应用数学公式,且多步计算易出错。本文提出RAG-UAV,一种检索增强生成框架,通过访问相关领域文献,提升GPT o1/Turbo、Llama-3.2/3.3、Mistral及DeepSeek R1等多个主流模型在无人机场景下的数学推理表现。为初步评估,我们构建了包含20道题的UAV-Math-Bench基准测试集,涵盖四个难度等级。实验表明,引入检索后,答案精确度显著提升(最高达75%),公式误选率从无RAG时的25%降至5%,数值误差大幅降低,最优模型的均方误差(MSE)下降至原有量级的数分之一。该初步研究显示,RAG可使通用大模型更可靠地用于工程分析,但直接用于实时飞行控制仍需更大规模验证。所有基准数据、题目与答案均已公开。

原文摘要 · Abstract (English)

Autonomous UAV operation necessitates reliable mathematical reasoning for tasks such as trajectory planning and power management. While traditional flight control relies on hardcoded equations, recent Large Language Models (LLMs) offer potential for more flexible problem-solving but struggle with reliably selecting and applying correct mathematical formulations and executing precise multi-step arithmetic. We propose RAG-UAV, a retrieval-augmented generation framework designed to improve the mathematical reasoning of several LLMs (including GPT o1/Turbo, Llama-3.2/3.3, Mistral, and DeepSeek R1) in UAV-specific contexts by providing access to relevant domain literature. To conduct an initial assessment, we introduce the UAV-Math-Bench, a 20-question problem set of UAV-centric mathematical problems across four difficulty levels. Our experiments demonstrate that incorporating retrieval substantially increases exact answer accuracy (achieving up to 75% with o1), reduces instances of incorrect formulation selection (from 25% without RAG to 5\% with RAG), and decreases numerical errors, reducing Mean Squared Error (MSE) by orders of magnitude for the best-performing models. This pilot study indicates that RAG can enable general-purpose LLMs to function as more reliable tools for engineering analysis, although direct real-time flight control requires further investigation and validation on a larger scale. All benchmark data, questions, and answers are publicly available.

无人机数学推理RAG大模型

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。