-
最近の投稿
- Automated Fabrication of Magnetic Soft Microrobots
- Comparing Self-Disclosure Themes and Semantics to a Human, a Robot, and a Disembodied Agent
- Non-Normalized Solutions of Generalized Nash Equilibrium in Autonomous Racing
- Extended Version: Multi-Robot Motion Planning with Cooperative Localization
- Classifying Subjective Time Perception in a Multi-robot Control Scenario Using Eye-tracking Information
-
最近のコメント
表示できるコメントはありません。 cs.AI (36371) cs.CL (27525) cs.CV (42189) cs.HC (2771) cs.LG (41353) cs.RO (21499) cs.SY (3255) eess.IV (4938) eess.SY (3249) stat.ML (5411)
「cs.FL」カテゴリーアーカイブ
Temporal Ensemble Logic
要約 線形時間時相推論のためのモナディック 1 次様相論理である Tempora … 続きを読む
Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
要約 構文的に協調安全な線形時相論理 (sc-LTL) などの時相論理仕様を使用 … 続きを読む
Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
要約 Large Language Model (LLM) の最近の進歩により、 … 続きを読む
Automata-based constraints for language model decoding
要約 言語モデル (LM) は、多くの場合、何らかの形式言語で文字列を生成するこ … 続きを読む
The $μ\mathcal{G}$ Language for Programming Graph Neural Networks
要約 グラフ ニューラル ネットワークは、グラフ構造のデータを処理するように特別 … 続きを読む
Bi-reachability in Petri nets with data
要約 私たちは、トークンが無限のデータ ドメインからの値を運び、遷移の実行可能性 … 続きを読む
TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
要約 リーンのようなコンピュータで検証可能な形式言語を用いて数学の定理を証明する … 続きを読む
LLM-Oracle Machines
要約 現代のAIアプリケーションは、大規模言語モデル（LLM）を活用し、その知識 … 続きを読む
LLM-Oracle Machines
要約 現代の AI アプリケーションは、大規模言語モデル (LLM) を活用して … 続きを読む