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

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

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

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

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

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing

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

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

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

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 | コメントする

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

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

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

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

Towards Compositional Interpretability for XAI

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

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

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

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic

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

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

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

Solving Hard Mizar Problems with Instantiation and Strategy Invention

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

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

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

Compact Proofs of Model Performance via Mechanistic Interpretability

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

要約 この研究では、機械的解釈可能性 (モデルの重みを人間が解釈可能なアルゴリズ … 続きを読む →

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

Provable Guarantees for Model Performance via Mechanistic Interpretability

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

要約 この研究では、機械的解釈可能性 (モデルの重みを人間が解釈可能なアルゴリズ … 続きを読む →

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

Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description)

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

要約 Grants4Companies アプリケーションの基礎となるメソッドとテ … 続きを読む →

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