-
最近の投稿
- Topological mapping for traversability-aware long-range navigation in off-road terrain
- Equality Constrained Diffusion for Direct Trajectory Optimization
- Learning-Based Autonomous Navigation, Benchmark Environments and Simulation Framework for Endovascular Interventions
- Language Supervised Human Action Recognition with Salient Fusion: Construction Worker Action Recognition as a Use Case
- Bi-Level Motion Imitation for Humanoid Robots
-
最近のコメント
表示できるコメントはありません。 cs.AI (27641) cs.CL (20879) cs.CR (2167) cs.CV (34375) cs.LG (32373) cs.RO (15816) cs.SY (2460) eess.IV (4221) eess.SY (2454) stat.ML (4339)
「cs.SC」カテゴリーアーカイブ
Cognitive Architectures for Language Agents
要約 最近の取り組みでは、根拠や推論を必要とするタスクのために、外部リソース ( … 続きを読む
Declarative Reasoning on Explanations Using Constraint Logic Programming
要約 不透明な機械学習(ML)モデルを説明することは、ますます重要な問題になって … 続きを読む
Normative Conditional Reasoning as a Fragment of HOL
要約 規範的(好みに基づく)条件付き推論の機械化に関するいくつかの結果を報告しま … 続きを読む
Normative conditional reasoning as a fragment of HOL
要約 規範的(好みに基づく)条件付き推論の機械化に関するいくつかの結果を報告しま … 続きを読む
AI Hilbert: From Data and Background Knowledge to Automated Scientific Discovery
要約 自然現象を控えめに説明し、既存の背景理論と一致する科学的公式を発見すること … 続きを読む
AI-Assisted Discovery of Quantitative and Formal Models in Social Science
要約 社会科学では、経済成長や集団行動を説明するモデルなどの形式的かつ定量的なモ … 続きを読む
G-MATT: Single-step Retrosynthesis Prediction using Molecular Grammar Tree Transformer
要約 近年、シングルステップ逆合成予測のために、さまざまなテンプレートベースおよ … 続きを読む
Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks
要約 この研究では、定量的反応性合成のための効率的なシンボリック アルゴリズムを … 続きを読む
Reasoning over the Behaviour of Objects in Video-Clips for Adverb-Type Recognition
要約 この研究では、シーンシーケンスを説明する副詞は、オブジェクトの動作の高レベ … 続きを読む
Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gröbner Systems
要約 CGS-QE 法と呼ばれる、包括的 Gr\’obner Sys … 続きを読む