-
最近の投稿
- Exploring Modular Mobility: Industry Advancements, Research Trends, and Future Directions on Modular Autonomous Vehicles
- Causal Composition Diffusion Model for Closed-loop Traffic Generation
- DRAL: Deep Reinforcement Adaptive Learning for Multi-UAVs Navigation in Unknown Indoor Environment
- Asynchronous Training of Mixed-Role Human Actors in a Partially-Observable Environment
- LMV-RPA: Large Model Voting-based Robotic Process Automation
-
最近のコメント
表示できるコメントはありません。 cs.AI (31450) cs.CL (23788) cs.CR (2442) cs.CV (37795) cs.LG (36318) cs.RO (18381) cs.SY (2817) eess.IV (4541) eess.SY (2811) stat.ML (4821)
「cs.FL」カテゴリーアーカイブ
$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof
要約 形式言語を生成できる文法の表現力に応じて形式言語を分類することは、計算言語 … 続きを読む
Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation
要約 グラフ畳み込みニューラル ネットワーク (GCN) は、トレーニング デー … 続きを読む
Constructing a BPE Tokenization DFA
要約 多くの自然言語処理システムは、オープン語彙の問題に対処するために、テキスト … 続きを読む
Correct and Optimal: the Regular Expression Inference Challenge
要約 私たちは、コード/言語モデリング、およびより広範な機械学習コミュニティの課 … 続きを読む
The Transformation Logics
要約 私たちは、表現力と複雑さの間のトレードオフのバランスを細かく取るように設計 … 続きを読む
A Bionic Natural Language Parser Equivalent to a Pushdown Automaton
要約 Papadimitriou らによって提案された Assembly Cal … 続きを読む
The Trembling-Hand Problem for LTLf Planning
要約 エージェントが一時的な目標を達成するために「震える手」で行動していると考え … 続きを読む
Transformers Can Represent $n$-gram Language Models
要約 既存の研究の多くは、計算の形式的なモデルを使用してその表現能力を記述するこ … 続きを読む
Deep Policy Optimization with Temporal Logic Constraints
要約 線形時相論理 (LTL) などの時相論理は、(深層) 強化学習 (RL) … 続きを読む
Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
要約 特定の自律システムが複雑な仕様を満たしているかどうかを評価するテストを設計 … 続きを読む