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

Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective MDPs and its Impact on Randomised Strategies

投稿日: 2025年2月26日 作成者: jarxiv

要約 マルコフの決定プロセスにおける多次元ペイオフ関数を検討し、特定の予想ペイオ … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.GT, cs.LO, math.PR | Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective MDPs and its Impact on Randomised Strategies はコメントを受け付けていません

Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions

投稿日: 2025年2月18日 作成者: jarxiv

要約 彼らの言語能力のおかげで、LLMSは、オートフォーマル化を通じて、非公式の … 続きを読む →

カテゴリー: cs.CL, cs.FL | Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions はコメントを受け付けていません

SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models

投稿日: 2025年2月17日 作成者: jarxiv

要約 ロボットエージェントの自然言語（NL）コマンドの理解と実行を強化する大規模 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.FL, cs.RO | SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models はコメントを受け付けていません

Adaptive Bi-Level Multi-Robot Task Allocation and Learning under Uncertainty with Temporal Logic Constraints

投稿日: 2025年2月17日 作成者: jarxiv

要約 この作業は、未知のロボット遷移モデルの下でのマルチロボット調整の問題に対処 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.RO | Adaptive Bi-Level Multi-Robot Task Allocation and Learning under Uncertainty with Temporal Logic Constraints はコメントを受け付けていません

DeltaProduct: Increasing the Expressivity of DeltaNet Through Products of Householders

投稿日: 2025年2月17日 作成者: jarxiv

要約 線形再発性ニューラルネットワーク（線形RNN）は、シーケンスモデリングのた … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LG | DeltaProduct: Increasing the Expressivity of DeltaNet Through Products of Householders はコメントを受け付けていません

What is Formal Verification without Specifications? A Survey on mining LTL Specifications

投稿日: 2025年1月28日 作成者: jarxiv

要約 正式な方法を使用した実質的にすべての検証手法は、設計要件を正確に説明する正 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO | What is Formal Verification without Specifications? A Survey on mining LTL Specifications はコメントを受け付けていません

On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning

投稿日: 2025年1月27日 作成者: jarxiv

要約 最新言語モデル (LM) のパフォーマンスは、思考連鎖 (CoT) 推論、 … 続きを読む →

カテゴリー: cs.CL, cs.FL | On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning はコメントを受け付けていません

Temporal Logic Guided Safe Navigation for Autonomous Vehicles

投稿日: 2025年1月24日 作成者: jarxiv

要約 自動運転車（AVS）と地上ロボットの安全検証は、不確実な環境を考慮して信頼 … 続きを読む →

カテゴリー: cs.FL, cs.RO, cs.SY, eess.SY | Temporal Logic Guided Safe Navigation for Autonomous Vehicles はコメントを受け付けていません

Reward Machines for Deep RL in Noisy and Uncertain Environments

投稿日: 2025年1月16日 作成者: jarxiv

要約 報酬マシンは、命令、安全制約、その他の時間的に拡張された報酬に値する動作を … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LG, F.4.3 | Reward Machines for Deep RL in Noisy and Uncertain Environments はコメントを受け付けていません

Tokenisation is NP-Complete

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

要約 この研究では、語彙を直接見つけるか (直接トークン化)、または一連のマージ … 続きを読む →

カテゴリー: cs.CL, cs.DS, cs.FL | Tokenisation is NP-Complete はコメントを受け付けていません