-
最近の投稿
- Anomalies by Synthesis: Anomaly Detection using Generative Diffusion Models for Off-Road Navigation
- GrowSplat: Constructing Temporal Digital Twins of Plants with Gaussian Splats
- Semantic Exploration and Dense Mapping of Complex Environments using Ground Robots Equipped with LiDAR and Panoramic Camera
- TwinTrack: Bridging Vision and Contact Physics for Real-Time Tracking of Unknown Dynamic Objects
- Spring-Brake! Handed Shearing Auxetics Improve Efficiency of Hopping and Standing
-
最近のコメント
表示できるコメントはありません。 cs.AI (38921) cs.CL (29424) cs.CV (44346) cs.HC (2961) cs.LG (43827) cs.RO (23214) cs.SY (3550) eess.IV (5111) eess.SY (3542) stat.ML (5699)
「cs.FL」カテゴリーアーカイブ
Automata Learning of Preferences over Temporal Logic Formulas from Pairwise Comparisons
要約 多くの好みの誘発アルゴリズムは、異なる属性を持つ命題論理式またはアイテムに … 続きを読む
HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
要約 正式な方法は、厳格な数学的証拠を通じて重要なシステムの信頼性を検証するため … 続きを読む
Lost in Transmission: When and Why LLMs Fail to Reason Globally
要約 多くの成功にもかかわらず、トランスベースの大手言語モデル(LLMS)は、入 … 続きを読む
NoPE: The Counting Power of Transformers with No Positional Encodings
要約 位置エンコーディング(PES)は、変圧器の表現力を確保するために不可欠であ … 続きを読む
Learning Neural Control Barrier Functions from Offline Data with Conservatism
要約 安全フィルタ、特に制御バリア関数に基づく安全フィルタは、力学系の安全制御の … 続きを読む
TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching
要約 信号時間論理(STL)仕様で複雑なタスクを解決することを学ぶことは、多くの … 続きを読む
Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic
要約 ニューラルネットワークベースのポリシーは、多くのロボットアプリケーションで … 続きを読む
Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
要約 古典的な反応性合成アプローチは、特定の仕様を常に満たすリアクティブシステム … 続きを読む
A New Graph Grammar Formalism for Robust Syntactic Pattern Recognition
要約 再帰的に構造化されたグラフ様パターンの構文を表すための形式を紹介します。 … 続きを読む