Paper Citation Record · LEDGER

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning

As of 23 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 4 inbound Pith citation observations for arXiv:2508.03366.

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

pith.paper-citation-record.v1
2508.03366 v1

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T04:33:37.490735Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-14T04:29:54.694987Z

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

39 of 39 outbound references displayed

verified exact3
verified fuzzy14
unresolved22
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

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

Outbound references

Observation 7db2f0b7-f19c-472c-8b37-c1d01526ab36 · outbound

This paper cites GPT-4 Technical Report.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning GPT-4 Technical Report

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:32.903987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1885cac-1a3f-471e-a354-bf0b1c6d9ad8 · outbound

This paper cites Uci machine learning repository, 2007.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Uci machine learning repository, 2007

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:32.971508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00d0a1eb-b145-42de-b95c-684f1024972d · outbound

This paper cites Logic tensor networks.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Logic tensor networks

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:33.064259Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be1b339d-cd40-4806-bb52-20afd3cecc30 · outbound

This paper cites Qwen Technical Report.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Qwen Technical Report

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:33.198714Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 141271ad-04a9-4862-8bc4-a94a75fd621e · outbound

This paper cites Truth table net: Scalable, compact & verifiable neural networks with a dual convolutional small boolean circuit networks form.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Truth table net: Scalable, compact & verifiable neural networks with a dual convolutional small boolean circuit networks form

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T04:33:41.082397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 34cac4fc-c744-436a-874d-babc4e77a57b · outbound

This paper cites Learning Symbolic Expressions via Gumbel-Max Equation Learner Networks.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Learning Symbolic Expressions via Gumbel-Max Equation Learner Networks

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-08-06T04:33:38.499823Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation bd5811ac-1269-447d-a371-e9c184b498be · outbound

This paper cites Symbolic knowledge extraction and injection with sub-symbolic predictors: A systematic literature review.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Symbolic knowledge extraction and injection with sub-symbolic predictors: A systematic literature review

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T04:33:40.907484Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 1cc26a72-a5fc-428e-a68e-970ae82f25fc · outbound

This paper cites Bridging machine learning and logical reasoning by abductive learning.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Bridging machine learning and logical reasoning by abductive learning

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:33.558165Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a6895d2-977a-4b4b-88ac-ea9e25957e3d · outbound

This paper cites Knowledge enhanced neural networks.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Knowledge enhanced neural networks

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T04:33:40.731630Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 986b2b28-81f4-40ea-9305-e59faa095f8f · outbound

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

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Dl2: training and querying neural networks with logic

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T04:33:40.569968Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 80afaa6f-2dab-431c-8d23-a53306d8e05c · outbound

This paper cites an unresolved cited work.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:33.937547Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05a034f1-0bd7-4a8c-bce5-ee3918f70a99 · outbound

This paper cites Multi-shot asp solving with clingo.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Multi-shot asp solving with clingo

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T04:33:40.435649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 881e1944-4d14-4bab-a297-e2adddd66152 · outbound

This paper cites Did aristotle use a laptop? a question answering benchmark with implicit reasoning strategies.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Did aristotle use a laptop? a question answering benchmark with implicit reasoning strategies

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:34.158477Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff1efe28-53e2-4771-a801-304a32cc315b · outbound

This paper cites Lubm: A benchmark for owl knowledge base systems.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Lubm: A benchmark for owl knowledge base systems

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T04:33:40.270764Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 50d8ed53-ff16-4208-b82b-0ddaeaf071a7 · outbound

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

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning FOLIO: Natural Language Reasoning with First-Order Logic

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:34.393733Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9703094-ecc3-41e2-9bef-7dccdafaaa66 · outbound

This paper cites Measuring Massive Multitask Language Understanding.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Measuring Massive Multitask Language Understanding

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:34.514210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fb1625a-1659-470b-8cdd-a2a1ec4e8a59 · outbound

This paper cites Towards Reasoning in Large Language Models: A Survey.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Towards Reasoning in Large Language Models: A Survey

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:34.673238Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4fb61470-7bd1-44aa-8131-4968be053bd8 · outbound

This paper cites Third AI Summer, AAAI Robert S.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Third AI Summer, AAAI Robert S

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T04:33:40.104212Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 88aede1c-f81b-4d5d-90cc-7b54a7d840df · outbound

This paper cites Abstract meaning representation (amr) annotation release 3.0.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Abstract meaning representation (amr) annotation release 3.0

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T04:33:39.932542Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 70b6a0cb-3074-42e1-a2cb-cac70db67b32 · outbound

This paper cites Maximum Bayes Smatch Ensemble Distillation for AMR Parsing.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Maximum Bayes Smatch Ensemble Distillation for AMR Parsing

Reference 20

Resolution: verified exact; local_arxiv, observed 2026-08-06T04:33:38.259140Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8dcd5b26-9f6a-4a8c-af40-fa3b27524af6 · outbound

This paper cites Answer set programming, volume 3.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Answer set programming, volume 3

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T04:33:39.712046Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 3cf3b3eb-b3d2-431e-a24d-889f61a3656b · outbound

This paper cites Foundations of logic programming.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Foundations of logic programming

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T04:33:39.546226Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation fc0a3439-509f-4390-a9a9-e55c86c7c416 · outbound

This paper cites Faithful chain-of-thought reasoning.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Faithful chain-of-thought reasoning

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:35.241820Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c558071d-8a97-4255-929d-a204aea9dc1e · outbound

This paper cites Deepproblog: Neural probabilistic logic programming.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Deepproblog: Neural probabilistic logic programming

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:35.412186Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3421d267-3037-4206-81d7-d62023985cba · outbound

This paper cites Automated theorem provers help improve large language model reasoning.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Automated theorem provers help improve large language model reasoning

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T04:33:39.326442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation e4cec7e0-48b3-4b18-a54a-0960fd0bef7c · outbound

This paper cites Unifying large language models and knowledge graphs: A roadmap.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Unifying large language models and knowledge graphs: A roadmap

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:35.721320Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3232c434-d4f4-49b5-9086-398abf040ec0 · outbound

This paper cites Deep differentiable logic gate networks.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Deep differentiable logic gate networks

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:35.823544Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d115d99-3fdd-44d1-a351-1bd6df27f2fa · outbound

This paper cites Introduction to Logic: Propositional Logic.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Introduction to Logic: Propositional Logic

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T04:33:39.142933Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 9052a884-1f1e-42cf-bcd0-1558417e00aa · outbound

This paper cites Logical Neural Networks.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Logical Neural Networks

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:36.097187Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c381f4e-c4b0-440d-9784-038c485d9d88 · outbound

This paper cites Stepgame: A new benchmark for robust multi-hop spatial reasoning in texts.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Stepgame: A new benchmark for robust multi-hop spatial reasoning in texts

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T04:33:38.974814Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 6b6e40d9-ec3a-4605-bb81-d27115552e01 · outbound

This paper cites Mastering the game of go with deep neural networks and tree search.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Mastering the game of go with deep neural networks and tree search

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:36.445661Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f9015cc-7a64-4831-b3b2-83f33f1acdc6 · outbound

This paper cites CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:36.559851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e7f0bf7-4a9a-4a41-8c02-71ba0033eb9f · outbound

This paper cites Llama 2: Open Foundation and Fine-Tuned Chat Models.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Llama 2: Open Foundation and Fine-Tuned Chat Models

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:36.719051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 114d287a-04a0-4538-946e-4aab01364ba7 · outbound

This paper cites Solving olympiad geometry without human demonstrations.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Solving olympiad geometry without human demonstrations

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:36.823132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 574c078d-d6c1-427a-a1eb-73baea02c4b0 · outbound

This paper cites Analyzing differentiable fuzzy logic operators.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Analyzing differentiable fuzzy logic operators

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T04:33:38.842408Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 132e3fe0-a3ea-4f01-b81c-d15115b74451 · outbound

This paper cites Chain-of-thought prompting elicits reasoning in large language models.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Chain-of-thought prompting elicits reasoning in large language models

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:37.125487Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5422c0d3-2f0c-415e-bd88-9fda56bbb51e · outbound

This paper cites Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:37.228612Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2c97c68-3efc-45c6-852d-d8f9d113bce7 · outbound

This paper cites Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:37.357391Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77e904a3-a942-4911-9645-934ab09d2316 · outbound

This paper cites Structure-aware Fine-tuning of Sequence-to-sequence Transformers for Transition-based AMR Parsing.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Structure-aware Fine-tuning of Sequence-to-sequence Transformers for Transition-based AMR Parsing

Reference 39

Resolution: verified exact; local_arxiv, observed 2026-08-06T04:33:37.720741Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Pith citing papers

Observation e164c1ad-f95c-462f-8877-79255926f8e3 · inbound

Neural Decision-Propagation for Answer Set Programming cites this paper.

Neural Decision-Propagation for Answer Set Programming A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning

Reference 42

Resolution: verified exact; arxiv_id, observed 2026-05-10T15:15:31.074242Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0638c3d1-c19f-413d-8cec-43ebea32874e · inbound

From Judgments to Issues: Structured Extraction of Legal Reasoning with Citation-Hallucination Control cites this paper.

From Judgments to Issues: Structured Extraction of Legal Reasoning with Citation-Hallucination Control A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-12T03:16:08.937731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6cb63ce7-11ce-4e4a-beec-a67c05e2de64 · inbound

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL cites this paper.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:27.465736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c980e49-e8a4-4dd1-9201-9502c64c006d · inbound

SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification cites this paper.

SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-14T04:29:54.694987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.