-
最近の投稿
- FEAST: A Flexible Mealtime-Assistance System Towards In-the-Wild Personalization
- Time-Optimized Safe Navigation in Unstructured Environments through Learning Based Depth Completion
- Advances in Compliance Detection: Novel Models Using Vision-Based Tactile Sensors
- Mass-Adaptive Admittance Control for Robotic Manipulators
- DreamGen: Unlocking Generalization in Robot Learning through Video World Models
-
最近のコメント
表示できるコメントはありません。 cs.AI (39879) cs.CL (30187) cs.CV (45175) cs.HC (3051) cs.LG (44808) cs.RO (23879) cs.SY (3632) eess.IV (5170) eess.SY (3624) stat.ML (5830)
「cs.LO」カテゴリーアーカイブ
A first-order logic characterization of safety and co-safety languages
要約 線形時相論理 (LTL) は最も人気のある時相論理の 1 つであり、コンピ … 続きを読む
Every Mistake Counts in Assembly
要約 AI アシスタントの有望なユースケースの 1 つは、料理、家の修理、組み立 … 続きを読む
Decidable Fragments of LTLf Modulo Theories (Extended Version)
要約 私たちは、有限トレース上の線形時相論理モジュロ理論 (LTLfMT) を研 … 続きを読む
On the Trade-off Between Efficiency and Precision of Neural Abstraction
要約 ニューラル抽象化は、複雑な非線形動的モデルの形式的な近似として最近導入され … 続きを読む
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions
要約 私たちは、Coq 証明アシスタントの基礎となる構成型理論である帰納法計算 … 続きを読む
Med-HALT: Medical Domain Hallucination Test for Large Language Models
要約 この研究論文は、特に医療分野の文脈において、大規模言語モデル (LLM) … 続きを読む
Optimal Alignment of Temporal Knowledge Bases
要約 時間化された記述論理知識ベース (TKB) を介して時間的 CQ に応答す … 続きを読む
Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version)
要約 現代の半導体製造には、何百もの作業からなる複雑な生産プロセスが含まれており … 続きを読む
Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version)
要約 現代の半導体製造には、何百もの作業からなる複雑な生産プロセスが含まれており … 続きを読む