「cs.FL」カテゴリーアーカイブ

TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules

投稿日: 2024年6月11日 作成者: jarxiv

要約 交通ルールの正式化は、自動運転車 (AV) のコンプライアンスと安全性を検 … 続きを読む →

カテゴリー: cs.FL, cs.LG, cs.RO | TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules はコメントを受け付けていません

Bridging the Empirical-Theoretical Gap in Neural Network Formal Language Learning Using Minimum Description Length

投稿日: 2024年6月7日 作成者: jarxiv

要約 ニューラル ネットワークは、多くのタスクに対して適切な近似を提供しますが、 … 続きを読む →

カテゴリー: cs.CL, cs.FL | 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

投稿日: 2024年5月28日 作成者: jarxiv

要約 最近、線形状態空間モデル (SSM) に基づくリカレント モデルは、言語モ … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LG | The Expressive Capacity of State Space Models: A Formal Language Perspective はコメントを受け付けていません

STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications

投稿日: 2024年5月20日 作成者: jarxiv

要約 信号時間論理 (STL) は、制御された動的システムが満たさなければならな … 続きを読む →

カテゴリー: cs.FL, cs.RO, cs.SY, eess.SY | STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications はコメントを受け付けていません

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof

投稿日: 2024年5月16日 作成者: jarxiv

要約 形式言語を生成できる文法の表現力に応じて形式言語を分類することは、計算言語 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO, math.LO | $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

投稿日: 2024年5月15日 作成者: jarxiv

要約 グラフ畳み込みニューラル ネットワーク (GCN) は、トレーニング デー … 続きを読む →

カテゴリー: cs.FL, cs.LG | Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation はコメントを受け付けていません

Constructing a BPE Tokenization DFA

投稿日: 2024年5月14日 作成者: jarxiv

要約 多くの自然言語処理システムは、オープン語彙の問題に対処するために、テキスト … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LG | Constructing a BPE Tokenization DFA はコメントを受け付けていません

Correct and Optimal: the Regular Expression Inference Challenge

投稿日: 2024年5月13日 作成者: jarxiv

要約 私たちは、コード/言語モデリング、およびより広範な機械学習コミュニティの課 … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LG | Correct and Optimal: the Regular Expression Inference Challenge はコメントを受け付けていません

The Transformation Logics

投稿日: 2024年5月10日 作成者: jarxiv

要約 私たちは、表現力と複雑さの間のトレードオフのバランスを細かく取るように設計 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO | The Transformation Logics はコメントを受け付けていません

A Bionic Natural Language Parser Equivalent to a Pushdown Automaton

投稿日: 2024年4月29日 作成者: jarxiv

要約 Papadimitriou らによって提案された Assembly Cal … 続きを読む →

カテゴリー: cs.CL, cs.FL | A Bionic Natural Language Parser Equivalent to a Pushdown Automaton はコメントを受け付けていません