-
最近の投稿
- Enhancing Trust in Autonomous Agents: An Architecture for Accountability and Explainability through Blockchain and Large Language Models
- $\mathcal{L}_1$Quad: $\mathcal{L}_1$ Adaptive Augmentation of Geometric Control for Agile Quadrotors with Performance Guarantees
- Scalable and low-cost remote lab platforms: Teaching industrial robotics using open-source tools and understanding its social implications
- Tabletop Object Rearrangement: Structure, Complexity, and Efficient Combinatorial Search-Based Solutions
- AdaCred: Adaptive Causal Decision Transformers with Feature Crediting
-
最近のコメント
表示できるコメントはありません。 cs.AI (31312) cs.CL (23684) cs.CR (2432) cs.CV (37678) cs.LG (36192) cs.RO (18300) cs.SY (2805) eess.IV (4529) eess.SY (2799) stat.ML (4795)
「cs.FL」カテゴリーアーカイブ
Temporal Ensemble Logic
要約 線形時間時相推論のためのモナディック 1 次様相論理である Tempora … 続きを読む
Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
要約 古典的な反応性合成アプローチは、常に指定された仕様を満たす反応性システムを … 続きを読む
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
要約 リーンのようなコンピュータで検証可能な形式言語を用いて数学の定理を証明する … 続きを読む