Paper Citation Record · LEDGER

NeSyA: Neurosymbolic Automata

As of 18 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 4 inbound Pith citation observations for arXiv:2412.07331.

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

pith.paper-citation-record.v1
2412.07331 v2

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T19:01:47.144305Z

measured 32 of 32 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+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-15T23:17:16.398093Z

measured 1 of 1 external citation measurements

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

Source: pith, observed 2026-08-10T05:30:23.456663Z

Reference resolution

28 of 28 outbound references displayed

verified exact0
verified fuzzy23
unresolved5
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

1
pith, observed 2026-08-10T05:30:23.456663Z

Outbound references

Observation ca4f0305-ec8c-49cc-9804-0944f643b697 · outbound

This paper cites A pseudo-semantic loss for autoregressive models with logical constraints.

NeSyA: Neurosymbolic Automata A pseudo-semantic loss for autoregressive models with logical constraints

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.420088Z

Source-reported events for the cited work

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

Observation 9226da34-1b26-4f59-8428-7d4c9b772bfd · outbound

This paper cites u diger Ehlers, Bettina K \.

NeSyA: Neurosymbolic Automata u diger Ehlers, Bettina K \

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.411138Z

Source-reported events for the cited work

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

Observation c5ed84ee-00b7-4fba-a524-8aa4e417f8d7 · outbound

This paper cites An event calculus for event recognition.

NeSyA: Neurosymbolic Automata An event calculus for event recognition

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.401902Z

Source-reported events for the cited work

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

Observation 228fc48b-a64b-4f43-8e37-f747daf0f38f · outbound

This paper cites Logic tensor networks.

NeSyA: Neurosymbolic Automata Logic tensor networks

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.392796Z

Source-reported events for the cited work

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

Observation a8ffda0f-9f3f-44d5-a40b-391acb3a85e9 · outbound

This paper cites On probabilistic inference by weighted model counting.

NeSyA: Neurosymbolic Automata On probabilistic inference by weighted model counting

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-11T19:01:47.070649Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b540a90b-3e3a-4e0d-acb9-0dfcf425ca8e · outbound

This paper cites A knowledge compilation map.

NeSyA: Neurosymbolic Automata A knowledge compilation map

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-11T19:01:47.074389Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec1eb48e-c9d7-4f66-afba-badc179b69b8 · outbound

This paper cites Decomposable negation normal form.

NeSyA: Neurosymbolic Automata Decomposable negation normal form

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.374354Z

Source-reported events for the cited work

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

Observation 87b31dbe-7a00-4141-859f-52e55af7c77c · outbound

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

NeSyA: Neurosymbolic Automata Linear temporal logic and linear dynamic logic on finite traces

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.365355Z

Source-reported events for the cited work

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

Observation 36fc314c-7190-41e2-910a-0c734e0e9487 · outbound

This paper cites Neurosymbolic markov models.

NeSyA: Neurosymbolic Automata Neurosymbolic markov models

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.356261Z

Source-reported events for the cited work

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

Observation 6815e071-a2ab-4770-abb9-33e22ca97db4 · outbound

This paper cites Neurosymbolic ai: The 3 rd wave.

NeSyA: Neurosymbolic Automata Neurosymbolic ai: The 3 rd wave

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.346753Z

Source-reported events for the cited work

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

Observation 987ee29c-53c5-4247-8384-18c5a8511073 · outbound

This paper cites Efficient solution algorithms for factored mdps.

NeSyA: Neurosymbolic Automata Efficient solution algorithms for factored mdps

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.337142Z

Source-reported events for the cited work

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

Observation 6a198e6b-455d-4b21-b190-bca0e4cbc341 · outbound

This paper cites Long short-term memory.

NeSyA: Neurosymbolic Automata Long short-term memory

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-11T19:01:47.094616Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 044a7dc2-b09f-40eb-b7f5-20de84df776c · outbound

This paper cites Using reward machines for high-level task specification and decomposition in reinforcement learning.

NeSyA: Neurosymbolic Automata Using reward machines for high-level task specification and decomposition in reinforcement learning

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.321683Z

Source-reported events for the cited work

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

Observation 5b7b050d-9141-496f-82f3-7e4179780245 · outbound

This paper cites Safe Reinforcement Learning Using Probabilistic Shields.

NeSyA: Neurosymbolic Automata Safe Reinforcement Learning Using Probabilistic Shields

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.312328Z

Source-reported events for the cited work

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

Observation 6780f143-4691-40b6-a16c-5e2f55d13a90 · outbound

This paper cites A logic-based calculus of events.

NeSyA: Neurosymbolic Automata A logic-based calculus of events

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.302473Z

Source-reported events for the cited work

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

Observation 17d4cdeb-393b-4721-9723-42f4e3d73491 · outbound

This paper cites Deepproblog: Neural probabilistic logic programming.

NeSyA: Neurosymbolic Automata Deepproblog: Neural probabilistic logic programming

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.292310Z

Source-reported events for the cited work

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

Observation ff661708-7a22-4434-a5a2-4ad666805170 · outbound

This paper cites Maximum entropy markov models for information extraction and segmentation.

NeSyA: Neurosymbolic Automata Maximum entropy markov models for information extraction and segmentation

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.282288Z

Source-reported events for the cited work

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

Observation 3ff0d9ab-6091-46ec-863e-15dc03e33f33 · outbound

This paper cites Deepdfa: Automata learning through neural probabilistic relaxations.

NeSyA: Neurosymbolic Automata Deepdfa: Automata learning through neural probabilistic relaxations

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.273736Z

Source-reported events for the cited work

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

Observation 9551e6fe-1699-4ec3-a594-1751602e3f98 · outbound

This paper cites Visual reward machines.

NeSyA: Neurosymbolic Automata Visual reward machines

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.263951Z

Source-reported events for the cited work

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

Observation 6aa31596-4350-4304-be81-82378309a184 · outbound

This paper cites Grounding ltlf specifications in image sequences.

NeSyA: Neurosymbolic Automata Grounding ltlf specifications in image sequences

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.254662Z

Source-reported events for the cited work

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

Observation 4a96f8bd-b9e7-4343-a387-c21d67035673 · outbound

This paper cites The complexity of enumeration and reliability problems.

NeSyA: Neurosymbolic Automata The complexity of enumeration and reliability problems

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.244646Z

Source-reported events for the cited work

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

Observation 02e0e23a-8ceb-42b7-9f00-f7a11711a1de · outbound

This paper cites Attention is all you need.

NeSyA: Neurosymbolic Automata Attention is all you need

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-11T19:01:47.126800Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 491b0bec-61c9-4bc5-ac1b-bdd16c2344a4 · outbound

This paper cites Deepstochlog: Neural stochastic logic programming.

NeSyA: Neurosymbolic Automata Deepstochlog: Neural stochastic logic programming

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.228550Z

Source-reported events for the cited work

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

Observation b5ad0a56-4088-4664-b192-a4c4ec658ea4 · outbound

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

NeSyA: Neurosymbolic Automata A semantic loss function for deep learning with symbolic knowledge

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.218619Z

Source-reported events for the cited work

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

Observation 3273a32e-ba97-44ba-9906-86a9841a8564 · outbound

This paper cites Neurasp: Embracing neural networks into answer set programming.

NeSyA: Neurosymbolic Automata Neurasp: Embracing neural networks into answer set programming

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.209442Z

Source-reported events for the cited work

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

Observation d8e74a41-42c5-4c8b-ad1f-259863ee1e98 · outbound

This paper cites Safe reinforcement learning via probabilistic logic shields.

NeSyA: Neurosymbolic Automata Safe reinforcement learning via probabilistic logic shields

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.198689Z

Source-reported events for the cited work

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

Observation 01d70384-d9ce-490a-8272-c245d8f3ee33 · outbound

This paper cites Tractable control for autoregressive language generation.

NeSyA: Neurosymbolic Automata Tractable control for autoregressive language generation

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:01:47.184855Z

Source-reported events for the cited work

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

Observation 8b7763f3-470c-4a35-a19f-649faaacaa3c · outbound

This paper cites write newline.

NeSyA: Neurosymbolic Automata write newline

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-11T19:01:47.144305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 446e624c-41c8-43dd-90af-f69625aba65b · inbound

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge cites this paper.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge NeSyA: Neurosymbolic Automata

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T23:17:16.398093Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 324f1d2c-f0b3-434c-a804-0518873508f2 · inbound

Defining neurosymbolic AI cites this paper.

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 a24c28b3-1e71-4824-8704-a857963673fc · inbound

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning cites this paper.

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning NeSyA: Neurosymbolic Automata

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-06T14:53:03.699938Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebbb2020-9991-48d9-a417-04df427211cb · inbound

Neuro-Symbolic Predictive Process Monitoring cites this paper.

Neuro-Symbolic Predictive Process Monitoring NeSyA: Neurosymbolic Automata

Reference 30

Resolution: verified exact; local_arxiv, observed 2026-08-05T13:16:50.945507Z

Source-reported events for the cited work

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