Enhancing Transformers for Generalizable First-Order Logical Entailment | Paper Citation Record

Observation f2510d08-8b15-4990-8191-9dcb5ab6ce97 · outbound

This paper cites online" 'onlinestring :=.

Enhancing Transformers for Generalizable First-Order Logical Entailment online" 'onlinestring :=

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.376031Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b3f6445-5438-4219-afbf-991a7d91bb23 · outbound

This paper cites write newline.

Enhancing Transformers for Generalizable First-Order Logical Entailment write newline

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.382047Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1e05e4e-d964-49e7-8c45-dfa63af7af3e · outbound

This paper cites Complex Query Answering with Neural Link Predictors.

Enhancing Transformers for Generalizable First-Order Logical Entailment Complex Query Answering with Neural Link Predictors

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.387332Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 388b0e68-a4e9-4091-b29c-fa9572053c8b · outbound

This paper cites AutoSchemaKG: Autonomous Knowledge Graph Construction through Dynamic Schema Induction from Web-Scale Corpora.

Enhancing Transformers for Generalizable First-Order Logical Entailment AutoSchemaKG: Autonomous Knowledge Graph Construction through Dynamic Schema Induction from Web-Scale Corpora

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.392779Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43c2acc9-d56c-409a-bacf-b3b85bce421d · outbound

This paper cites Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints.

Enhancing Transformers for Generalizable First-Order Logical Entailment Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints

Reference 5

Resolution: verified exact; local_arxiv, observed 2026-08-10T22:48:55.328646Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a5279d17-cd4b-4617-a728-6b77dd0c8d3c · outbound

This paper cites Advancing Abductive Reasoning in Knowledge Graphs through Complex Logical Hypothesis Generation.

Enhancing Transformers for Generalizable First-Order Logical Entailment Advancing Abductive Reasoning in Knowledge Graphs through Complex Logical Hypothesis Generation

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-08-10T22:48:55.302649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 5c0112f6-ee47-4b8b-af9f-70a74c8231bd · outbound

This paper cites Top Ten Challenges Towards Agentic Neural Graph Databases.

Enhancing Transformers for Generalizable First-Order Logical Entailment Top Ten Challenges Towards Agentic Neural Graph Databases

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.407861Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b43f838-3001-487d-a78b-ed6f853d5da8 · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:48:55.533736Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b8c8499f-ade3-47f5-b8ea-b9a45bb9e5c3 · outbound

This paper cites Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization.

Enhancing Transformers for Generalizable First-Order Logical Entailment Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization

Reference 9

Resolution: verified exact; local_arxiv, observed 2026-08-10T22:48:55.263728Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 258a1e9a-8666-4a48-a5a3-2c3bdb5833be · outbound

This paper cites Measuring abstract reasoning in neural networks.

Enhancing Transformers for Generalizable First-Order Logical Entailment Measuring abstract reasoning in neural networks

Reference 10

Resolution: verified exact; local_arxiv, observed 2026-08-10T22:48:55.239976Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 4c2bf31d-ece6-405c-ae35-1baded00af21 · outbound

This paper cites Abductive Commonsense Reasoning.

Enhancing Transformers for Generalizable First-Order Logical Entailment Abductive Commonsense Reasoning

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.427532Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87919490-4f02-41a8-b252-8c49bfff15e7 · outbound

This paper cites Bollacker, Colin Evans, Praveen K.

Enhancing Transformers for Generalizable First-Order Logical Entailment Bollacker, Colin Evans, Praveen K

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:48:55.519639Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 1d6da806-4b42-4caa-9a81-444c15c1f04d · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.437341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19c59650-0ec8-4278-8350-32ce61371d0c · outbound

This paper cites A large annotated corpus for learning natural language inference.

Enhancing Transformers for Generalizable First-Order Logical Entailment A large annotated corpus for learning natural language inference

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.441942Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 829ba50b-4b06-4b30-bde9-ab900919879a · outbound

This paper cites Hruschka, and Tom M.

Enhancing Transformers for Generalizable First-Order Logical Entailment Hruschka, and Tom M

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:48:55.495277Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7cbbbaa4-ce92-406b-a5c8-e88b9ddf7e05 · outbound

This paper cites Learning Language Representations with Logical Inductive Bias.

Enhancing Transformers for Generalizable First-Order Logical Entailment Learning Language Representations with Logical Inductive Bias

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-08-10T22:48:55.184505Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7a5ad21a-fa0a-421f-b8d4-5a7ab736e090 · outbound

This paper cites Fuzzy Logic Based Logical Query Answering on Knowledge Graphs.

Enhancing Transformers for Generalizable First-Order Logical Entailment Fuzzy Logic Based Logical Query Answering on Knowledge Graphs

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.456949Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bfd12e82-d5d6-4bb5-b2ec-d99d6a5585cd · outbound

This paper cites Transformers as Soft Reasoners over Language.

Enhancing Transformers for Generalizable First-Order Logical Entailment Transformers as Soft Reasoners over Language

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.461267Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cfd54191-a452-4cdb-9b70-1ea35bcf437e · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:48:55.479582Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 2eeeab3e-8169-4413-80f3-1d6293afe3bf · outbound

This paper cites Universal Transformers.

Enhancing Transformers for Generalizable First-Order Logical Entailment Universal Transformers

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.470663Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd918cc8-d964-479c-a9b7-5577a12a3e47 · outbound

This paper cites BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding.

Enhancing Transformers for Generalizable First-Order Logical Entailment BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.475189Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 595309ea-d365-4a22-9258-56360bdb085d · outbound

This paper cites Legal Rule Induction: Towards Generalizable Principle Discovery from Analogous Judicial Precedents.

Enhancing Transformers for Generalizable First-Order Logical Entailment Legal Rule Induction: Towards Generalizable Principle Discovery from Analogous Judicial Precedents

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-08-10T22:48:55.077002Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation c275acf6-d11a-4bf3-9f80-75227474ba1c · outbound

This paper cites Complex Reasoning over Logical Queries on Commonsense Knowledge Graphs.

Enhancing Transformers for Generalizable First-Order Logical Entailment Complex Reasoning over Logical Queries on Commonsense Knowledge Graphs

Reference 23

Resolution: verified exact; local_arxiv, observed 2026-08-10T22:48:55.011280Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 600c56d5-81a3-403c-8d3d-ac1000fed9a0 · outbound

This paper cites Controllable Logical Hypothesis Generation for Abductive Reasoning in Knowledge Graphs.

Enhancing Transformers for Generalizable First-Order Logical Entailment Controllable Logical Hypothesis Generation for Abductive Reasoning in Knowledge Graphs

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.489077Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d36c8d2-227c-4067-a042-72a8f2a715d2 · outbound

This paper cites Embedding Logical Queries on Knowledge Graphs.

Enhancing Transformers for Generalizable First-Order Logical Entailment Embedding Logical Queries on Knowledge Graphs

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.494911Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6994d98a-9873-4327-a956-e4e5b5a523fb · outbound

This paper cites FOLIO: Natural Language Reasoning with First-Order Logic.

Enhancing Transformers for Generalizable First-Order Logical Entailment FOLIO: Natural Language Reasoning with First-Order Logic

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.499200Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e810c02-7b54-4daa-9536-b5995912cbed · outbound

This paper cites DeBERTa: Decoding-enhanced BERT with Disentangled Attention.

Enhancing Transformers for Generalizable First-Order Logical Entailment DeBERTa: Decoding-enhanced BERT with Disentangled Attention

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.503917Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1441eb60-cc7b-4c4b-b6bc-9e515357dbbd · outbound

This paper cites Measuring Mathematical Problem Solving With the MATH Dataset.

Enhancing Transformers for Generalizable First-Order Logical Entailment Measuring Mathematical Problem Solving With the MATH Dataset

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.508543Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fafdb3fd-c9e9-4609-8c51-c53d065e81d4 · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.513337Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6745e3a5-80a3-4ba3-b572-14fc0cffbb0c · outbound

This paper cites Towards a Mechanistic Interpretation of Multi-Step Reasoning Capabilities of Language Models.

Enhancing Transformers for Generalizable First-Order Logical Entailment Towards a Mechanistic Interpretation of Multi-Step Reasoning Capabilities of Language Models

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.517542Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0934914-3611-4a81-8e79-8846ee1cabf5 · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 31

Resolution: verified exact; doi, observed 2026-08-10T22:48:53.863511Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 27ffebf2-5138-454e-bba1-426f2d3e5b5b · outbound

This paper cites Deep Learning for Symbolic Mathematics.

Enhancing Transformers for Generalizable First-Order Logical Entailment Deep Learning for Symbolic Mathematics

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.526498Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c440deb8-e179-48d2-ad33-4845772bf15e · outbound

This paper cites Patterns Over Principles: The Fragility of Inductive Reasoning in LLMs under Noisy Observations.

Enhancing Transformers for Generalizable First-Order Logical Entailment Patterns Over Principles: The Fragility of Inductive Reasoning in LLMs under Noisy Observations

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.532307Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcee32a8-c733-4606-aa7b-3a0dc23abab1 · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.537502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dfa0f5ce-b0cb-47d8-832b-40d94f2f1d16 · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.542108Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96e1efa5-ff2d-4aec-9f27-2c6e8340f02f · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:48:55.454904Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 1d932ef6-9c62-429d-826c-d1f8759fef38 · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.551151Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e342394-b7dc-48e4-9533-c8b3410697bb · outbound

This paper cites Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning.

Enhancing Transformers for Generalizable First-Order Logical Entailment Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.555650Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ab0e704-cf2f-4298-af86-26d990931283 · outbound

This paper cites LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models.

Enhancing Transformers for Generalizable First-Order Logical Entailment LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.560481Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32477ec1-d8ff-45f8-9c74-e73dd036cfc8 · outbound

This paper cites Generative Language Modeling for Automated Theorem Proving.

Enhancing Transformers for Generalizable First-Order Logical Entailment Generative Language Modeling for Automated Theorem Proving

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.565194Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e01bc3e-9d39-44c4-bb31-64486ae45815 · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:48:55.439765Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation bb4dfabd-f216-4476-b890-4893feb83d12 · outbound

This paper cites Neural Graph Reasoning: Complex Logical Query Answering Meets Graph Databases.

Enhancing Transformers for Generalizable First-Order Logical Entailment Neural Graph Reasoning: Complex Logical Query Answering Meets Graph Databases

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.574408Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36441285-9e21-4f4a-972f-2b2679e97f98 · outbound

This paper cites Query2box: Reasoning over Knowledge Graphs in Vector Space using Box Embeddings.

Enhancing Transformers for Generalizable First-Order Logical Entailment Query2box: Reasoning over Knowledge Graphs in Vector Space using Box Embeddings

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.578928Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f248dda-7f21-492f-88d7-b13bf925c6e3 · outbound

This paper cites Beta Embeddings for Multi-Hop Logical Reasoning in Knowledge Graphs.

Enhancing Transformers for Generalizable First-Order Logical Entailment Beta Embeddings for Multi-Hop Logical Reasoning in Knowledge Graphs

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.583604Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8253f8a0-411c-48d0-89f6-2788a6caf284 · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:48:55.423154Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7df90c10-ba99-4922-b53f-5ff5efd33412 · outbound

This paper cites Analysing Mathematical Reasoning Abilities of Neural Models.

Enhancing Transformers for Generalizable First-Order Logical Entailment Analysing Mathematical Reasoning Abilities of Neural Models

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.593126Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f37a3066-1c68-44d0-bbf9-f0511115a0d4 · outbound

This paper cites Self-Attention with Relative Position Representations.

Enhancing Transformers for Generalizable First-Order Logical Entailment Self-Attention with Relative Position Representations

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.597870Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2604701f-245e-4768-9025-4d29fea48ff7 · outbound

This paper cites RoFormer: Enhanced Transformer with Rotary Position Embedding.

Enhancing Transformers for Generalizable First-Order Logical Entailment RoFormer: Enhanced Transformer with Rotary Position Embedding

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.602640Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7dc4068a-303a-47f5-901d-b1a0df93e4f2 · outbound

This paper cites Faithful Embeddings for Knowledge Base Queries.

Enhancing Transformers for Generalizable First-Order Logical Entailment Faithful Embeddings for Knowledge Base Queries

Reference 49

Resolution: metadata mismatch; local_arxiv, observed 2026-08-10T22:48:54.623102Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e8792e34-9edd-4b43-a463-506111a5c95e · outbound

This paper cites Rethinking the Inception Architecture for Computer Vision.

Enhancing Transformers for Generalizable First-Order Logical Entailment Rethinking the Inception Architecture for Computer Vision

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.611947Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf121a17-9ca5-424f-91f7-c5207a315f83 · outbound

This paper cites Towards Autonomous Hypothesis Verification via Language Models with Minimal Guidance.

Enhancing Transformers for Generalizable First-Order Logical Entailment Towards Autonomous Hypothesis Verification via Language Models with Minimal Guidance

Reference 51

Resolution: verified exact; local_arxiv, observed 2026-08-10T22:48:54.581002Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7f704d27-b2aa-420b-a2d1-5809fed1537d · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.622018Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6c810a0-2186-4d64-bb55-41ea88eeef0e · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.626489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66fe0464-7d44-4dfb-b429-2a5af99f1d22 · outbound

This paper cites Complex Embeddings for Simple Link Prediction.

Enhancing Transformers for Generalizable First-Order Logical Entailment Complex Embeddings for Simple Link Prediction

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.631176Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3581dd2-5807-4936-a213-f5a1c7146149 · outbound

This paper cites Transformers for Complex Query Answering over Knowledge Hypergraphs.

Enhancing Transformers for Generalizable First-Order Logical Entailment Transformers for Complex Query Answering over Knowledge Hypergraphs

Reference 55

Resolution: verified exact; local_arxiv, observed 2026-08-10T22:48:54.536477Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 46ab2062-a3cd-448e-94e5-22b324a50696 · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 56

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:48:55.391506Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a1ec954d-076c-425e-b313-2fb9c4cff592 · outbound

This paper cites Attention Is All You Need.

Enhancing Transformers for Generalizable First-Order Logical Entailment Attention Is All You Need

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.645560Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08cd6a83-fa9a-4c1d-98fe-70466edae396 · outbound

This paper cites Label Words are Anchors: An Information Flow Perspective for Understanding In-Context Learning.

Enhancing Transformers for Generalizable First-Order Logical Entailment Label Words are Anchors: An Information Flow Perspective for Understanding In-Context Learning

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.650325Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bfe05ace-7c1f-4dee-a65c-c72bfccd54d6 · outbound

This paper cites Logical Message Passing Networks with One-hop Inference on Atomic Formulas.

Enhancing Transformers for Generalizable First-Order Logical Entailment Logical Message Passing Networks with One-hop Inference on Atomic Formulas

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.655021Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f6e8d61-8bf9-4096-80ac-7bf9a45f51c6 · outbound

This paper cites Benchmarking the Combinatorial Generalizability of Complex Query Answering on Knowledge Graphs.

Enhancing Transformers for Generalizable First-Order Logical Entailment Benchmarking the Combinatorial Generalizability of Complex Query Answering on Knowledge Graphs

Reference 60

Resolution: verified exact; local_arxiv, observed 2026-08-10T22:48:54.458770Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b7bc62df-58c0-4af8-918c-d9585273ed51 · outbound

This paper cites A Broad-Coverage Challenge Corpus for Sentence Understanding through Inference.

Enhancing Transformers for Generalizable First-Order Logical Entailment A Broad-Coverage Challenge Corpus for Sentence Understanding through Inference

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.664466Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26ca416a-34f8-4f48-b942-b422bec87b7f · outbound

This paper cites How Powerful are Graph Neural Networks?.

Enhancing Transformers for Generalizable First-Order Logical Entailment How Powerful are Graph Neural Networks?

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.669043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65804993-f43e-49cc-938b-8a6f3af4f1d2 · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 63

Resolution: verified exact; doi, observed 2026-08-10T22:48:53.807037Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 3e67a497-2f02-49aa-a8a5-8219f80d9a35 · outbound

This paper cites Embedding Entities and Relations for Learning and Inference in Knowledge Bases.

Enhancing Transformers for Generalizable First-Order Logical Entailment Embedding Entities and Relations for Learning and Inference in Knowledge Bases

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.679933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 601fc870-6dc9-48a6-a042-c5503c1a66f8 · outbound

This paper cites KG-BERT: BERT for Knowledge Graph Completion.

Enhancing Transformers for Generalizable First-Order Logical Entailment KG-BERT: BERT for Knowledge Graph Completion

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.685650Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0e8b88d-2583-4789-af0d-21fd613b85f9 · outbound

This paper cites $\text{EFO}_{k}$-CQA: Towards Knowledge Graph Complex Query Answering beyond Set Operation.

Enhancing Transformers for Generalizable First-Order Logical Entailment $\text{EFO}_{k}$-CQA: Towards Knowledge Graph Complex Query Answering beyond Set Operation

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.691107Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23e7e851-ec50-4927-a35a-a10b184e668a · outbound

This paper cites Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors.

Enhancing Transformers for Generalizable First-Order Logical Entailment Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors

Reference 67

Resolution: verified exact; local_arxiv, observed 2026-08-10T22:48:54.345572Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation f1e0a69a-58b1-4b8a-813d-ce68d08bdc3a · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.701420Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d387847e-4ced-4c69-9bd6-3cc51b6dd538 · outbound

This paper cites ConE: Cone Embeddings for Multi-Hop Reasoning over Knowledge Graphs.

Enhancing Transformers for Generalizable First-Order Logical Entailment ConE: Cone Embeddings for Multi-Hop Reasoning over Knowledge Graphs

Reference 69

Resolution: verified exact; local_arxiv, observed 2026-08-10T22:48:54.202352Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 5bef7499-8941-4e7d-a717-948cbb3e58b9 · outbound

This paper cites UNcommonsense Reasoning: Abductive Reasoning about Uncommon Situations.

Enhancing Transformers for Generalizable First-Order Logical Entailment UNcommonsense Reasoning: Abductive Reasoning about Uncommon Situations

Reference 70

Resolution: metadata mismatch; local_arxiv, observed 2026-08-10T22:48:54.177900Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 981e7eba-1d41-4abd-beff-1d68af37d91c · outbound

This paper cites CLR-Fact: Evaluating the Complex Logical Reasoning Capability of Large Language Models over Factual Knowledge.

Enhancing Transformers for Generalizable First-Order Logical Entailment CLR-Fact: Evaluating the Complex Logical Reasoning Capability of Large Language Models over Factual Knowledge

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.715723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a02818a-2d07-47e2-ab34-72f1a4e94271 · outbound

This paper cites Wong, and Simon See.

Enhancing Transformers for Generalizable First-Order Logical Entailment Wong, and Simon See

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.720565Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c4f8347-639c-4cc5-9df0-698126f8f529 · outbound

This paper cites Wong, and Simon See.

Enhancing Transformers for Generalizable First-Order Logical Entailment Wong, and Simon See

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.725555Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4283052-ddcf-4ceb-90bb-a4e8302004c3 · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.730517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b45b538f-79ea-4884-b7e8-b901458387f9 · outbound

This paper cites KnowShiftQA: How Robust are RAG Systems when Textbook Knowledge Shifts in K-12 Education?.

Enhancing Transformers for Generalizable First-Order Logical Entailment KnowShiftQA: How Robust are RAG Systems when Textbook Knowledge Shifts in K-12 Education?

Reference 75

Resolution: verified exact; local_arxiv, observed 2026-08-10T22:48:53.925966Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 80cbbd55-1d4c-411a-b94a-01d1907069f3 · outbound

This paper cites Neural-Symbolic Models for Logical Queries on Knowledge Graphs.

Enhancing Transformers for Generalizable First-Order Logical Entailment Neural-Symbolic Models for Logical Queries on Knowledge Graphs

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-10T22:48:53.740714Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df84f7a4-a228-4be6-b597-3a40a0b1f08c · outbound

This paper cites ComparisonQA: Evaluating Factuality Robustness of LLMs Through Knowledge Frequency Control and Uncertainty.

Enhancing Transformers for Generalizable First-Order Logical Entailment ComparisonQA: Evaluating Factuality Robustness of LLMs Through Knowledge Frequency Control and Uncertainty

Reference 77

Resolution: verified exact; local_arxiv, observed 2026-08-10T22:48:53.886860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation c65f8b8b-440b-4b99-a84d-90e0c9e7e6f4 · outbound

This paper cites an unresolved cited work.

Enhancing Transformers for Generalizable First-Order Logical Entailment Unresolved cited work

Reference 78

Resolution: verified exact; doi, observed 2026-08-10T22:48:53.791029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers