-
最近の投稿
- A Hierarchical Reinforcement Learning Framework for Multi-UAV Combat Using Leader-Follower Strategy
- A 65 nm Bayesian Neural Network Accelerator with 360 fJ/Sample In-Word GRNG for AI Uncertainty Estimation
- Map Prediction and Generative Entropy for Multi-Agent Exploration
- Polyhedral Collision Detection via Vertex Enumeration
- Safe and Efficient Robot Action Planning in the Presence of Unconcerned Humans
-
最近のコメント
表示できるコメントはありません。 cs.AI (32657) cs.CL (24688) cs.CR (2523) cs.CV (38845) cs.LG (37527) cs.RO (19009) cs.SY (2906) eess.IV (4656) eess.SY (2900) stat.ML (4944)
「cs.LO」カテゴリーアーカイブ
Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
要約 専門家以外でも長期にわたるマルチロボットの共同作業を指定できるようにするた … 続きを読む
Data quality dimensions for fair AI
要約 人工知能 (AI) システムは本質的に中立ではなく、どのような種類の技術ツ … 続きを読む
Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
要約 専門家以外でも長期にわたるマルチロボットの共同作業を指定できるようにするた … 続きを読む
Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers
要約 トランスフォーマーの表現力に関する形式的な限界を導き出すこと、および既知の … 続きを読む
Enriching Ontologies with Disjointness Axioms using Large Language Models
要約 オントロジーは、ナレッジ グラフでの高度な推論と一貫性チェックには有用であ … 続きを読む
Effective Littlestone Dimension
要約 Delle Rose et al.~(COLT’23) は、V … 続きを読む
Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
要約 自律システムの認証は、科学と産業において重要な関心事です。 KI-LOK … 続きを読む
Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
要約 この EPTCS ボリュームには、2024 年 11 月 11 日から 1 … 続きを読む
Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems
要約 私たちは、性質と量を自然な方法で扱うのに役立ち、それらの正しさをチェックす … 続きを読む
Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
要約 大規模言語モデル (LLM) は幅広いタスクを解決できますが、推論には苦労 … 続きを読む