-
最近の投稿
- Online Adaptation of Terrain-Aware Dynamics for Planning in Unstructured Environments
- ‘Don’t Do That!’: Guiding Embodied Systems through Large Language Model-based Constraint Generation
- SGN-CIRL: Scene Graph-based Navigation with Curriculum, Imitation, and Reinforcement Learning
- Olfactory Inertial Odometry: Sensor Calibration and Drift Compensation
- Chronoamperometry with Room-Temperature Ionic Liquids: Sub-Second Inference Techniques
-
最近のコメント
表示できるコメントはありません。 cs.AI (39257) cs.CL (29715) cs.CV (44646) cs.HC (2989) cs.LG (44171) cs.RO (23444) cs.SY (3577) eess.IV (5131) eess.SY (3569) stat.ML (5743)
「math.LO」カテゴリーアーカイブ
Vague Knowledge: Evidence from Analyst Reports
要約 現実の世界の人々は、しばしば将来の見返りに関するあいまいな知識を持っていま … 続きを読む
SAD Neural Networks: Divergent Gradient Flows and Asymptotic Optimality via o-minimal Structures
要約 私たちは、ロジスティック、双曲線接線、ソフトプラス、またはGELU関数など … 続きを読む
Measurability in the Fundamental Theorem of Statistical Learning
要約 統計学習の基本的な定理は、VCの次元が有限である場合にのみ、仮説スペースは … 続きを読む
Encoding Argumentation Frameworks to Propositional Logic Systems
要約 議論フレームワークの理論($ af $ s)は、人工知能に役立つツール … 続きを読む
Faithful Logic Embeddings in HOL — A recipe to have it all: deep and shallow, automated and interactive, heavy and light, proofs and counterexamples, meta and object level
要約 古典的な高次ロジックにおける非古典的なロジックの深く浅い埋め込みは、近年、 … 続きを読む
Computational Dualism and Objective Superintelligence
要約 インテリジェント・ソフトウェアの概念には欠陥がある。ソフトウェアの振る舞い … 続きを読む
Informed deep hierarchical classification: a non-standard analysis inspired approach
要約 この研究は、深い階層的な分類タスク、つまり、厳格な親子構造で編成された複数 … 続きを読む
Decidability of Querying First-Order Theories via Countermodels of Finite Width
要約 私たちは、構造的に単純で、特定の種類の幅の尺度 (一般的な例としてツリー幅 … 続きを読む
Abductive Reasoning in a Paraconsistent Framework
要約 私たちは、パラコンシステントなフレームワークを採用することで、古典的に矛盾 … 続きを読む