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

Learning big logical rules by joining small rules

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

要約 帰納的論理プログラミングにおける大きな課題は、大きなルールを学習することで … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Learning big logical rules by joining small rules はコメントを受け付けていません

End-To-End Set-Based Training for Neural Network Verification

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

要約 ニューラル ネットワークは敵対的な攻撃に対して脆弱です。つまり、小さな入力 … 続きを読む →

カテゴリー: cs.CR, cs.LG, cs.LO | End-To-End Set-Based Training for Neural Network Verification はコメントを受け付けていません

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning

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

要約 アトリビューション スコアは、入力エンティティの特徴値が機械学習モデルの出 … 続きを読む →

カテゴリー: 68T27, 68T37, cs.AI, cs.LG, cs.LO | The Distributional Uncertainty of the SHAP score in Explainable Machine Learning はコメントを受け付けていません

Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion

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

要約 この論文では、例から構造再帰を学習するトランスフォーマーベースのモデルの機 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.FL, cs.LO, cs.PL | Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion はコメントを受け付けていません

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis

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

要約 リアクティブ合成用のニューロシンボリック ポートフォリオ ソルバー フレー … 続きを読む →

カテゴリー: cs.LG, cs.LO | NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis はコメントを受け付けていません

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving

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

要約 推測と定理の証明は数学的実践の中心となる活動であり、分離するのは困難です。 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.MS | Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving はコメントを受け付けていません

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry

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

要約 自動推論プログラムが新しく興味深い定理を生成および発見できるようにするため … 続きを読む →

カテゴリー: cs.AI, cs.LO, I.2.3 | Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry はコメントを受け付けていません

Extracting Formulae in Many-Valued Logic from Deep Neural Networks

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

要約 我々は、深い ReLU ネットワーク、つまりブール論理の多値 (MV) 一 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Extracting Formulae in Many-Valued Logic from Deep Neural Networks はコメントを受け付けていません

Natural Strategic Ability in Stochastic Multi-Agent Systems

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

要約 形式的な手法を使用して合成された戦略は複雑になる可能性があり、多くの場合、 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Natural Strategic Ability in Stochastic Multi-Agent Systems はコメントを受け付けていません

Proceedings 14th International Conference on Automated Deduction in Geometry

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

要約 ADG は、アイデアや意見を交換し、研究結果と進捗状況を発表し、幾何学と自 … 続きを読む →

カテゴリー: cs.AI, cs.CG, cs.LO, cs.MS | Proceedings 14th International Conference on Automated Deduction in Geometry はコメントを受け付けていません