-
最近の投稿
- ManipTrans: Efficient Dexterous Bimanual Manipulation Transfer via Residual Learning
- Multimodal Object Detection using Depth and Image Data for Manufacturing Parts
- Data-Agnostic Robotic Long-Horizon Manipulation with Vision-Language-Guided Closed-Loop Feedback
- Pretrained Bayesian Non-parametric Knowledge Prior in Robotic Long-Horizon Reinforcement Learning
- Bresa: Bio-inspired Reflexive Safe Reinforcement Learning for Contact-Rich Robotic Tasks
-
最近のコメント
表示できるコメントはありません。 cs.AI (35861) cs.CL (27115) cs.CR (2735) cs.CV (41715) cs.LG (40810) cs.RO (21147) cs.SY (3199) eess.IV (4903) eess.SY (3193) stat.ML (5350)
「cs.LO」カテゴリーアーカイブ
Large Language Models for Interpretable Mental Health Diagnosis
要約 大規模な言語モデル（LLMS）と制約ロジックプログラミング（CLP）の強み … 続きを読む
Logical forms complement probability in understanding language model (and human) performance
要約 自然言語での計画のために大規模な言語モデル（LLM）を使用することに関心が … 続きを読む
Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons
要約 *最小限の十分な理由*一般的な説明の形式を表します – それに … 続きを読む
Shield Synthesis for LTL Modulo Theories
要約 近年、機械学習（ML）モデルは、さまざまなドメインで顕著な成功を収めていま … 続きを読む
Logical forms complement probability in understanding language model (and human) performance
要約 自然言語での計画のために大規模な言語モデル（LLM）を使用することに関心が … 続きを読む
Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
要約 この論文では、現在のAIアプリケーションのように、確率的計算プロセスの信頼 … 続きを読む
A Semantic Parsing Algorithm to Solve Linear Ordering Problems
要約 自ない推論を使用してエンティティをアレンジするためにモデルが必要とする線形 … 続きを読む
Strong Equivalence in Answer Set Programming with Constraints
要約 制約を備えた回答セットプログラミングの拡張フレームワーク内の強力な同等性の … 続きを読む
Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons
要約 十分な十分な理由は、説明の一般的な形式を表しています。これは、対応する値に … 続きを読む