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

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

Unlocking State-Tracking in Linear RNNs Through Negative Eigenvalues

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

要約 Mamba、RWKV、GLA、mLSTM、DeltaNet などの線形リカ … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LG | Unlocking State-Tracking in Linear RNNs Through Negative Eigenvalues はコメントを受け付けていません

Safe Networked Robotics with Probabilistic Verification

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

要約 自律型ロボットは、安全な制御の決定を行うために豊富な感覚データを利用する必 … 続きを読む →

カテゴリー: cs.FL, cs.RO, cs.SY, eess.SY | Safe Networked Robotics with Probabilistic Verification はコメントを受け付けていません

Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers

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

要約 トランスフォーマーの表現力に関する形式的な限界を導き出すこと、および既知の … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LG, cs.LO | Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers はコメントを受け付けていません

Classical and Quantum Algorithms for the Deterministic L-system Inductive Inference Problem

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

要約 L システムは、植物の発育など、多くの生物学的プロセスのモデル化およびシミ … 続きを読む →

カテゴリー: cs.CL, cs.DS, cs.FL, cs.LG, quant-ph | Classical and Quantum Algorithms for the Deterministic L-system Inductive Inference Problem はコメントを受け付けていません

Executable QR codes with Machine Learning for Industrial Applications

投稿日: 2024年11月21日 作成者: jarxiv

要約 eQR コードまたは単に sQRy とも呼ばれる実行可能 QR コードは、 … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.NI | Executable QR codes with Machine Learning for Industrial Applications はコメントを受け付けていません