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

Automata Learning of Preferences over Temporal Logic Formulas from Pairwise Comparisons

要約 多くの好みの誘発アルゴリズムは、異なる属性を持つ命題論理式またはアイテムに … 続きを読む

カテゴリー: cs.AI, cs.FL, cs.LG, cs.SY, eess.SY | コメントする

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement

要約 正式な方法は、厳格な数学的証拠を通じて重要なシステムの信頼性を検証するため … 続きを読む

カテゴリー: cs.AI, cs.FL, cs.SE | コメントする

Lost in Transmission: When and Why LLMs Fail to Reason Globally

要約 多くの成功にもかかわらず、トランスベースの大手言語モデル(LLMS)は、入 … 続きを読む

カテゴリー: cs.AI, cs.FL, cs.LG | コメントする

NoPE: The Counting Power of Transformers with No Positional Encodings

要約 位置エンコーディング(PES)は、変圧器の表現力を確保するために不可欠であ … 続きを読む

カテゴリー: cs.CL, cs.FL, cs.LG | コメントする

Learning Neural Control Barrier Functions from Offline Data with Conservatism

要約 安全フィルタ、特に制御バリア関数に基づく安全フィルタは、力学系の安全制御の … 続きを読む

カテゴリー: cs.FL, cs.LG, cs.RO, cs.SY, eess.SY | Learning Neural Control Barrier Functions from Offline Data with Conservatism はコメントを受け付けていません

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching

要約 信号時間論理(STL)仕様で複雑なタスクを解決することを学ぶことは、多くの … 続きを読む

カテゴリー: cs.AI, cs.FL, cs.LG, cs.RO | TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching はコメントを受け付けていません

Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic

要約 ニューラルネットワークベースのポリシーは、多くのロボットアプリケーションで … 続きを読む

カテゴリー: cs.FL, cs.RO | 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

要約 古典的な反応性合成アプローチは、特定の仕様を常に満たすリアクティブシステム … 続きを読む

カテゴリー: cs.FL, cs.GT, cs.LO, cs.RO, D.2.4 | Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games はコメントを受け付けていません

A New Graph Grammar Formalism for Robust Syntactic Pattern Recognition

要約 再帰的に構造化されたグラフ様パターンの構文を表すための形式を紹介します。 … 続きを読む

カテゴリー: cs.CV, cs.FL, F.4.2 | A New Graph Grammar Formalism for Robust Syntactic Pattern Recognition はコメントを受け付けていません

STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications

要約 信号時間論的論理(STL)は、動的システムでさまざまな時間的特性を指定する … 続きを読む

カテゴリー: cs.FL, cs.RO, cs.SY, eess.SY | STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications はコメントを受け付けていません