-
最近の投稿
- A New Framework for Nonlinear Kalman Filters
- Optimal Convex Cover as Collision-free Space Approximation for Trajectory Generation
- Learning Generalizable Policy for Obstacle-Aware Autonomous Drone Racing
- Inverse Kinematics for Neuro-Robotic Grasping with Humanoid Embodied Agents
- MonoRollBot: 3-DOF Spherical Robot with Underactuated Single Compliant Actuator Design
-
最近のコメント
表示できるコメントはありません。 cs.AI (29299) cs.CL (22137) cs.CR (2284) cs.CV (35789) cs.LG (34121) cs.RO (16973) cs.SY (2608) eess.IV (4353) eess.SY (2602) stat.ML (4574)
「I.2.3」カテゴリーアーカイブ
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
要約 前方推論(問題が与えられたときに答えを見つけること)は最近の文献で広く研究 … 続きを読む
Divide and Repair: Using Options to Improve Performance of Imitation Learning Against Adversarial Demonstrations
要約 専門家のデモンストレーションの一部が敵対的であり、タスクを実行する間違った … 続きを読む