「I.2.3」カテゴリーアーカイブ

Faithful Logic Embeddings in HOL — A recipe to have it all: deep and shallow, automated and interactive, heavy and light, proofs and counterexamples, meta and object level

投稿日: 2025年2月27日 作成者: jarxiv

要約 古典的な高次ロジックにおける非古典的なロジックの深く浅い埋め込みは、近年、 … 続きを読む →

カテゴリー: 03Axx, 03B15, 03Bxx, 68T15, cs.AI, cs.LO, cs.MS, I.2.3, math.LO | Faithful Logic Embeddings in HOL — A recipe to have it all: deep and shallow, automated and interactive, heavy and light, proofs and counterexamples, meta and object level はコメントを受け付けていません

Galois groups of polynomials and neurosymbolic networks

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

要約 この論文では、代数の基礎分野の 1 つであるガロア理論を、機械学習のレンズ … 続きを読む →

カテゴリー: cs.AI, cs.LG, I.2.3, math.HO | Galois groups of polynomials and neurosymbolic networks はコメントを受け付けていません

A logic for reasoning with inconsistent knowledge — A reformulation using nowadays terminology (2024)

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

要約 多くの状況で、人間は一貫性のない知識をもとに推論しなければなりません。 こ … 続きを読む →

カテゴリー: 68T27, 68T30, cs.AI, I.2.3 | A logic for reasoning with inconsistent knowledge — A reformulation using nowadays terminology (2024) はコメントを受け付けていません

A logic for reasoning with inconsistent knowledge — A reformulation using nowadays terminology (2024)

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

要約 多くの状況で、人間は一貫性のない知識をもとに推論しなければなりません。 こ … 続きを読む →

カテゴリー: 68T27, 68T30, cs.AI, I.2.3 | A logic for reasoning with inconsistent knowledge — A reformulation using nowadays terminology (2024) はコメントを受け付けていません

DISCO: DISCovering Overfittings as Causal Rules for Text Classification Models

投稿日: 2024年11月8日 作成者: jarxiv

要約 ニューラル言語モデルの急速な進歩に伴い、過剰にパラメータ化されたモデルの導 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, I.2.3 | DISCO: DISCovering Overfittings as Causal Rules for Text Classification Models はコメントを受け付けていません

Ensuring Both Positivity and Stability Using Sector-Bounded Nonlinearity for Systems with Neural Network Controllers

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

要約 この論文では、完全接続フィードフォワード ニューラル ネットワーク (FF … 続きを読む →

カテゴリー: cs.AI, cs.SY, eess.SY, I.2.3, math.OC | Ensuring Both Positivity and Stability Using Sector-Bounded Nonlinearity for Systems with Neural Network Controllers はコメントを受け付けていません

Earthfarseer: Versatile Spatio-Temporal Dynamical Systems Modeling in One Model

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

要約 時空間（ST）物理プロセスと観測を効率的にモデル化することは、ディープラー … 続きを読む →

カテゴリー: cs.AI, I.2.3 | Earthfarseer: Versatile Spatio-Temporal Dynamical Systems Modeling in One Model はコメントを受け付けていません

Teaching Higher-Order Logic Using Isabelle

投稿日: 2024年4月9日 作成者: jarxiv

要約 私たちは、基本的なフレームワーク Isabelle/Pure に直接構築さ … 続きを読む →

カテゴリー: cs.AI, cs.LO, I.2.3 | Teaching Higher-Order Logic Using Isabelle はコメントを受け付けていません

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

Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving

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

要約 数学とその応用には概念が豊富にあります。 それらは主題分野によって大きく異 … 続きを読む →

カテゴリー: 68T07, cs.AI, cs.LG, I.2.3 | Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving はコメントを受け付けていません