-
最近の投稿
- Enhancing Efficiency in Multidevice Federated Learning through Data Selection
- RadarTrack: Enhancing Ego-Vehicle Speed Estimation with Single-chip mmWave Radar
- HOPE: A Reinforcement Learning-based Hybrid Policy Path Planner for Diverse Parking Scenarios
- From Imitation to Exploration: End-to-end Autonomous Driving based on World Model
- LLM-Enabled In-Context Learning for Data Collection Scheduling in UAV-assisted Sensor Networks
-
最近のコメント
表示できるコメントはありません。 cs.AI (36903) cs.CL (27936) cs.CV (42678) cs.HC (2822) cs.LG (41843) cs.RO (21845) cs.SY (3324) eess.IV (4979) eess.SY (3316) stat.ML (5475)
「cs.LO」カテゴリーアーカイブ
Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness
要約 d-DNNF 形式のブール回路により、扱いやすい確率的推論が可能になります … 続きを読む
LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic
要約 大規模言語モデル (LLM) を自動推論クリティック (ARC) と組み合 … 続きを読む
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
要約 オントロジーベースのクエリ応答の分野における広範な研究により、アトミックク … 続きを読む
TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems
要約 到達可能集合の計算は、制御システムを分析するための重要なツールです。 制御 … 続きを読む
Continuous reasoning for adaptive container image distribution in the cloud-edge continuum
要約 クラウド エッジ コンピューティングでは、アプリケーションがさまざまなイン … 続きを読む
Bridging Weighted First Order Model Counting and Graph Polynomials
要約 重み付き 1 次モデル計数問題 (WFOMC) は、指定されたドメインにわ … 続きを読む
Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
要約 2019 年の先駆的な研究で、Barcel\’o とその共著者 … 続きを読む
CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
要約 デバッグは、ソフトウェア開発において最も時間と費用がかかるタスクの 1 つ … 続きを読む
Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
要約 リアクティブ合成は、時相論理仕様から正しいコントローラーを生成するプロセス … 続きを読む
Bi-reachability in Petri nets with data
要約 私たちは、トークンが無限のデータ ドメインからの値を運び、遷移の実行可能性 … 続きを読む