-
最近の投稿
- Robustness Assessment of Static Structures for Efficient Object Handling
- ALLO: A Photorealistic Dataset and Data Generation Pipeline for Anomaly Detection During Robotic Proximity Operations in Lunar Orbit
- Impact-Aware Control using Time-Invariant Reference Spreading
- Planning by Simulation: Motion Planning with Learning-based Parallel Scenario Prediction for Autonomous Driving
- Off-Dynamics Reinforcement Learning via Domain Adaptation and Reward Augmented Imitation
-
最近のコメント
表示できるコメントはありません。 cs.AI (29723) cs.CL (22445) cs.CR (2308) cs.CV (36129) cs.LG (34535) cs.RO (17234) cs.SY (2649) eess.IV (4391) eess.SY (2643) stat.ML (4611)
「cs.FL」カテゴリーアーカイブ
Bi-reachability in Petri nets with data
要約 私たちは、トークンが無限のデータ ドメインからの値を運び、遷移の実行可能性 … 続きを読む
TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
要約 リーンのようなコンピュータで検証可能な形式言語を用いて数学の定理を証明する … 続きを読む
LLM-Oracle Machines
要約 現代のAIアプリケーションは、大規模言語モデル（LLM）を活用し、その知識 … 続きを読む
LLM-Oracle Machines
要約 現代の AI アプリケーションは、大規模言語モデル (LLM) を活用して … 続きを読む
Querying Labeled Time Series Data with Scenario Programs
要約 自動運転車が路上で安全に展開できることを確認するために、シミュレーションベ … 続きを読む
Transformers Can Represent $n$-gram Language Models
要約 既存の研究では、計算の形式的なモデルを使用して、変圧器アーキテクチャの表現 … 続きを読む
Transformers Can Represent $n$-gram Language Models
要約 既存の研究では、計算の形式的なモデルを使用して、変圧器アーキテクチャの表現 … 続きを読む
Reward Machines for Deep RL in Noisy and Uncertain Environments
要約 報酬マシンは、命令、安全制約、その他の時間的に拡張された報酬に値する動作を … 続きを読む
Analyzing constrained LLM through PDFA-learning
要約 テキスト生成中に言語モデルの出力が何らかの手段で制約された場合に生じる、次 … 続きを読む
TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules
要約 交通ルールの正式化は、自動運転車 (AV) のコンプライアンスと安全性を検 … 続きを読む