Paper Citation Record · LEDGER

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces

As of 21 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 4 inbound Pith citation observations for arXiv:2501.13712.

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

pith.paper-citation-record.v1
2501.13712 v1

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T15:46:48.028171Z

measured 47 of 47 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+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-02T18:14:54.850851Z

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

43 of 43 outbound references displayed

verified exact1
verified fuzzy13
unresolved28
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

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

Outbound references

Observation eca04bef-7129-4c54-a3c6-99d7ab57a488 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.543210Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation bc83b38a-db7e-49cd-a8fa-c285df5ee346 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.532663Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c59ece3a-7809-4174-8537-6de1b7859845 · outbound

This paper cites C., \ Klakow, D.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces C., \ Klakow, D

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:46:48.521516Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 52c93b60-d050-4895-a2ae-a915b2ced509 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.510781Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 76a11a0e-95ab-41c6-91c5-9f0132cb58e3 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.498445Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 198de7f9-bfd7-48e1-af8d-c35d4ac43d69 · outbound

This paper cites Soft-DTW: a Differentiable Loss Function for Time-Series.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Soft-DTW: a Differentiable Loss Function for Time-Series

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-10T15:46:47.883153Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abf98a3b-e0ca-4e76-a7c8-e0fd1d1dd57b · outbound

This paper cites \ \ Vardi, M.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces \ \ Vardi, M

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:46:48.488623Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 7a8087eb-dd1a-49e6-bf64-f004622d48df · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.478631Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d5e353fb-8942-4d80-b3d8-eaee1c826a62 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.467359Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation b4258a23-32a1-4db8-8638-82323484d141 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.456623Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 20c27ac4-9674-487d-8ddf-7e18012e8cec · outbound

This paper cites Comparing differentiable logics for learning with logical constraints.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Comparing differentiable logics for learning with logical constraints

Reference 11

Resolution: verified exact; local_arxiv, observed 2026-08-10T15:46:48.084139Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3414a66a-1abf-4fa1-83f8-40b4e5ba85bd · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.446269Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation cff086d5-2c26-4bc9-9c8a-f66e1267b4b3 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.433829Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5b70bd45-a146-4886-b18f-781a1618f59b · outbound

This paper cites \ \ Bulwahn, L.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces \ \ Bulwahn, L

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:46:48.421837Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 15bb2d89-5ebb-4448-8fe3-91de9ef074f5 · outbound

This paper cites \ \ Heller, A.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces \ \ Heller, A

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:46:48.410206Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 4a70c4fe-afd9-466e-8951-8ad2cd17e629 · outbound

This paper cites J., Nakanishi, J., Hoffmann, H., Pastor, P., \ Schaal, S.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces J., Nakanishi, J., Hoffmann, H., Pastor, P., \ Schaal, S

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:46:48.399377Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 2af1e1c6-9680-41f8-bc8c-5ee653863db4 · outbound

This paper cites \ \ H \"o lzl, J.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces \ \ H \"o lzl, J

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:46:48.388675Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 69d907f8-752e-40d5-85f9-2a6a2af6375d · outbound

This paper cites \ \ Ramamoorthy, R.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces \ \ Ramamoorthy, R

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:46:48.377588Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 78f8f711-8794-483f-9c3c-b99077f16925 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.367347Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 81335aaa-9e39-41bd-81c1-9eddf581f881 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.357309Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 6cdc53b7-13d2-4816-8c2d-4cff73ac758c · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.346679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 92b46522-60d9-4ef8-8bad-b655a8165814 · outbound

This paper cites \ \ Popescu, A.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces \ \ Popescu, A

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:46:48.336812Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e93d7a68-9c4e-435f-bfdc-4804c4f11483 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.325762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c91820bd-55de-4d5e-a42e-fd061382255d · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.315500Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3b0ca5e7-b014-4788-8188-80a57c33fb3c · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.303736Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 85d63bb0-a928-449b-9128-37230859d99a · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.292402Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 73482c1b-986d-44d6-af98-9da94113ad58 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.282119Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e4cae245-d387-4167-9202-eb362d9d49d8 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.271888Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a6073551-b268-4899-8423-e7d43e71c4a4 · outbound

This paper cites C., \ Wenzel, M.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces C., \ Wenzel, M

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:46:48.260721Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 144d45b7-4aa1-41a9-83c7-2dc9526369dd · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.249775Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 6fae195d-3621-45b4-932f-f5e3c11d65c4 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.238095Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a27b4ddb-e352-4e12-a199-b216229b7a7f · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.225617Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c41a9d0c-3268-40d1-b81b-f6b8f57e2a69 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.213924Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 26814d6b-54b9-4fe6-9b45-25b2cc287316 · outbound

This paper cites \ \ d’Avila Garcez, A.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces \ \ d’Avila Garcez, A

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:46:48.202117Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation da3be16c-6b27-41c6-b1f9-b8fd9b4a974f · outbound

This paper cites L., \ Stewart, R.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces L., \ Stewart, R

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:46:48.190256Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 775b1133-0a9f-4059-b06a-0e89997df754 · outbound

This paper cites Logic of Differentiable Logics: Towards a Uniform Semantics of DL.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Logic of Differentiable Logics: Towards a Uniform Semantics of DL

Reference 36

Resolution: metadata mismatch; local_arxiv, observed 2026-08-10T15:46:48.067574Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5adc7ba5-7113-49c8-9652-ba7f1bc908d6 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.178605Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d752adfe-3442-468f-9e62-2495c0f8df58 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.165169Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 020aeb90-50f4-4bf2-9ac3-520c454f3e62 · outbound

This paper cites \ \ Dimarogonas, D.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces \ \ Dimarogonas, D

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:46:48.153179Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 1debb4d2-abaf-4ef1-9d0a-442afc3dc108 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.141602Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8d46fa98-241b-41b6-9268-1e9dff4a8442 · outbound

This paper cites an unresolved cited work.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:46:48.129841Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e3e22ccd-b909-4064-884c-0ed582137d71 · outbound

This paper cites S., \ Shah, M.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces S., \ Shah, M

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:46:48.117617Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8366bcef-50a6-4072-8df4-fa8aee6dad4f · outbound

This paper cites write newline.

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces write newline

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-10T15:46:48.028171Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation a1a1e9a9-e753-42cf-abaf-ab2cbac433f5 · inbound

AI Can Learn Scientific Taste cites this paper.

AI Can Learn Scientific Taste Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-02T18:14:54.850851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7732d74-ded1-4955-ae51-20de8c7a3620 · inbound

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification cites this paper.

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces

Reference 32

Resolution: verified exact; arxiv_id, observed 2026-05-14T17:32:30.190321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5fce39d8-154b-45e9-babe-34f013313ad7 · inbound

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification cites this paper.

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces

Reference 32

Resolution: verified exact; arxiv_id, observed 2026-05-15T05:45:05.436288Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e0906816-2fcc-4a5e-a344-35275c900371 · inbound

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair cites this paper.

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-05-19T22:52:49.973184Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.