Paper Citation Record · LEDGER

Neuro-Symbolic Predictive Process Monitoring

As of 10 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 2 inbound Pith citation observations for arXiv:2509.00834.

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

pith.paper-citation-record.v1
2509.00834 v2

Coverage vector

measured 50 of 50 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T13:16:50.708041Z

measured 52 of 52 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 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-27T19:23:32.966503Z

measured 1 of 1 external citation measurements

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

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

Reference resolution

50 of 50 outbound references displayed

verified exact13
verified fuzzy14
unresolved21
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

3
pith, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation 21a1f1f0-ef94-4ce0-a553-2c68a8b4b2c1 · outbound

This paper cites Rama-Maneiro, J.

Neuro-Symbolic Predictive Process Monitoring Rama-Maneiro, J

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:16:55.606814Z

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.

Observation fb212ed1-b126-4238-90e3-3e62eff32fee · outbound

This paper cites Rivera Lazo, R.

Neuro-Symbolic Predictive Process Monitoring Rivera Lazo, R

Reference 3

Resolution: verified exact; doi, observed 2026-08-05T13:16:51.284254Z

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.

Observation e0b4ffc2-98d1-418c-bc63-fd693527c2a5 · outbound

This paper cites Rama-Maneiro, F.

Neuro-Symbolic Predictive Process Monitoring Rama-Maneiro, F

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:16:55.465289Z

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.

Observation 5f992d93-de2a-48c7-91f2-8faa4256a514 · outbound

This paper cites Giunchiglia, M.

Neuro-Symbolic Predictive Process Monitoring Giunchiglia, M

Reference 5

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T13:16:55.298498Z

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.

Observation ef5b3e1a-8e3c-44ac-8295-71c453d2f429 · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Predictive Process Monitoring Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-05T13:16:55.134924Z

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.

Observation 6e11c62d-8780-4f0e-b90b-f41f61f37aaf · outbound

This paper cites Di Francescomarino, F.

Neuro-Symbolic Predictive Process Monitoring Di Francescomarino, F

Reference 7

Resolution: verified exact; doi, observed 2026-08-05T13:16:51.261963Z

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.

Observation 36bf107a-d8c5-4665-bd25-5b8fa881a6dd · outbound

This paper cites Collura, K.

Neuro-Symbolic Predictive Process Monitoring Collura, K

Reference 8

Resolution: verified exact; doi, observed 2026-08-05T13:16:51.240150Z

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.

Observation 446aa413-a573-43a2-b5e0-043536b7f76c · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Predictive Process Monitoring Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-05T13:16:50.380828Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe77b34c-98f3-41df-8d53-5d35e4df590c · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Predictive Process Monitoring Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-05T13:16:50.387458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b3cfd25-5831-408e-897e-869862e626b7 · outbound

This paper cites Krause, A.

Neuro-Symbolic Predictive Process Monitoring Krause, A

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-05T13:16:50.393902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd354c5a-e4db-4219-9e84-9628e01d1a4a · outbound

This paper cites Zhang, P.-N.

Neuro-Symbolic Predictive Process Monitoring Zhang, P.-N

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:16:54.883591Z

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.

Observation f276f7d0-b3dc-4087-9302-d3fc0ccc9261 · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Predictive Process Monitoring Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-05T13:16:50.405880Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16c1ed02-edc9-4548-a060-d32d0fd053d4 · outbound

This paper cites Loula, B.

Neuro-Symbolic Predictive Process Monitoring Loula, B

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:16:54.681870Z

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.

Observation b1b35114-055d-4c13-81c1-d40693696d59 · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Predictive Process Monitoring Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-05T13:16:54.507195Z

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.

Observation d8b1aa90-0626-49db-875c-9398c8a4c096 · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Predictive Process Monitoring Unresolved cited work

Reference 16

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T13:16:51.850844Z

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.

Observation bd16cfae-33dc-4374-b913-1ca3f53532ce · outbound

This paper cites Umili, G.

Neuro-Symbolic Predictive Process Monitoring Umili, G

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:16:54.254392Z

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.

Observation ec6705ec-030f-4d4e-820e-05a8d25bfdbd · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Predictive Process Monitoring Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-05T13:16:54.014900Z

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.

Observation 54369450-de2b-4b6b-b876-aaf5ecfc3b31 · outbound

This paper cites De Giacomo, M.

Neuro-Symbolic Predictive Process Monitoring De Giacomo, M

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:16:53.888630Z

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.

Observation 19c45e10-6b25-4e5d-912a-e084a311df65 · outbound

This paper cites De Giacomo, R.

Neuro-Symbolic Predictive Process Monitoring De Giacomo, R

Reference 20

Resolution: verified exact; doi, observed 2026-08-05T13:16:51.053719Z

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.

Observation 43db3314-0201-4abf-9eb8-85a2228dcc5b · outbound

This paper cites LLaMA: Open and Efficient Foundation Language Models.

Neuro-Symbolic Predictive Process Monitoring LLaMA: Open and Efficient Foundation Language Models

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-05T13:16:50.479486Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8087812b-43b6-4786-99f1-33bfcf26328a · outbound

This paper cites GPT-4 Technical Report.

Neuro-Symbolic Predictive Process Monitoring GPT-4 Technical Report

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-05T13:16:50.489247Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97609529-3827-4c0e-b579-3c1b766584d3 · outbound

This paper cites van den Oord, N.

Neuro-Symbolic Predictive Process Monitoring van den Oord, N

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:16:53.799144Z

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.

Observation 434f2ef3-5984-4917-bca1-4170fd2241ec · outbound

This paper cites Salimans, A.

Neuro-Symbolic Predictive Process Monitoring Salimans, A

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:16:53.600189Z

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.

Observation 46e4df42-8040-4d40-86e0-b3e815ca312d · outbound

This paper cites Casolaro, V.

Neuro-Symbolic Predictive Process Monitoring Casolaro, V

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-05T13:16:50.521468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb2113e9-0804-496e-b11f-29f69c5648b0 · outbound

This paper cites Umili, R.

Neuro-Symbolic Predictive Process Monitoring Umili, R

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-05T13:16:50.529216Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39240989-b45a-46fe-8504-17b10a0f85b4 · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Predictive Process Monitoring Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-05T13:16:53.418981Z

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.

Observation 0aba09f9-4f52-440a-bec1-ea253c0849de · outbound

This paper cites Fuggitti, Ltlf2dfa (March 2019).

Neuro-Symbolic Predictive Process Monitoring Fuggitti, Ltlf2dfa (March 2019)

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-05T13:16:50.540180Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a90bc05-6c1c-424b-912e-2e32a6c9d4d2 · outbound

This paper cites Umili, R.

Neuro-Symbolic Predictive Process Monitoring Umili, R

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-05T13:16:50.548421Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

This paper cites NeSyA: Neurosymbolic Automata.

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.

Observation 6da3b54c-a5bd-4027-9025-037ea52a622d · outbound

This paper cites Donadello, P.

Neuro-Symbolic Predictive Process Monitoring Donadello, P

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:16:53.241434Z

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.

Observation 3b724076-7160-401a-8895-63ae593ca73a · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Predictive Process Monitoring Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-05T13:16:50.586646Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 808c3100-16e5-4fe2-b550-fdb7c13dca7d · outbound

This paper cites Bansal, Y.

Neuro-Symbolic Predictive Process Monitoring Bansal, Y

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:16:53.035511Z

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.

Observation fee34c7c-bf06-4c3b-bfc0-5b5d7224912c · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Predictive Process Monitoring Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-05T13:16:52.846324Z

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.

Observation a073bb43-029c-4ae7-952d-73623f3d958a · outbound

This paper cites Pesic, W.

Neuro-Symbolic Predictive Process Monitoring Pesic, W

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:16:52.663424Z

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.

Observation ec368ce6-797c-45d6-a134-709b7e42f713 · outbound

This paper cites Pesic, H.

Neuro-Symbolic Predictive Process Monitoring Pesic, H

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-05T13:16:50.614806Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1137618-ce9e-45bc-a0c4-75f11087ba7a · outbound

This paper cites Westergaard, Better algorithms for analyzing and enacting declar- ative workflow languages using ltl, in: S.

Neuro-Symbolic Predictive Process Monitoring Westergaard, Better algorithms for analyzing and enacting declar- ative workflow languages using ltl, in: S

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:16:52.456994Z

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.

Observation 359e2fbf-21a0-471d-af7a-f0213adee07a · outbound

This paper cites Alman, C.

Neuro-Symbolic Predictive Process Monitoring Alman, C

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:16:52.278631Z

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.

Observation b6f78908-1f90-4fd6-b494-28193c58175b · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Predictive Process Monitoring Unresolved cited work

Reference 39

Resolution: verified exact; doi, observed 2026-08-05T13:16:51.303103Z

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.

Observation a2c658ca-167e-40ec-85bf-04e8be6cea24 · outbound

This paper cites Evermann, J.

Neuro-Symbolic Predictive Process Monitoring Evermann, J

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-05T13:16:50.643791Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3cef507-2f7e-4eec-b8e6-f30588a9594b · outbound

This paper cites What Averages Do Not Tell -- Predicting Real Life Processes with Sequential Deep Learning.

Neuro-Symbolic Predictive Process Monitoring What Averages Do Not Tell -- Predicting Real Life Processes with Sequential Deep Learning

Reference 41

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

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.

Observation 6c78e88b-c90d-4166-adaa-9ad0577bdfe1 · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Predictive Process Monitoring Unresolved cited work

Reference 42

Resolution: verified exact; doi, observed 2026-08-05T13:16:50.835487Z

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.

Observation 38b48fb9-883f-441c-bdd4-7e5b764d9921 · outbound

This paper cites Taymouri, M.

Neuro-Symbolic Predictive Process Monitoring Taymouri, M

Reference 43

Resolution: verified exact; doi, observed 2026-08-05T13:16:50.809947Z

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.

Observation 079eb6df-a97b-4a06-b99c-da90e2a25de8 · outbound

This paper cites Chiorrini, C.

Neuro-Symbolic Predictive Process Monitoring Chiorrini, C

Reference 44

Resolution: verified exact; doi, observed 2026-08-05T13:16:50.783682Z

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.

Observation 5f826a76-e2df-4b8b-b958-eb66ef68936b · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Predictive Process Monitoring Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-05T13:16:50.678804Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e968107-3e08-4804-a87f-9534f9d750eb · outbound

This paper cites Embedding Symbolic Temporal Knowledge into Deep Sequential Models.

Neuro-Symbolic Predictive Process Monitoring Embedding Symbolic Temporal Knowledge into Deep Sequential Models

Reference 46

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

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.

Observation 9f59ce96-4392-46f5-87d2-1380915c46a5 · outbound

This paper cites Badreddine, A.

Neuro-Symbolic Predictive Process Monitoring Badreddine, A

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-05T13:16:50.695771Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0cf7c43-6f91-4c62-b46c-ec310a613fd1 · outbound

This paper cites Umili, F.

Neuro-Symbolic Predictive Process Monitoring Umili, F

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T13:16:52.060086Z

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.

Observation d89db981-fdd2-4f18-a308-4d788355e332 · outbound

This paper cites Umili, R.

Neuro-Symbolic Predictive Process Monitoring Umili, R

Reference 49

Resolution: verified exact; raw_fallback, observed 2026-08-05T13:16:51.414532Z

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.

Observation 9a4d5f54-2d18-4921-9d0f-7519d92d02fe · outbound

This paper cites URL https://doi.org/10.1007/978-3-031-70396-6_3.

Neuro-Symbolic Predictive Process Monitoring URL https://doi.org/10.1007/978-3-031-70396-6_3

Reference 56

Resolution: verified exact; doi, observed 2026-08-05T13:16:50.912326Z

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.

Observation 9fc5855c-9b34-4d20-9835-5cb2f2477670 · outbound

This paper cites URL https://doi.org/10.1109/SFCS.1977.32.

Neuro-Symbolic Predictive Process Monitoring URL https://doi.org/10.1109/SFCS.1977.32

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-05T13:16:50.458079Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 95d7a4ba-73de-45eb-ac6f-1ddbdb378ae5 · inbound

Autonomous Business System via Neuro-symbolic AI cites this paper.

Autonomous Business System via Neuro-symbolic AI Neuro-Symbolic Predictive Process Monitoring

Reference 34

Resolution: verified exact; arxiv_id, observed 2026-06-01T03:02:52.338955Z

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.

Observation ca87c6a1-1045-4d2c-8ab3-dabc45124a63 · inbound

Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies cites this paper.

Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies Neuro-Symbolic Predictive Process Monitoring

Reference 8

Resolution: verified exact; local_arxiv, observed 2026-07-02T21:57:25.921943Z

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.