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

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 はコメントを受け付けていません

Compact Proofs of Model Performance via Mechanistic Interpretability

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

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

カテゴリー: cs.LG, cs.LO | Compact Proofs of Model Performance via Mechanistic Interpretability はコメントを受け付けていません

Provable Guarantees for Model Performance via Mechanistic Interpretability

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

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

カテゴリー: cs.LG, cs.LO | Provable Guarantees for Model Performance via Mechanistic Interpretability はコメントを受け付けていません

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 | Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description) はコメントを受け付けていません

Provable Guarantees for Model Performance via Mechanistic Interpretability

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

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

カテゴリー: cs.LG, cs.LO | Provable Guarantees for Model Performance via Mechanistic Interpretability はコメントを受け付けていません

Provable Guarantees for Model Performance via Mechanistic Interpretability

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

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

カテゴリー: cs.LG, cs.LO | Provable Guarantees for Model Performance via Mechanistic Interpretability はコメントを受け付けていません

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks

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

要約 さまざまなアプリケーションで深層学習アルゴリズムが普及しているため、敵対的 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks はコメントを受け付けていません

LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision

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

要約 私たちは、高レベルのロジック仕様を活用してビデオ データの豊富な空間的およ … 続きを読む →

カテゴリー: cs.CV, cs.LG, cs.LO | LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision はコメントを受け付けていません

Formally Verified Approximate Policy Iteration

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

要約 対話型定理証明器 Isabelle/HOL を使用して、因数分解マルコフ決 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Formally Verified Approximate Policy Iteration はコメントを受け付けていません