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

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

投稿日: 2025年5月12日 作成者: jarxiv

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

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

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

投稿日: 2025年5月8日 作成者: jarxiv

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

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

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

投稿日: 2025年4月30日 作成者: jarxiv

要約 トランスフォーマーは多数の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

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