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

Learning Language Representations with Logical Inductive Bias

投稿日: 2023年2月21日 作成者: jarxiv

要約 Transformer アーキテクチャは、大規模なラベルのないテキストから … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.LO | Learning Language Representations with Logical Inductive Bias はコメントを受け付けていません

Weighted First Order Model Counting with Directed Acyclic Graph Axioms

投稿日: 2023年2月21日 作成者: jarxiv

要約 Weighted First Order Model Counting ( … 続きを読む →

カテゴリー: cs.AI, cs.CC, cs.LO, math.CO | Weighted First Order Model Counting with Directed Acyclic Graph Axioms はコメントを受け付けていません

T-Norms Driven Loss Functions for Machine Learning

投稿日: 2023年2月16日 作成者: jarxiv

要約 ニューラル シンボリック アプローチは、データからこの知識を誘導する必要な … 続きを読む →

カテゴリー: cs.AI, cs.LO | T-Norms Driven Loss Functions for Machine Learning はコメントを受け付けていません

Language Model Analysis for Ontology Subsumption Inference

投稿日: 2023年2月15日 作成者: jarxiv

要約 事前訓練された言語モデル (LM) は、さまざまな自然言語処理 (NLP) … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | Language Model Analysis for Ontology Subsumption Inference はコメントを受け付けていません

Neurosymbolic AI for Reasoning on Graph Structures: A Survey

投稿日: 2023年2月15日 作成者: jarxiv

要約 ニューロシンボリック AI は、シンボリック推論法とディープ ラーニングを … 続きを読む →

カテゴリー: cs.AI, cs.LO, stat.ML | Neurosymbolic AI for Reasoning on Graph Structures: A Survey はコメントを受け付けていません

Geometric Model Checking of Continuous Space

投稿日: 2022年10月12日 作成者: jarxiv

要約 トポロジ空間モデル チェックは、モーダル ロジックのトポロジ解釈のためにモ … 続きを読む →

カテゴリー: 68Q60, cs.AI, cs.CV, cs.GR, cs.LO, I.4.6 | Geometric Model Checking of Continuous Space はコメントを受け付けていません

Geometric Model Checking of Continuous Space

投稿日: 2022年10月4日 作成者: jarxiv

要約 トポロジカル空間モデル検査は、モーダル論理のトポロジカルな解釈のためにモデ … 続きを読む →

カテゴリー: 68Q60, cs.AI, cs.CV, cs.GR, cs.LO, I.4.6 | Geometric Model Checking of Continuous Space はコメントを受け付けていません

LogicRank: Logic Induced Reranking for Generative Text-to-Image Systems

投稿日: 2022年8月30日 作成者: jarxiv

要約 テキストから画像へのモデルは、最近、写真のようにリアルな品質の一見正確なサ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.CV, cs.LO, cs.SC | LogicRank: Logic Induced Reranking for Generative Text-to-Image Systems はコメントを受け付けていません