Paper Citation Record · LEDGER

Defining neurosymbolic AI

As of 12 August 2026, this Paper Citation Record lists 75 of 75 outbound references and 5 inbound Pith citation observations for arXiv:2507.11127.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2507.11127 v1

Coverage vector

measured 75 of 75 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T17:22:48.045806Z

measured 80 of 80 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00

measured 5 of 5 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-04T07:59:21.925661Z

measured 1 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

75 of 75 outbound references displayed

verified exact5
verified fuzzy49
unresolved21
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation f39ed903-3742-492e-b578-13f455cb8cfc · outbound

This paper cites write newline.

Defining neurosymbolic AI write newline

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:41.322448Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 921c30cc-ea56-4d22-9ea3-832a5b6a62c2 · outbound

This paper cites @esa (Ref.

Defining neurosymbolic AI @esa (Ref

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:41.397340Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b968860e-2224-4205-8c6b-beb153bfd116 · outbound

This paper cites an unresolved cited work.

Defining neurosymbolic AI Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:41.481621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf868bb8-8093-4904-bf87-d3abee46338e · outbound

This paper cites an unresolved cited work.

Defining neurosymbolic AI Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:22:58.261396Z

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 0ffa11d5-7e5f-428d-86b2-3d716a89b520 · outbound

This paper cites Semantic probabilistic layers for neuro-symbolic learning.

Defining neurosymbolic AI Semantic probabilistic layers for neuro-symbolic learning

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:58.147408Z

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 9d2a9893-a4ab-4da1-b5cb-de1a87dc6196 · outbound

This paper cites Visual sudoku puzzle classification: A suite of collective neuro-symbolic tasks.

Defining neurosymbolic AI Visual sudoku puzzle classification: A suite of collective neuro-symbolic tasks

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:58.022453Z

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 ef604141-a875-480d-bc26-8ec83414c429 · outbound

This paper cites $\Pi$-NeSy: A Possibilistic Neuro-Symbolic Approach.

Defining neurosymbolic AI $\Pi$-NeSy: A Possibilistic Neuro-Symbolic Approach

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:41.758636Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b481df85-4953-453a-a205-260c2a433e9a · outbound

This paper cites Dimensions of Neural-symbolic Integration - A Structured Survey.

Defining neurosymbolic AI Dimensions of Neural-symbolic Integration - A Structured Survey

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:41.837083Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ec64895-7a16-420e-85a6-58449b30c8fd · outbound

This paper cites Logic tensor networks.

Defining neurosymbolic AI Logic tensor networks

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:41.932544Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0184c1df-c18b-4b61-8495-eb4cf3676154 · outbound

This paper cites Probabilistic inference in hybrid domains by weighted model integration.

Defining neurosymbolic AI Probabilistic inference in hybrid domains by weighted model integration

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:57.888467Z

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 5559165e-fbc5-41c8-94a9-e2940fd3d7b1 · outbound

This paper cites Neural-Symbolic Learning and Reasoning: A Survey and Interpretation.

Defining neurosymbolic AI Neural-Symbolic Learning and Reasoning: A Survey and Interpretation

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:42.094851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ffa93f23-144a-4a8c-a6d2-56be54a77373 · outbound

This paper cites On probabilistic inference by weighted model counting.

Defining neurosymbolic AI On probabilistic inference by weighted model counting

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:57.760735Z

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 7ec600cc-93dd-4cb7-bf7d-329385bda3e3 · outbound

This paper cites Probabilistic circuits: A unifying framework for tractable probabilistic models.

Defining neurosymbolic AI Probabilistic circuits: A unifying framework for tractable probabilistic models

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:57.614633Z

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 d7441ada-08f0-4156-9de5-714c911ea1ae · outbound

This paper cites Theory of capacities.

Defining neurosymbolic AI Theory of capacities

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:57.448378Z

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 93df62d6-4e15-4c28-9861-d608be65b7ed · outbound

This paper cites Tensorlog: A probabilistic database implemented using deep-learning infrastructure.

Defining neurosymbolic AI Tensorlog: A probabilistic database implemented using deep-learning infrastructure

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:57.295301Z

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 999f08ab-2a3e-4e49-990b-b059b9e30be6 · outbound

This paper cites A Review of Some Techniques for Inclusion of Domain-Knowledge into Deep Neural Networks.

Defining neurosymbolic AI A Review of Some Techniques for Inclusion of Domain-Knowledge into Deep Neural Networks

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-08-06T17:22:49.081145Z

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 0d6ad5e8-144d-41f8-814c-0967323ab77f · outbound

This paper cites d'Avila Garcez, Marco Gori, Lu \' s C.

Defining neurosymbolic AI d'Avila Garcez, Marco Gori, Lu \' s C

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:57.112741Z

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 9dc144ce-5b71-417c-876f-1b5568f11805 · outbound

This paper cites Compositional approach to translate ltlf/ldlf into deterministic finite automata.

Defining neurosymbolic AI Compositional approach to translate ltlf/ldlf into deterministic finite automata

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:56.973521Z

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 8c614a8e-3300-40ce-afb0-d22f65ac2179 · outbound

This paper cites Linear temporal logic and linear dynamic logic on finite traces.

Defining neurosymbolic AI Linear temporal logic and linear dynamic logic on finite traces

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:56.829601Z

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 2e457aea-d401-4980-80a9-bac37118543f · outbound

This paper cites Statistical Relational Artificial Intelligence: Logic, Probability, and Computation.

Defining neurosymbolic AI Statistical Relational Artificial Intelligence: Logic, Probability, and Computation

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:43.035083Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a1572d7-7f71-4466-a8e9-5e7cb6df0f8f · outbound

This paper cites From statistical relational to neuro-symbolic artificial intelligence.

Defining neurosymbolic AI From statistical relational to neuro-symbolic artificial intelligence

Reference 21

Resolution: verified exact; doi, observed 2026-08-06T17:22:48.518230Z

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 c82efb0c-d866-48ea-bd5b-fa0e8340e241 · outbound

This paper cites Neural probabilistic logic programming in discrete-continuous domains.

Defining neurosymbolic AI Neural probabilistic logic programming in discrete-continuous domains

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:56.691007Z

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 8d268ea1-77e8-4d13-93f5-729536735b2d · outbound

This paper cites Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs.

Defining neurosymbolic AI Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:43.415552Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82e297e1-8d19-4f7c-ad7f-68456bd85e72 · outbound

This paper cites Semantic-based regularization for learning and inference.

Defining neurosymbolic AI Semantic-based regularization for learning and inference

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:56.548805Z

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 c647f371-5e05-410e-897a-c7daf3d4a0aa · outbound

This paper cites Neural logic machines.

Defining neurosymbolic AI Neural logic machines

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:56.372510Z

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 b016cd7f-47d0-4b5e-a96a-6c45d5877c6d · outbound

This paper cites Declarative probabilistic logic programming in discrete-continuous domains.

Defining neurosymbolic AI Declarative probabilistic logic programming in discrete-continuous domains

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:56.227888Z

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 d445da21-dfad-4579-beb4-bbf8952e8723 · outbound

This paper cites A brief overview of possibilistic logic.

Defining neurosymbolic AI A brief overview of possibilistic logic

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:56.049049Z

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 703e6610-e828-4229-a63a-395180e6013c · outbound

This paper cites Dl2: training and querying neural networks with logic.

Defining neurosymbolic AI Dl2: training and querying neural networks with logic

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:43.895640Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2317cff-93c5-437a-bfa5-32b492c6a4f4 · outbound

This paper cites an unresolved cited work.

Defining neurosymbolic AI Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:44.002347Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d76bda30-c907-4e04-92c5-524c03c71b6e · outbound

This paper cites Neural-symbolic learning and reasoning: a survey and interpretation.

Defining neurosymbolic AI Neural-symbolic learning and reasoning: a survey and interpretation

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:55.885107Z

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 1a28ccd2-f05c-4464-a331-9b7a9fa09974 · outbound

This paper cites The stable model semantics for logic programming.

Defining neurosymbolic AI The stable model semantics for logic programming

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:55.646305Z

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 4fe4e327-6277-440a-aaff-584385a80304 · outbound

This paper cites Theory of t-norms and fuzzy inference methods.

Defining neurosymbolic AI Theory of t-norms and fuzzy inference methods

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:55.406915Z

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 b9aaa819-3c5b-44e0-a075-d6ba9b976263 · outbound

This paper cites Kamruzzaman Sarker, editors.

Defining neurosymbolic AI Kamruzzaman Sarker, editors

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:44.380404Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 134f4b46-5670-434e-bee4-9a622b22eebd · outbound

This paper cites Toward a broad AI.

Defining neurosymbolic AI Toward a broad AI

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:55.216732Z

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 adaa11dc-7948-4966-9f23-cdeb9b4daee0 · outbound

This paper cites Valid text-to-sql generation with unification-based deepstochlog.

Defining neurosymbolic AI Valid text-to-sql generation with unification-based deepstochlog

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:54.992974Z

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 d48581d6-a90c-42b8-bf16-489ace6686fc · outbound

This paper cites an unresolved cited work.

Defining neurosymbolic AI Unresolved cited work

Reference 36

Resolution: verified exact; doi, observed 2026-08-06T17:22:48.362836Z

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 e2475e29-e02e-4a89-9c60-bc7bbb43209e · outbound

This paper cites Algebraic model counting.

Defining neurosymbolic AI Algebraic model counting

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:44.725089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67d903bb-6eb2-4605-9623-554e9c64050c · outbound

This paper cites Inductive Learning of Answer Set Programs from Noisy Examples.

Defining neurosymbolic AI Inductive Learning of Answer Set Programs from Noisy Examples

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:44.862285Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8dcfef2a-6a97-4296-8224-c28fc1163199 · outbound

This paper cites Scallop: A language for neurosymbolic programming.

Defining neurosymbolic AI Scallop: A language for neurosymbolic programming

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:54.774794Z

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 69b40b01-0d16-44db-802f-3db87411525c · outbound

This paper cites Investigations into the sentential calculus.

Defining neurosymbolic AI Investigations into the sentential calculus

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:54.608878Z

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 f1056652-834b-4dbe-a7d9-1249912ddeab · outbound

This paper cites Soft-unification in deep probabilistic logic.

Defining neurosymbolic AI Soft-unification in deep probabilistic logic

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:54.444600Z

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 324f1d2c-f0b3-434c-a804-0518873508f2 · outbound

This paper cites NeSyA: Neurosymbolic Automata.

Defining neurosymbolic AI NeSyA: Neurosymbolic Automata

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:45.283421Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c6d1f21-3cc0-44a9-b265-8010911fa6cd · outbound

This paper cites DeepProbLog: neural probabilistic logic programming.

Defining neurosymbolic AI DeepProbLog: neural probabilistic logic programming

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:54.263170Z

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 08008f43-27da-4276-92a6-c3b974622f79 · outbound

This paper cites Neural probabilistic logic programming in DeepProbLog.

Defining neurosymbolic AI Neural probabilistic logic programming in DeepProbLog

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:45.735886Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c162a277-0245-415d-9c59-f1990a648a7a · outbound

This paper cites Neural markov logic networks.

Defining neurosymbolic AI Neural markov logic networks

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:54.119905Z

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 aaee2d1d-c403-48f9-98ef-b8b503a38134 · outbound

This paper cites Integrating learning and reasoning with deep logic models.

Defining neurosymbolic AI Integrating learning and reasoning with deep logic models

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:53.938032Z

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 efaee393-6982-4bfd-920e-a62ebf3acca8 · outbound

This paper cites From statistical relational to neurosymbolic artificial intelligence: A survey.

Defining neurosymbolic AI From statistical relational to neurosymbolic artificial intelligence: A survey

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:53.761630Z

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 7c638063-4ce9-4694-8611-7d6aeb281fdb · outbound

This paper cites A semantic framework for neurosymbolic computation.

Defining neurosymbolic AI A semantic framework for neurosymbolic computation

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:53.549451Z

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 1808f4d4-2b1d-4809-9079-da4cbc9a8007 · outbound

This paper cites NeuPSL: Neural Probabilistic Soft Logic.

Defining neurosymbolic AI NeuPSL: Neural Probabilistic Soft Logic

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:46.451091Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 269b06c3-c739-4f3d-9cfa-aef97ab33236 · outbound

This paper cites End-to-end differentiable proving.

Defining neurosymbolic AI End-to-end differentiable proving

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:53.376685Z

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 57828cef-169b-441c-9c47-2fe57190bd52 · outbound

This paper cites On the semantics of fuzzy logic.

Defining neurosymbolic AI On the semantics of fuzzy logic

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:53.179154Z

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 3b9c7264-5890-414c-8b38-13c9c976826b · outbound

This paper cites Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge.

Defining neurosymbolic AI Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:46.615198Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e75a9ab-6a17-4b1a-8e99-5c339eafad9a · outbound

This paper cites Conditional sum-product networks: Imposing structure on deep probabilistic architectures.

Defining neurosymbolic AI Conditional sum-product networks: Imposing structure on deep probabilistic architectures

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:53.048215Z

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 241a3c7c-b21a-4bfd-bd5a-538147f060ab · outbound

This paper cites ilp: thinking visual scenes as differentiable logic programs.

Defining neurosymbolic AI ilp: thinking visual scenes as differentiable logic programs

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:52.879283Z

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 e2a29ef5-e643-4f6b-b2ae-57214362443e · outbound

This paper cites Neural-Probabilistic Answer Set Programming.

Defining neurosymbolic AI Neural-Probabilistic Answer Set Programming

Reference 55

Resolution: verified exact; doi, observed 2026-08-06T17:22:48.171003Z

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 323cc8b0-f385-46a8-b0e8-51287ffbeeaf · outbound

This paper cites Logic of differentiable logics: Towards a uniform semantics of dl.

Defining neurosymbolic AI Logic of differentiable logics: Towards a uniform semantics of dl

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:52.676919Z

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 f438d68b-893a-42d4-a89e-ee6019376e2a · outbound

This paper cites Lifted relational neural networks: Efficient learning of latent relational structures.

Defining neurosymbolic AI Lifted relational neural networks: Efficient learning of latent relational structures

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:52.509958Z

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 c9bc8a5b-b4f1-4c51-a269-9426798e66d5 · outbound

This paper cites Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraints.

Defining neurosymbolic AI Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraints

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:52.329064Z

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 1849b614-9345-4edf-a4fd-c2f20fe73785 · outbound

This paper cites Fuzzy measure and fuzzy integral.

Defining neurosymbolic AI Fuzzy measure and fuzzy integral

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:52.142755Z

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 35cdf309-a32a-4f99-8cce-8057d699656f · outbound

This paper cites Neurosymbolic motion and task planning for linear temporal logic tasks.

Defining neurosymbolic AI Neurosymbolic motion and task planning for linear temporal logic tasks

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:51.934987Z

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 e3d9979c-b705-43d1-883c-88a959278577 · outbound

This paper cites Neural-symbolic integration: A compositional perspective.

Defining neurosymbolic AI Neural-symbolic integration: A compositional perspective

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:51.681137Z

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 780f8ed1-8714-42e9-a61a-ac852ecf6761 · outbound

This paper cites Modular Design Patterns for Hybrid Learning and Reasoning Systems: a taxonomy, patterns and use cases.

Defining neurosymbolic AI Modular Design Patterns for Hybrid Learning and Reasoning Systems: a taxonomy, patterns and use cases

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:47.221903Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e1c5c30-b4b6-4e7c-8a01-eb792ab135aa · outbound

This paper cites A boxology of design patterns for hybrid learning and reasoning systems.

Defining neurosymbolic AI A boxology of design patterns for hybrid learning and reasoning systems

Reference 63

Resolution: verified exact; raw_fallback, observed 2026-08-06T17:22:48.761788Z

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 89729870-8b52-4b5a-8746-f094958b08bd · outbound

This paper cites Uller: A unified language for learning and reasoning.

Defining neurosymbolic AI Uller: A unified language for learning and reasoning

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:51.393276Z

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 9d32828f-a08f-426e-a018-ca2f29442e3e · outbound

This paper cites An automata-theoretic approach to linear temporal logic.

Defining neurosymbolic AI An automata-theoretic approach to linear temporal logic

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:51.012416Z

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 a0f3bb97-fdc7-4641-9316-4bcda85afaff · outbound

This paper cites Generalized measure theory, volume 25.

Defining neurosymbolic AI Generalized measure theory, volume 25

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:50.724651Z

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 84083e42-7703-4df3-93c4-2c30f36523c8 · outbound

This paper cites u nchmeyer, Ulf Leser, and Tim Rockt \.

Defining neurosymbolic AI u nchmeyer, Ulf Leser, and Tim Rockt \

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-06T17:22:47.550544Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e67bfba9-0093-4115-a1cb-78445031e5d9 · outbound

This paper cites DeepStochLog: neural stochastic logic programming.

Defining neurosymbolic AI DeepStochLog: neural stochastic logic programming

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:50.380991Z

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 57bb11f6-eaaa-4d8c-a191-a473ae8bc4e4 · outbound

This paper cites Deepstochlog: Neural stochastic logic programming.

Defining neurosymbolic AI Deepstochlog: Neural stochastic logic programming

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:50.111274Z

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 50f93245-cd1c-4c84-bd83-99111bb07174 · outbound

This paper cites A semantic loss function for deep learning with symbolic knowledge.

Defining neurosymbolic AI A semantic loss function for deep learning with symbolic knowledge

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:49.986470Z

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 2c095b42-7fa1-478d-be5f-e2515155048b · outbound

This paper cites Differentiable learning of logical rules for knowledge base reasoning.

Defining neurosymbolic AI Differentiable learning of logical rules for knowledge base reasoning

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:49.864429Z

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 9f2fd64b-eecf-47a7-9ed3-eea73e2d1172 · outbound

This paper cites Safe reinforcement learning via probabilistic logic shields.

Defining neurosymbolic AI Safe reinforcement learning via probabilistic logic shields

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:49.742145Z

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 35fefbe1-694d-4de6-ae5c-a81f48242474 · outbound

This paper cites NeurASP: embracing neural networks into answer set programming.

Defining neurosymbolic AI NeurASP: embracing neural networks into answer set programming

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:49.581419Z

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 8731fc61-48ba-4f0c-b2b4-3d705c27db20 · outbound

This paper cites Fuzzy sets.

Defining neurosymbolic AI Fuzzy sets

Reference 74

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:49.441223Z

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 fe402209-51ee-4420-ad86-ad8c3c113372 · outbound

This paper cites Fuzzy sets as a basis for a theory of possibility.

Defining neurosymbolic AI Fuzzy sets as a basis for a theory of possibility

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:22:49.283999Z

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.

Pith citing papers

Observation 7e4006f2-a097-4dc8-9d75-baffc844369b · inbound

Symbolic Neural Generation with Applications to Lead Discovery in Drug Design cites this paper.

Symbolic Neural Generation with Applications to Lead Discovery in Drug Design Defining neurosymbolic AI

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T07:59:21.925661Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 443d0e93-768a-4637-826a-1c1d70614401 · inbound

A Sugeno Integral View of Binarized Neural Network Inference cites this paper.

A Sugeno Integral View of Binarized Neural Network Inference Defining neurosymbolic AI

Reference 33

Resolution: verified exact; arxiv_id, observed 2026-05-10T05:20:54.090140Z

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 630afc2b-fc56-4cea-ab70-c966a75a3b95 · inbound

DeepLog: A Software Framework for Modular Neurosymbolic AI cites this paper.

DeepLog: A Software Framework for Modular Neurosymbolic AI Defining neurosymbolic AI

Reference 15

Resolution: verified exact; arxiv_id, observed 2026-05-12T05:51:24.290114Z

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 d02814a7-db9e-4781-8928-479ea7135c4d · inbound

A Neurosymbolic Prolog Skill for LLM-Driven Service Placement cites this paper.

A Neurosymbolic Prolog Skill for LLM-Driven Service Placement Defining neurosymbolic AI

Reference 12

Resolution: verified exact; arxiv_id, observed 2026-07-03T07:47:45.189905Z

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 71f4da92-b4df-4962-ae40-0e3a57615d84 · inbound

From Hybrid Mechanistic--Data-Driven Modeling Toward Neuro-Symbolic AI: What, Why, and How cites this paper.

From Hybrid Mechanistic--Data-Driven Modeling Toward Neuro-Symbolic AI: What, Why, and How Defining neurosymbolic AI

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T04:29:59.717592Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.