Paper Citation Record · LEDGER

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge

As of 18 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 1 inbound Pith citation observation for arXiv:2505.05106.

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

pith.paper-citation-record.v1
2505.05106 v1

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T23:17:16.499236Z

measured 43 of 43 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T14:53:03.688404Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-06T14:53:04.091727Z

Reference resolution

42 of 42 outbound references displayed

verified exact1
verified fuzzy27
unresolved14
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation cab7a003-99e4-49cf-8fc1-d80e8065fec3 · outbound

This paper cites Inference of reversible languages.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Inference of reversible languages

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:17.311098Z

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 d5755c96-951d-416e-a90b-7788bc9ce37b · outbound

This paper cites Logic tensor networks.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Logic tensor networks

Reference 2

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2b61c41-806d-4838-bba6-9473bd508343 · outbound

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

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Neural-symbolic learning and reasoning: A survey and interpretation 1

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:17.282237Z

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 4a5202bb-587a-450b-a220-282194093a5c · outbound

This paper cites Learning interpretable models expressed in linear temporal logic.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Learning interpretable models expressed in linear temporal logic

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:17.265437Z

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 5ee9c8ba-4dd8-4a51-93b2-dbef5cd53a01 · outbound

This paper cites Device classification for industrial control systems using predicted traffic features.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Device classification for industrial control systems using predicted traffic features

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:17.248520Z

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 43b0115b-3bae-4506-b893-b47a37e395e8 · outbound

This paper cites On probabilistic inference by weighted model counting.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge On probabilistic inference by weighted model counting

Reference 6

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 661d4570-17f4-4b08-ae9f-dfc7ce5d626c · outbound

This paper cites A knowledge compilation map.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge A knowledge compilation map

Reference 7

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f9876b5-5e64-4563-8ee1-f9a4d8605534 · outbound

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

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Linear temporal logic and linear dynamic logic on finite traces

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:17.207202Z

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 685e6c81-91e5-4528-bcd8-a9fb6cc8f8b1 · outbound

This paper cites Statistical relational artificial intelligence: Logic, probability, and computation.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Statistical relational artificial intelligence: Logic, probability, and computation

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:17.189476Z

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 0a846fae-8993-485a-bcd4-70f9eb649f30 · outbound

This paper cites The power of symbolic automata and transducers.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge The power of symbolic automata and transducers

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:17.094901Z

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 559e8c08-b648-4a0c-a679-92592974e507 · outbound

This paper cites Learning regular expressions from noisy sequences.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Learning regular expressions from noisy sequences

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:17.038126Z

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 86bcb826-435e-4013-ad59-818b545eaf14 · outbound

This paper cites Foundations of support constraint machines.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Foundations of support constraint machines

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:17.018244Z

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 4c8a36ca-a672-4799-aa58-17eb7fad1938 · outbound

This paper cites Provenance semirings.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Provenance semirings

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.999631Z

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 2233977d-acd0-4f5f-9086-fda954bc7102 · outbound

This paper cites A comprehensive explanation framework for biomedical time series classification.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge A comprehensive explanation framework for biomedical time series classification

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.981209Z

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 00e80f78-9a03-42f1-830e-f0c5a172d1a6 · outbound

This paper cites Algebraic model counting.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Algebraic model counting

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.960875Z

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 43c1ee71-de83-4153-91f2-14c5bfd62fec · outbound

This paper cites The mnist database of handwritten digits.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge The mnist database of handwritten digits

Reference 16

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 852539ae-bb81-4b4a-a704-61761d61329d · outbound

This paper cites Scallop: A language for neurosymbolic programming.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Scallop: A language for neurosymbolic programming

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.932742Z

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 9efaa680-78b5-449f-b1da-eb518d3d9c34 · outbound

This paper cites Checking ltl satisfiability via end-to-end learning.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Checking ltl satisfiability via end-to-end learning

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.915978Z

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 6582bf6e-b99a-42aa-8ac3-b8d20f3c8c48 · outbound

This paper cites Learning to check ltl satisfiability and to generate traces via differentiable trace checking.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Learning to check ltl satisfiability and to generate traces via differentiable trace checking

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.899563Z

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 3d9738a3-2242-443e-90f8-a9b642ad288c · outbound

This paper cites On the Hardness of Probabilistic Neurosymbolic Learning.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge On the Hardness of Probabilistic Neurosymbolic Learning

Reference 20

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

This paper cites NeSyA: Neurosymbolic Automata.

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 eed44b32-3388-4551-afa4-b49ed4496d13 · outbound

This paper cites Deepproblog: Neural probabilistic logic programming.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Deepproblog: Neural probabilistic logic programming

Reference 22

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29b9e597-d343-4ee5-91b0-de63dfbabf66 · outbound

This paper cites Approximate inference for neural probabilistic logic programming.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Approximate inference for neural probabilistic logic programming

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.873007Z

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 aec6120e-3f50-4650-a68e-73ed5177c886 · outbound

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

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge From statistical relational to neurosymbolic artificial intelligence: A survey

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.856804Z

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 bb916b00-3778-4573-84c1-3dfb7af79fc7 · outbound

This paper cites OCTAL: Graph Representation Learning for LTL Model Checking.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge OCTAL: Graph Representation Learning for LTL Model Checking

Reference 25

Resolution: verified exact; local_arxiv, observed 2026-08-15T23:17:16.582833Z

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 3d199015-33b9-4b10-a5e7-169b41a1ea06 · outbound

This paper cites Minizinc: Towards a standard cp modelling language.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Minizinc: Towards a standard cp modelling language

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.840026Z

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 34f2a85e-4303-41e1-88de-3e5c7f22c62b · outbound

This paper cites Reading digits in natural images with unsupervised feature learning.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Reading digits in natural images with unsupervised feature learning

Reference 27

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4fc75a7-ad16-4081-b7a3-ca60c04927fe · outbound

This paper cites The temporal logic of programs.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge The temporal logic of programs

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.812031Z

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 4f4e5877-3323-43f6-95e8-45b8b4a044cc · outbound

This paper cites A scenario-based assessment approach for automated driving by using time series classification of human-driving behaviour.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge A scenario-based assessment approach for automated driving by using time series classification of human-driving behaviour

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.795262Z

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 c7ff5b75-0647-4671-b334-6e90d290c283 · outbound

This paper cites Ltl satisfiability checking.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Ltl satisfiability checking

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.779328Z

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 25bf9864-3e6a-427c-af97-0017476d9625 · outbound

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

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Deepdfa: Automata learning through neural probabilistic relaxations

Reference 31

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66471064-e27a-447a-a930-ef1935222088 · outbound

This paper cites Grounding ltlf specifications in image sequences.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Grounding ltlf specifications in image sequences

Reference 32

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8db1cb34-38b8-48c4-8b11-a0fb93d258d3 · outbound

This paper cites Analyzing differentiable fuzzy logic operators.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Analyzing differentiable fuzzy logic operators

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.742682Z

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 bbe876fa-cebe-475d-8205-5eb219228103 · outbound

This paper cites On the Independence Assumption in Neurosymbolic Learning.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge On the Independence Assumption in Neurosymbolic Learning

Reference 34

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4398302c-90e3-416c-9b81-97967cc3260d · outbound

This paper cites Symbolic automata constraint solving.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Symbolic automata constraint solving

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.726632Z

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 2e450af4-9aeb-48f6-82a2-a223c28a0a02 · outbound

This paper cites Applications of symbolic finite automata.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Applications of symbolic finite automata

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.710472Z

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 27a3f7ce-ef2a-442c-aab7-ca4e0c16324d · outbound

This paper cites Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator

Reference 37

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf6952f9-1d51-4d6f-a35f-6d59964d276e · outbound

This paper cites A comprehensive survey of continual learning: theory, method and application.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge A comprehensive survey of continual learning: theory, method and application

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.692148Z

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 4daf45ce-f87f-4840-8c4d-7bf8882e117e · outbound

This paper cites Fashion-mnist: a novel image dataset for benchmarking machine learning algorithms, 2017.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Fashion-mnist: a novel image dataset for benchmarking machine learning algorithms, 2017

Reference 39

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fd158c2-ddc1-410e-987b-8aee1a0d4339 · outbound

This paper cites Embedding symbolic temporal knowledge into deep sequential models.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Embedding symbolic temporal knowledge into deep sequential models

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.664978Z

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 3c85687f-af80-4e96-ba01-cf5aad80dcdf · outbound

This paper cites write newline.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge write newline

Reference 41

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07539603-9e0d-4379-abfb-c6840530c197 · outbound

This paper cites Sympy: symbolic computing in python.

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Sympy: symbolic computing in python

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:17:16.636204Z

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.

Pith citing papers

Observation 26ac6f65-29c5-4f64-b969-02632f00e195 · 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 A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge

Reference 43

Resolution: metadata mismatch; local_arxiv, observed 2026-08-06T14:53:04.095506Z

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.