-
最近の投稿
- Topological mapping for traversability-aware long-range navigation in off-road terrain
- Equality Constrained Diffusion for Direct Trajectory Optimization
- Learning-Based Autonomous Navigation, Benchmark Environments and Simulation Framework for Endovascular Interventions
- Language Supervised Human Action Recognition with Salient Fusion: Construction Worker Action Recognition as a Use Case
- Bi-Level Motion Imitation for Humanoid Robots
-
最近のコメント
表示できるコメントはありません。 cs.AI (27641) cs.CL (20879) cs.CR (2167) cs.CV (34375) cs.LG (32373) cs.RO (15816) cs.SY (2460) eess.IV (4221) eess.SY (2454) stat.ML (4339)
「cs.FL」カテゴリーアーカイブ
Transformers Can Represent $n$-gram Language Models
要約 既存の研究では、計算の形式的なモデルを使用して、変圧器アーキテクチャの表現 … 続きを読む
Transformers Can Represent $n$-gram Language Models
要約 既存の研究では、計算の形式的なモデルを使用して、変圧器アーキテクチャの表現 … 続きを読む
Reward Machines for Deep RL in Noisy and Uncertain Environments
要約 報酬マシンは、命令、安全制約、その他の時間的に拡張された報酬に値する動作を … 続きを読む
Analyzing constrained LLM through PDFA-learning
要約 テキスト生成中に言語モデルの出力が何らかの手段で制約された場合に生じる、次 … 続きを読む
TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules
要約 交通ルールの正式化は、自動運転車 (AV) のコンプライアンスと安全性を検 … 続きを読む
Bridging the Empirical-Theoretical Gap in Neural Network Formal Language Learning Using Minimum Description Length
要約 ニューラル ネットワークは、多くのタスクに対して適切な近似を提供しますが、 … 続きを読む
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) は、トレーニング デー … 続きを読む