-
最近の投稿
- Wildfire Autonomous Response and Prediction Using Cellular Automata (WARP-CA)
- Efficient, Responsive, and Robust Hopping on Deformable Terrain
- STRIDE: An Open-Source, Low-Cost, and Versatile Bipedal Robot Platform for Research and Education
- The path towards contact-based physical human-robot interaction
- Commonsense Reasoning for Legged Robot Adaptation with Vision-Language Models
-
最近のコメント
表示できるコメントはありません。 cs.AI (23612) cs.CL (17743) cs.CR (1849) cs.CV (30671) cs.LG (28379) cs.RO (13239) cs.SY (2101) eess.IV (3780) eess.SY (2096) stat.ML (3899)
「cs.FL」カテゴリーアーカイブ
The Expressive Capacity of State Space Models: A Formal Language Perspective
要約 最近、線形状態空間モデル (SSM) に基づくリカレント モデルは、言語モ … 続きを読む
STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
要約 信号時間論理 (STL) は、制御された動的システムが満たさなければならな … 続きを読む
$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
要約 エージェントが一時的な目標を達成するために「震える手」で行動していると考え … 続きを読む