-
最近の投稿
- Characterizing Trust and Resilience in Distributed Consensus for Cyberphysical Systems
- ROMAN: Open-Set Object Map Alignment for Robust View-Invariant Global Localization
- Mobile Robot Navigation Using Hand-Drawn Maps: A Vision Language Model Approach
- SOLAQUA: SINTEF Ocean Large Aquaculture Robotics Dataset
- Improving trajectory continuity in drone-based crowd monitoring using a set of minimal-cost techniques and deep discriminative correlation filters
-
最近のコメント
表示できるコメントはありません。 cs.AI (37321) cs.CL (28240) cs.CV (43015) cs.HC (2853) cs.LG (42261) cs.RO (22134) cs.SY (3385) eess.IV (5002) eess.SY (3377) stat.ML (5523)
「cs.LO」カテゴリーアーカイブ
Llemma: An Open Language Model For Mathematics
要約 数学の大規模言語モデルである Llemma を紹介します。 私たちは、科学 … 続きを読む
A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo
要約 時間論理は、システムの複雑な動作を指定するための重要なツールです。 これを … 続きを読む
Generalization-based similarity
要約 一見遠くに見える物体間の類似点を検出して利用することは、それ自体が人工知能 … 続きを読む
Analogical proportions in monounary algebras
要約 この論文は、宇宙と単一の単項関数のみからなる単項代数における類推比率を研究 … 続きを読む
Proportional algebras
要約 類推比率は、それ自体が人工知能の核心である類推推論の核となる、「$a$ は … 続きを読む
Sequential composition of propositional logic programs
要約 この論文は、命題論理プログラムの逐次合成と分解を紹介し、研究します。 非周 … 続きを読む
Scalable Semantic Non-Markovian Simulation Proxy for Reinforcement Learning
要約 強化学習 (RL) の最近の進歩は、さまざまなアプリケーションにわたって大 … 続きを読む
Vector Space Semantics for Lambek Calculus with Soft Subexponentials
要約 ソフト部分指数関数を使用したランベック計算のベクトル空間意味論を開発し、そ … 続きを読む
A Language-Agent Approach to Formal Theorem-Proving
要約 外部環境と対話するためにコンテキスト内学習が可能な大規模言語モデル (LL … 続きを読む
Logic of Differentiable Logics: Towards a Uniform Semantics of DL
要約 微分可能ロジック (DL) は、論理仕様を満たすようにニューラル ネットワ … 続きを読む