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

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 はコメントを受け付けていません

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

投稿日: 2024年7月15日 作成者: jarxiv

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

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

Bi-reachability in Petri nets with data

投稿日: 2024年7月12日 作成者: jarxiv

要約 私たちは、トークンが無限のデータ ドメインからの値を運び、遷移の実行可能性 … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LO | Bi-reachability in Petri nets with data はコメントを受け付けていません

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

投稿日: 2024年7月4日 作成者: jarxiv

要約 リーンのようなコンピュータで検証可能な形式言語を用いて数学の定理を証明する … 続きを読む →

カテゴリー: cs.AI, cs.FL | TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts はコメントを受け付けていません