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

The Transformation Logics

投稿日: 2024年9月9日 作成者: jarxiv

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

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

Normal forms in Virus Machines

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

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

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

What Formal Languages Can Transformers Express? A Survey

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

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

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

Tractable Offline Learning of Regular Decision Processes

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

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

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

Temporal Ensemble Logic

投稿日: 2024年9月2日 作成者: jarxiv

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

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

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

投稿日: 2024年8月27日 作成者: jarxiv

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

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

Temporal Ensemble Logic

投稿日: 2024年8月27日 作成者: jarxiv

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

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

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications

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

要約 構文的に協調安全な線形時相論理 (sc-LTL) などの時相論理仕様を使用 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.RO | Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications はコメントを受け付けていません

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents

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

要約 Large Language Model (LLM) の最近の進歩により、 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.FL, cs.LG | Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents はコメントを受け付けていません

Automata-based constraints for language model decoding

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

要約 言語モデル (LM) は、多くの場合、何らかの形式言語で文字列を生成するこ … 続きを読む →

カテゴリー: cs.CL, cs.FL | Automata-based constraints for language model decoding はコメントを受け付けていません