「cs.LO」カテゴリーアーカイブ

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games

投稿日: 2024年7月12日 作成者: jarxiv

要約 ニューラル ネットワークと古典的な記号技術を組み合わせた、人工知能への神経 … 続きを読む →

カテゴリー: cs.AI, cs.GT, cs.LO | Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games はコメントを受け付けていません

Regularization in Spider-Style Strategy Discovery and Schedule Construction

投稿日: 2024年7月10日 作成者: jarxiv

要約 最高のパフォーマンスを達成するために、自動定理証明器は多くの場合、特定の問 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Regularization in Spider-Style Strategy Discovery and Schedule Construction はコメントを受け付けていません

Safe and Reliable Training of Learning-Based Aerospace Controllers

投稿日: 2024年7月10日 作成者: jarxiv

要約 近年、深層強化学習 (DRL) アプローチにより、無数の複雑なドメインに対 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SY, eess.SY | Safe and Reliable Training of Learning-Based Aerospace Controllers はコメントを受け付けていません

A General Verification Framework for Dynamical and Control Models via Certificate Synthesis

投稿日: 2024年7月2日 作成者: jarxiv

要約 制御理論の新たな分野は、自律モデルまたは制御モデルに必要な (おそらく複雑 … 続きを読む →

カテゴリー: cs.LG, cs.LO, cs.SY, eess.SY | A General Verification Framework for Dynamical and Control Models via Certificate Synthesis はコメントを受け付けていません

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing

投稿日: 2024年7月1日 作成者: jarxiv

要約 ディープ ニューラル ネットワーク (DNN) が多くの計算問題に対する有 … 続きを読む →

カテゴリー: cs.CV, cs.LG, cs.LO | Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing はコメントを受け付けていません

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems

投稿日: 2024年6月26日 作成者: jarxiv

要約 強化学習 (RL) ベースのコントローラーを備えたサイバーフィジカル シス … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO, cs.SY, eess.SY | Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems はコメントを受け付けていません

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study

投稿日: 2024年6月26日 作成者: jarxiv

要約 大規模言語モデル (LLM) は、幅広いタスクの解決において大きな成果を上 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study はコメントを受け付けていません

Towards Compositional Interpretability for XAI

投稿日: 2024年6月26日 作成者: jarxiv

要約 現在、人工知能 (AI) は主に、解釈可能性に欠けるブラックボックスの機械 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, math.CT | Towards Compositional Interpretability for XAI はコメントを受け付けていません

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic

投稿日: 2024年6月26日 作成者: jarxiv

要約 大規模言語モデル (LLM) を自動推論クリティック (ARC) と組み合 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic はコメントを受け付けていません

Solving Hard Mizar Problems with Instantiation and Strategy Invention

投稿日: 2024年6月26日 作成者: jarxiv

要約 この研究では、いくつかの ATP および AI 手法を使用して、これまで … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.SC | Solving Hard Mizar Problems with Instantiation and Strategy Invention はコメントを受け付けていません