論文の概要: "Don't Do That!": Guiding Embodied Systems through Large Language Model-based Constraint Generation
- arxiv url: http://arxiv.org/abs/2506.04500v1
- Date: Wed, 04 Jun 2025 22:47:53 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-06-06 21:53:49.451408
- Title: "Don't Do That!": Guiding Embodied Systems through Large Language Model-based Constraint Generation
- Title(参考訳): 「それをするな!」:大規模言語モデルに基づく制約生成による身体的システムの誘導
- Authors: Aladin Djuhera, Amin Seffo, Masataro Asai, Holger Boche,
- Abstract要約: 大規模言語モデル(LLM)は、自然言語から計画問題への複雑な制約を組み込んだロボットナビゲーションへの関心を喚起している。
本稿では,LLMを用いて制約をPython関数に変換する制約生成フレームワークを提案する。
これらの LLM 生成関数は,複雑な数学的制約を正確に記述し,従来の探索アルゴリズムを用いたクラウド表現に応用する。
- 参考スコア(独自算出の注目度): 40.61171036032532
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Recent advancements in large language models (LLMs) have spurred interest in robotic navigation that incorporates complex spatial, mathematical, and conditional constraints from natural language into the planning problem. Such constraints can be informal yet highly complex, making it challenging to translate into a formal description that can be passed on to a planning algorithm. In this paper, we propose STPR, a constraint generation framework that uses LLMs to translate constraints (expressed as instructions on ``what not to do'') into executable Python functions. STPR leverages the LLM's strong coding capabilities to shift the problem description from language into structured and transparent code, thus circumventing complex reasoning and avoiding potential hallucinations. We show that these LLM-generated functions accurately describe even complex mathematical constraints, and apply them to point cloud representations with traditional search algorithms. Experiments in a simulated Gazebo environment show that STPR ensures full compliance across several constraints and scenarios, while having short runtimes. We also verify that STPR can be used with smaller, code-specific LLMs, making it applicable to a wide range of compact models at low inference cost.
- Abstract(参考訳): 大規模言語モデル(LLM)の最近の進歩は、複雑な空間的、数学的、条件的制約を自然言語から計画問題に組み込むロボットナビゲーションへの関心を喚起している。
このような制約は非公式でも非常に複雑であり、計画アルゴリズムに渡される形式的な記述に変換することは困難である。
本稿では, LLMを用いた制約生成フレームワークSTPRを提案する。
STPRはLLMの強力なコーディング機能を活用して、問題記述を言語から構造化され透明なコードに変更し、複雑な推論を回避し、潜在的幻覚を避ける。
これらの LLM 生成関数は,複雑な数学的制約を正確に記述し,従来の探索アルゴリズムを用いたクラウド表現に応用する。
シミュレーションされたGazebo環境での実験では、STPRは短いランタイムを持ちながら、いくつかの制約やシナリオにわたって完全なコンプライアンスを保証する。
また,STPRはより小型のコード固有LLMで使用でき,低推論コストで広範囲のコンパクトモデルに適用可能であることも確認した。
関連論文リスト
- Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo [90.78001821963008]
広い範囲のLMアプリケーションは、構文的制約や意味論的制約に適合するテキストを生成する必要がある。
我々は、連続モンテカルロ(SMC)に基づく制御LM生成のためのアーキテクチャを開発する。
我々のシステムはLew et al. (2023) のフレームワーク上に構築されており、言語モデル確率型プログラミング言語と統合されている。
論文 参考訳(メタデータ) (2025-04-17T17:49:40Z) - Combining Constraint Programming Reasoning with Large Language Model Predictions [44.99833362998488]
制約プログラミング(CP)と機械学習(ML)は、テキスト生成において課題に直面します。
本稿では,Large Language Model (LLM) をCPに組み込んだ手法を提案する。
論文 参考訳(メタデータ) (2024-07-18T13:15:55Z) - Evaluating, Understanding, and Improving Constrained Text Generation for Large Language Models [49.74036826946397]
本研究では,大言語モデル(LLM)の制約付きテキスト生成について検討する。
本研究は主に,制約を語彙型,構造型,関係型に分類するオープンソース LLM に重点を置いている。
その結果、LLMの能力と不足を照らし、制約を取り入れ、制約付きテキスト生成における将来の発展に対する洞察を提供する。
論文 参考訳(メタデータ) (2023-10-25T03:58:49Z) - Can Large Language Models Understand Real-World Complex Instructions? [54.86632921036983]
大型言語モデル(LLM)は人間の指示を理解することができるが、複雑な命令には耐えられない。
既存のベンチマークでは、LLMが複雑な命令を理解する能力を評価するには不十分である。
複雑な命令を体系的に追従するLSMの能力を評価するためのベンチマークであるCellOを提案する。
論文 参考訳(メタデータ) (2023-09-17T04:18:39Z) - Simultaneous Machine Translation with Large Language Models [51.470478122113356]
我々は,SimulMTタスクに大規模言語モデルを適用する可能性を検討する。
MUST-Cデータセットと異なる9言語でtextttLlama2-7b-chatモデルを用いて実験を行った。
その結果,LLM は BLEU と LAAL の指標で専用MT モデルよりも優れていた。
論文 参考訳(メタデータ) (2023-09-13T04:06:47Z) - Dynamic Planning with a LLM [15.430182858130884]
大言語モデル(LLM)はゼロショット設定で多くのNLPタスクを解くことができるが、具体化エージェントを含むアプリケーションは依然として問題である。
LLM動的プランナー(LLM-DP)は,LLMが従来のプランナーと手動で作業し,具体的課題を解決する,神経象徴的な枠組みである。
論文 参考訳(メタデータ) (2023-08-11T21:17:13Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。