-
最近の投稿
- An Adversarial Analysis of Thompson Sampling for Full-information Online Learning: from Finite to Infinite Action Spaces
- Data-Constrained Synthesis of Training Data for De-Identification
- AlphaMaze: Enhancing Large Language Models’ Spatial Intelligence via GRPO
- Temporal Misalignment in ANN-SNN Conversion and Its Mitigation via Probabilistic Spiking Neurons
- ChatVLA: Unified Multimodal Understanding and Robot Control with Vision-Language-Action Model
-
最近のコメント
表示できるコメントはありません。 cs.AI (34033) cs.CL (25731) cs.CR (2616) cs.CV (39970) cs.LG (39035) cs.RO (19852) cs.SY (3019) eess.IV (4758) eess.SY (3013) stat.ML (5151)
「cs.FL」カテゴリーアーカイブ
When Input Integers are Given in the Unary Numeral Representation
要約 多くの NP 完全問題は、入力インスタンスの一部として整数を受け取ります。 … 続きを読む
Plug in the Safety Chip: Enforcing Constraints for LLM-driven Robot Agents
要約 大規模言語モデル (LLM) の最近の進歩により、事前トレーニング中に得ら … 続きを読む
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic
要約 自動運転車 (AV) は、堅牢な認識システムに大きく依存しています。 ビジ … 続きを読む
Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata
要約 多項式サイズの有限オートマトンの不均一ファミリーは、多項式的に多くの内部状 … 続きを読む
3vLTL: A Tool to Generate Automata for Three-valued LTL
要約 多値ロジックは、実行時検証を含むシステム検証に関する文献において長い伝統が … 続きを読む
Fine-Tuning Language Models Using Formal Methods Feedback
要約 事前トレーニングされた言語モデルは、計画と制御に有益な一般的な知識をエンコ … 続きを読む
Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments
要約 ナビゲーション コマンドを線形時相論理 (LTL) に固定すると、その明確 … 続きを読む
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning
要約 特定のプラントの実行時保証システム (RTA) を使用すると、バックアップ … 続きを読む
Coding by Design: GPT-4 empowers Agile Model Driven Development
要約 ChatGPT などの大規模言語モデル (LLM) を使用して自然言語から … 続きを読む