-
最近の投稿
- FEAST: A Flexible Mealtime-Assistance System Towards In-the-Wild Personalization
- Time-Optimized Safe Navigation in Unstructured Environments through Learning Based Depth Completion
- Advances in Compliance Detection: Novel Models Using Vision-Based Tactile Sensors
- Mass-Adaptive Admittance Control for Robotic Manipulators
- DreamGen: Unlocking Generalization in Robot Learning through Video World Models
-
最近のコメント
表示できるコメントはありません。 cs.AI (39879) cs.CL (30187) cs.CV (45175) cs.HC (3051) cs.LG (44808) cs.RO (23879) cs.SY (3632) eess.IV (5170) eess.SY (3624) stat.ML (5830)
「cs.FL」カテゴリーアーカイブ
The $μ\mathcal{G}$ Language for Programming Graph Neural Networks
要約 グラフ ニューラル ネットワークは、グラフ構造のデータを処理するように特別 … 続きを読む
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
要約 テキスト生成中に言語モデルの出力が何らかの手段で制約された場合に生じる、次 … 続きを読む