-
最近の投稿
- Open Challenges in the Formal Verification of Autonomous Driving
- Maximum Solar Energy Tracking Leverage High-DoF Robotics System with Deep Reinforcement Learning
- EdgeFlowNet: 100FPS@1W Dense Optical Flow For Tiny Mobile Robots
- A Systematic Study of Multi-Agent Deep Reinforcement Learning for Safe and Robust Autonomous Highway Ramp Entry
- Beyond Joint Demonstrations: Personalized Expert Guidance for Efficient Multi-Agent Reinforcement Learning
-
最近のコメント
表示できるコメントはありません。 cs.AI (30057) cs.CL (22703) cs.CR (2332) cs.CV (36430) cs.LG (34881) cs.RO (17454) cs.SY (2679) eess.IV (4437) eess.SY (2673) stat.ML (4648)
「I.2.3」カテゴリーアーカイブ
A logic for reasoning with inconsistent knowledge — A reformulation using nowadays terminology (2024)
要約 多くの状況で、人間は一貫性のない知識をもとに推論しなければなりません。 こ … 続きを読む
DISCO: DISCovering Overfittings as Causal Rules for Text Classification Models
要約 ニューラル言語モデルの急速な進歩に伴い、過剰にパラメータ化されたモデルの導 … 続きを読む
Ensuring Both Positivity and Stability Using Sector-Bounded Nonlinearity for Systems with Neural Network Controllers
要約 この論文では、完全接続フィードフォワード ニューラル ネットワーク (FF … 続きを読む
Earthfarseer: Versatile Spatio-Temporal Dynamical Systems Modeling in One Model
要約 時空間(ST)物理プロセスと観測を効率的にモデル化することは、ディープラー … 続きを読む
Teaching Higher-Order Logic Using Isabelle
要約 私たちは、基本的なフレームワーク Isabelle/Pure に直接構築さ … 続きを読む
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
要約 自動推論プログラムが新しく興味深い定理を生成および発見できるようにするため … 続きを読む
Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving
要約 数学とその応用には概念が豊富にあります。 それらは主題分野によって大きく異 … 続きを読む
Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving
要約 数学とその応用には概念が豊富にあります。 それらは主題分野によって大きく異 … 続きを読む
Earthfarseer: Versatile Spatio-Temporal Dynamical Systems Modeling in One Model
要約 時空間 (ST) 物理プロセスと観察を効率的にモデル化することは、深層学習 … 続きを読む
Fill in the Blank: Exploring and Enhancing LLM Capabilities for Backward Reasoning in Math Word Problems
要約 前方推論(問題が与えられたときに答えを見つけること)は最近の文献で広く研究 … 続きを読む