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

Constructing a BPE Tokenization DFA

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

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

Correct and Optimal: the Regular Expression Inference Challenge

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

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

The Transformation Logics

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

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

A Bionic Natural Language Parser Equivalent to a Pushdown Automaton

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

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

The Trembling-Hand Problem for LTLf Planning

要約 エージェントが一時的な目標を達成するために「震える手」で行動していると考え … 続きを読む

カテゴリー: cs.FL, cs.RO | The Trembling-Hand Problem for LTLf Planning はコメントを受け付けていません

Transformers Can Represent $n$-gram Language Models

要約 既存の研究の多くは、計算の形式的なモデルを使用してその表現能力を記述するこ … 続きを読む

カテゴリー: cs.AI, cs.CC, cs.CL, cs.FL, cs.LG | Transformers Can Represent $n$-gram Language Models はコメントを受け付けていません

Deep Policy Optimization with Temporal Logic Constraints

要約 線形時相論理 (LTL) などの時相論理は、(深層) 強化学習 (RL) … 続きを読む

カテゴリー: cs.AI, cs.FL, cs.LG | Deep Policy Optimization with Temporal Logic Constraints はコメントを受け付けていません

Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications

要約 特定の自律システムが複雑な仕様を満たしているかどうかを評価するテストを設計 … 続きを読む

カテゴリー: cs.FL, cs.RO, cs.SY, eess.SY | Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications はコメントを受け付けていません

Linguistic Analysis using Paninian System of Sounds and Finite State Machines

要約 音声言語の研究は、音韻論、形態論、文法から構成されます。 言語の分析は、そ … 続きを読む

カテゴリー: cs.CL, cs.FL | Linguistic Analysis using Paninian System of Sounds and Finite State Machines はコメントを受け付けていません

Transformers as Transducers

要約 私たちは、変換器を有限の変換器に関連付けることによって、変換器の系列間マッ … 続きを読む

カテゴリー: cs.FL, cs.LG | Transformers as Transducers はコメントを受け付けていません