-
最近の投稿
- Learning to Drive Anywhere with Model-Based Reannotation11
- KineSoft: Learning Proprioceptive Manipulation Policies with Soft Robot Hands
- CityNavAgent: Aerial Vision-and-Language Navigation with Hierarchical Semantic Planning and Global Memory
- Closing the Loop: Motion Prediction Models beyond Open-Loop Benchmarks
- Adaptive Stress Testing Black-Box LLM Planners
-
最近のコメント
表示できるコメントはありません。 cs.AI (37890) cs.CL (28643) cs.CV (43507) cs.HC (2900) cs.LG (42826) cs.RO (22521) cs.SY (3457) eess.IV (5045) eess.SY (3449) stat.ML (5583)
「cs.LO」カテゴリーアーカイブ
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) は幅広いタスクを解決できますが、推論には苦労 … 続きを読む
Lifted Inference beyond First-Order Logic
要約 Weighted First Order Model Counting ( … 続きを読む
Formal Logic-guided Robust Federated Learning against Poisoning Attacks
要約 Federated Learning (FL) は、分散型の共同学習を可能 … 続きを読む
Formal Logic-guided Robust Federated Learning against Poisoning Attacks
要約 Federated Learning (FL) は、分散型の共同学習を可能 … 続きを読む