Pith. sign in

Paper Citation Record · LEDGER

NeSyA: Neurosymbolic Automata

As of 10 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 3 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 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 3 of 3 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

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

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

0 of 0 outbound references displayed

  • verified exact0
  • verified fuzzy0
  • unresolved0
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

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

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

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.

source=arxiv_source observed=2026-08-06T17:22:45.283421Z digest=sha256:8d1d26f7a8f147d749315e39f2d7917ec75850ff20e080af90d7919101dad147

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.

source=pdf_text observed=2026-08-06T14:53:03.699938Z digest=sha256:1cab7e1b3255de1a2f7817bef3547cb24b381cebc7ab90129c8e2fdece8b8224

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T13:16:50.557488Z digest=sha256:3f0bca3afd65c5af3ee4e3265e271252711db7b1b0eb9b4610fb2a49c23bf3ca