-
最近の投稿
- Computing High-dimensional Confidence Sets for Arbitrary Distributions
- Reservoir Computing: A New Paradigm for Neural Networks
- A Dynamic, Ordinal Gaussian Process Item Response Theoretic Model
- Solving the Paint Shop Problem with Flexible Management of Multi-Lane Buffers Using Reinforcement Learning and Action Masking
- MiLo: Efficient Quantized MoE Inference with Mixture of Low-Rank Compensators
-
最近のコメント
表示できるコメントはありません。 cs.AI (36107) cs.CL (27319) cs.CR (2749) cs.CV (41949) cs.LG (41080) cs.RO (21304) cs.SY (3219) eess.IV (4921) eess.SY (3213) stat.ML (5380)
「68Q60」カテゴリーアーカイブ
Verifying Safety of Neural Networks from Topological Perspectives
要約 ニューラル ネットワーク (NN) は、自動運転車などの安全性が重要なシス … 続きを読む
Geometric Model Checking of Continuous Space
要約 トポロジ空間モデル チェックは、モーダル ロジックのトポロジ解釈のためにモ … 続きを読む