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

Vague Knowledge: Evidence from Analyst Reports

要約 現実の世界の人々は、しばしば将来の見返りに関するあいまいな知識を持っていま … 続きを読む

カテゴリー: (Primary), 03B48, 03B65, 03E02, 03E15, 03E72, 18E45, 28A05, 62F15, 68T01, 68T35, 68T50, 91G30, cs.AI, cs.CL, econ.GN, I.2.3, math.LO, q-fin.EC, q-fin.GN | Vague Knowledge: Evidence from Analyst Reports はコメントを受け付けていません

Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned

要約 MINICALCは、最小限のシーケント計算に基づいて1次ロジックを教えるた … 続きを読む

カテゴリー: cs.AI, cs.LO, I.2.3 | Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned はコメントを受け付けていません

Grokking in the Wild: Data Augmentation for Real-World Multi-Hop Reasoning with Transformers

要約 トランスフォーマーは多数のNLPタスクで大きな成功を収めていますが、特に実 … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LG, I.2.3 | Grokking in the Wild: Data Augmentation for Real-World Multi-Hop Reasoning with Transformers はコメントを受け付けていません

Grokking in the Wild: Data Augmentation for Real-World Multi-Hop Reasoning with Transformers

要約 トランスフォーマーは多数のNLPタスクで大きな成功を収めていますが、特に実 … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LG, I.2.3 | Grokking in the Wild: Data Augmentation for Real-World Multi-Hop Reasoning with Transformers はコメントを受け付けていません

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

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

カテゴリー: 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

要約 この論文では、代数の基礎分野の 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)

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

カテゴリー: 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)

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

カテゴリー: 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

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

カテゴリー: 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

要約 この論文では、完全接続フィードフォワード ニューラル ネットワーク (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 はコメントを受け付けていません