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

MLRegTest: A Benchmark for the Machine Learning of Regular Languages

投稿日: 2023年4月18日 作成者: jarxiv

要約 タイトル：MLRegTest：正規言語の機械学習のためのベンチマーク 要約 … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LG | MLRegTest: A Benchmark for the Machine Learning of Regular Languages はコメントを受け付けていません

Specification-Guided Data Aggregation for Semantically Aware Imitation Learning

投稿日: 2023年3月31日 作成者: jarxiv

要約 シミュレーションと正式な手法に基づく環境サンプリングの進歩により、自動運転 … 続きを読む →

カテゴリー: cs.FL, cs.LG, cs.RO | Specification-Guided Data Aggregation for Semantically Aware Imitation Learning はコメントを受け付けていません

Interpretable Anomaly Detection via Discrete Optimization

投稿日: 2023年3月27日 作成者: jarxiv

要約 異常検出は、サイバー セキュリティ、法執行機関、医療、詐欺防止など、多くの … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LG, I.2.6 | Interpretable Anomaly Detection via Discrete Optimization はコメントを受け付けていません

Logical Reasoning over Natural Language as Knowledge Representation: A Survey

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

要約 論理的推論は、人間の認知と知性の中心です。 AI 内の論理的推論に関する過 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.FL | Logical Reasoning over Natural Language as Knowledge Representation: A Survey はコメントを受け付けていません

Falsification-Based Robust Adversarial Reinforcement Learning

投稿日: 2023年3月21日 作成者: jarxiv

要約 強化学習 (RL) は、ロボット工学における制御タスクなど、さまざまな逐次 … 続きを読む →

カテゴリー: cs.FL, cs.LG, cs.RO | Falsification-Based Robust Adversarial Reinforcement Learning はコメントを受け付けていません

Automaton-Based Representations of Task Knowledge from Generative Language Models

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

要約 タスク知識のオートマトンベースの表現は、一連の意思決定問題の制御と計画にお … 続きを読む →

カテゴリー: cs.CL, cs.FL | Automaton-Based Representations of Task Knowledge from Generative Language Models はコメントを受け付けていません

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications

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

要約 このホワイト ペーパーでは、線形時相論理 (LTL) として表現される複雑 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LG, cs.RO, math.OC | Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications はコメントを受け付けていません

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications

投稿日: 2023年3月16日 作成者: jarxiv

要約 このホワイト ペーパーでは、線形時相論理 (LTL) として表現される複雑 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LG, cs.RO, math.OC | Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications はコメントを受け付けていません

Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks

投稿日: 2023年3月14日 作成者: jarxiv

要約 この作品は、定量的反応合成のための効率的なシンボリック アルゴリズムを紹介 … 続きを読む →

カテゴリー: cs.FL, cs.GT, cs.RO, cs.SC | Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks はコメントを受け付けていません

Self-Attention Networks Can Process Bounded Hierarchical Languages

投稿日: 2023年3月14日 作成者: jarxiv

要約 NLP での印象的なパフォーマンスにもかかわらず、自己注意ネットワークは、 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.FL | Self-Attention Networks Can Process Bounded Hierarchical Languages はコメントを受け付けていません