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

Finding path and cycle counting formulae in graphs with Deep Reinforcement Learning

要約 この論文では、モンテカルロ木探索 (MCTS) を使用する強化学習アルゴリ … 続きを読む

カテゴリー: cs.AI, cs.FL | Finding path and cycle counting formulae in graphs with Deep Reinforcement Learning はコメントを受け付けていません

The $μ\mathcal{G}$ Language for Programming Graph Neural Networks

要約 グラフ ニューラル ネットワークは、グラフ構造のデータを処理するように特別 … 続きを読む

カテゴリー: cs.AI, cs.FL, cs.LG, D.2.4 | The $μ\mathcal{G}$ Language for Programming Graph Neural Networks はコメントを受け付けていません

Computational Dynamical Systems

要約 私たちは、滑らかな有限次元動的システムの計算複雑性理論を研究します。 以前 … 続きを読む

カテゴリー: cs.AI, cs.CC, cs.FL, math.DS | Computational Dynamical Systems はコメントを受け付けていません

On The Expressivity of Recurrent Neural Cascades

要約 リカレント ニューラル カスケード (RNC) は、リカレント ニューロン … 続きを読む

カテゴリー: cs.FL, cs.LG, cs.NE | On The Expressivity of Recurrent Neural Cascades はコメントを受け付けていません

The Transformation Logics

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

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

Normal forms in Virus Machines

要約 現在の研究では、ウイルス マシン (略して VM) の計算能力をさらに研究 … 続きを読む

カテゴリー: (Primary), 68R01, cs.CL, cs.FL, F.1.1 | Normal forms in Virus Machines はコメントを受け付けていません

What Formal Languages Can Transformers Express? A Survey

要約 自然言語処理においてトランスフォーマーが注目を集めるようになり、一部の研究 … 続きを読む

カテゴリー: cs.CL, cs.FL, cs.LG, cs.LO | What Formal Languages Can Transformers Express? A Survey はコメントを受け付けていません

Tractable Offline Learning of Regular Decision Processes

要約 この研究では、通常の意思決定プロセス (RDP) と呼ばれる非マルコフ環境 … 続きを読む

カテゴリー: cs.AI, cs.FL, cs.LG | Tractable Offline Learning of Regular Decision Processes はコメントを受け付けていません

Temporal Ensemble Logic

要約 線形時間時相推論のためのモナディック 1 次様相論理である Tempora … 続きを読む

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

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games

要約 古典的な反応性合成アプローチは、常に指定された仕様を満たす反応性システムを … 続きを読む

カテゴリー: cs.FL, cs.GT, cs.LO, cs.RO, D.2.4 | Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games はコメントを受け付けていません