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

Automating the Design of Multigrid Methods with Evolutionary Program Synthesis

投稿日: 2023年12月25日 作成者: jarxiv

要約 最も基本的な自然法則の多くは、偏微分方程式 (PDE) として定式化できま … 続きを読む →

カテゴリー: cs.AI, cs.CE, cs.FL, cs.NA, cs.NE, math.NA | Automating the Design of Multigrid Methods with Evolutionary Program Synthesis はコメントを受け付けていません

On The Expressivity of Recurrent Neural Cascades

投稿日: 2023年12月15日 作成者: jarxiv

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

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

When Input Integers are Given in the Unary Numeral Representation

投稿日: 2023年12月8日 作成者: jarxiv

要約 多くの NP 完全問題は、入力インスタンスの一部として整数を受け取ります。 … 続きを読む →

カテゴリー: cs.CC, cs.CL, cs.FL | When Input Integers are Given in the Unary Numeral Representation はコメントを受け付けていません

Plug in the Safety Chip: Enforcing Constraints for LLM-driven Robot Agents

投稿日: 2023年11月29日 作成者: jarxiv

要約 大規模言語モデル (LLM) の最近の進歩により、事前トレーニング中に得ら … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.RO | Plug in the Safety Chip: Enforcing Constraints for LLM-driven Robot Agents はコメントを受け付けていません

Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic

投稿日: 2023年11月22日 作成者: jarxiv

要約 自動運転車 (AV) は、堅牢な認識システムに大きく依存しています。 ビジ … 続きを読む →

カテゴリー: 03B44, 14D15, 68T40, cs.CV, cs.FL, cs.RO, F.4.3 | Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic はコメントを受け付けていません

Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata

投稿日: 2023年11月17日 作成者: jarxiv

要約 多項式サイズの有限オートマトンの不均一ファミリーは、多項式的に多くの内部状 … 続きを読む →

カテゴリー: cs.CC, cs.CL, cs.FL | Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata はコメントを受け付けていません

3vLTL: A Tool to Generate Automata for Three-valued LTL

投稿日: 2023年11月17日 作成者: jarxiv

要約 多値ロジックは、実行時検証を含むシステム検証に関する文献において長い伝統が … 続きを読む →

カテゴリー: cs.AI, cs.FL, F.1.1 | 3vLTL: A Tool to Generate Automata for Three-valued LTL はコメントを受け付けていません

Fine-Tuning Language Models Using Formal Methods Feedback

投稿日: 2023年10月30日 作成者: jarxiv

要約 事前トレーニングされた言語モデルは、計画と制御に有益な一般的な知識をエンコ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.FL | Fine-Tuning Language Models Using Formal Methods Feedback はコメントを受け付けていません

Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments

投稿日: 2023年10月19日 作成者: jarxiv

要約 ナビゲーション コマンドを線形時相論理 (LTL) に固定すると、その明確 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.FL, cs.RO | Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments はコメントを受け付けていません

Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning

投稿日: 2023年10月9日 作成者: jarxiv

要約 特定のプラントの実行時保証システム (RTA) を使用すると、バックアップ … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.SY, eess.SY | Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning はコメントを受け付けていません