-
最近の投稿
- 3D Water Quality Mapping using Invariant Extended Kalman Filtering for Underwater Robot Localization
- Hybrid Visual Servoing of Tendon-driven Continuum Robots
- Embodying Control in Soft Multistable Grippers from morphofunctional co-design
- View-Invariant Policy Learning via Zero-Shot Novel View Synthesis
- ModSkill: Physical Character Skill Modularization
-
最近のコメント
表示できるコメントはありません。 cs.AI (34028) cs.CL (25726) cs.CR (2616) cs.CV (39965) cs.LG (39031) cs.RO (19850) cs.SY (3019) eess.IV (4757) eess.SY (3013) stat.ML (5150)
「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) を活用して … 続きを読む