Paper Citation Record · LEDGER

RNN Generalization to Omega-Regular Languages

As of 18 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2509.02491.

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

pith.paper-citation-record.v1
2509.02491 v1

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T16:43:36.586798Z

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 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

32 of 32 outbound references displayed

verified exact8
verified fuzzy7
unresolved16
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 500f08d3-7507-44e0-99c6-2183aa04788d · outbound

This paper cites Pnueli, The Temporal Logic of Programs, in: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), 1977, pp.

RNN Generalization to Omega-Regular Languages Pnueli, The Temporal Logic of Programs, in: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), 1977, pp

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T16:43:36.246279Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5d230e8-b40c-4f11-b0da-2b82f676c9c9 · outbound

This paper cites an unresolved cited work.

RNN Generalization to Omega-Regular Languages Unresolved cited work

Reference 2

Resolution: verified exact; doi, observed 2026-08-15T16:43:36.869440Z

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 c8f77619-682b-4fec-baaa-df744775c0c1 · outbound

This paper cites URL: https://mitpress.

RNN Generalization to Omega-Regular Languages URL: https://mitpress

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T16:43:36.254655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d30d8a12-3f9e-4bd3-8fca-e3d596daa4ea · outbound

This paper cites an unresolved cited work.

RNN Generalization to Omega-Regular Languages Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:43:37.997281Z

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 8da166b6-0eec-4877-8fff-4f180745deaa · outbound

This paper cites URL: https://openreview.

RNN Generalization to Omega-Regular Languages URL: https://openreview

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:43:37.798256Z

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 d938b839-e0d8-4c28-ac92-02d89c16f65d · outbound

This paper cites Delétang, A.

RNN Generalization to Omega-Regular Languages Delétang, A

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:43:37.786249Z

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 1c0790f9-c713-4077-a6fe-c00b95d39b11 · outbound

This paper cites 4118–4135.

RNN Generalization to Omega-Regular Languages 4118–4135

Reference 7

Resolution: verified exact; doi, observed 2026-08-15T16:43:36.814945Z

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 4756da52-437c-492c-828e-b0c72c3b4600 · outbound

This paper cites an unresolved cited work.

RNN Generalization to Omega-Regular Languages Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-15T16:43:36.277203Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85576258-0e18-4ec6-a251-616d805b173a · outbound

This paper cites Analyzing B\"uchi Automata with Graph Neural Networks.

RNN Generalization to Omega-Regular Languages Analyzing B\"uchi Automata with Graph Neural Networks

Reference 9

Resolution: verified exact; local_arxiv, observed 2026-08-15T16:43:37.165088Z

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 d5ac55d2-659d-45eb-9714-39a29339c8b1 · outbound

This paper cites an unresolved cited work.

RNN Generalization to Omega-Regular Languages Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:43:37.775177Z

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 6f9dc735-8606-4f60-89e4-77dc5352b41c · outbound

This paper cites an unresolved cited work.

RNN Generalization to Omega-Regular Languages Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:43:37.642119Z

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 b233983e-01c9-47cf-8eed-4eb7bbe2c7b9 · outbound

This paper cites Vaswani, N.

RNN Generalization to Omega-Regular Languages Vaswani, N

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:43:37.582632Z

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 f5112b8c-4b24-47de-9fb4-1c5a28a927a0 · outbound

This paper cites an unresolved cited work.

RNN Generalization to Omega-Regular Languages Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:43:37.571332Z

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 380402bb-b92b-4782-8812-7c3fd95fc7b9 · outbound

This paper cites Duret-Lutz, E.

RNN Generalization to Omega-Regular Languages Duret-Lutz, E

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-15T16:43:36.430028Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2830c8e1-0a37-4f4b-b68c-51d42e43a65a · outbound

This paper cites Manna, A.

RNN Generalization to Omega-Regular Languages Manna, A

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T16:43:36.434043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4afd44cd-865d-44ee-a031-6334f00cfeb1 · outbound

This paper cites Schmitt, C.

RNN Generalization to Omega-Regular Languages Schmitt, C

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:43:37.560306Z

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 aa760d64-6a9d-4016-9e54-dbe735353b60 · outbound

This paper cites De Giacomo, M.

RNN Generalization to Omega-Regular Languages De Giacomo, M

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:43:37.548866Z

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 f8b6d646-bd7d-44c6-89a2-87862a7c4714 · outbound

This paper cites ACM Softw.

RNN Generalization to Omega-Regular Languages ACM Softw

Reference 18

Resolution: verified exact; doi, observed 2026-08-15T16:43:36.707673Z

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 6e4ec11b-1ac0-4426-85a9-033c6f06d239 · outbound

This paper cites an unresolved cited work.

RNN Generalization to Omega-Regular Languages Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-08-15T16:43:36.662898Z

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 77581548-7d5f-48e3-bc04-6d70c66eeb71 · outbound

This paper cites an unresolved cited work.

RNN Generalization to Omega-Regular Languages Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T16:43:36.452504Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10e5a74f-5edd-464f-a945-213f7eb85b8c · outbound

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

RNN Generalization to Omega-Regular Languages Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-08-15T16:43:37.085202Z

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 6b37eeac-26d0-4620-a273-cca922966830 · outbound

This paper cites an unresolved cited work.

RNN Generalization to Omega-Regular Languages Unresolved cited work

Reference 22

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T16:43:37.411995Z

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 740b457e-b6b5-4bb3-a05d-c9fb328c70de · outbound

This paper cites Schuppan, Towards a Notion of Unsatisfiable and Unrealizable Cores for LTL, Science of Computer Programming - SCP 77 (2012).

RNN Generalization to Omega-Regular Languages Schuppan, Towards a Notion of Unsatisfiable and Unrealizable Cores for LTL, Science of Computer Programming - SCP 77 (2012)

Reference 23

Resolution: verified exact; doi, observed 2026-08-15T16:43:36.643621Z

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 380fe557-9d45-4fc8-82d3-b5c595010033 · outbound

This paper cites an unresolved cited work.

RNN Generalization to Omega-Regular Languages Unresolved cited work

Reference 24

Resolution: verified exact; doi, observed 2026-08-15T16:43:36.630234Z

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 5847d385-24e3-4688-9ca2-74a5447c555f · outbound

This paper cites an unresolved cited work.

RNN Generalization to Omega-Regular Languages Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:43:37.333784Z

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 1efed9a3-7fbe-4c6b-9db6-5387a41420c1 · outbound

This paper cites an unresolved cited work.

RNN Generalization to Omega-Regular Languages Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-15T16:43:36.475651Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c492801c-b4bd-4ae6-a878-b854f25668b2 · outbound

This paper cites an unresolved cited work.

RNN Generalization to Omega-Regular Languages Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:43:37.286566Z

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 bbbc5968-8b0e-44bf-9a03-ab38f7b20d5e · outbound

This paper cites an unresolved cited work.

RNN Generalization to Omega-Regular Languages Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:43:37.275593Z

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 4e4d3925-beaf-4cdd-b2dd-f4f4ee43eee7 · outbound

This paper cites Freedman, R.

RNN Generalization to Omega-Regular Languages Freedman, R

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:43:37.262861Z

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 d3695bd2-5b6e-43a6-b694-4762c58cd5bd · outbound

This paper cites Extracting Finite Automata from RNNs Using State Merging.

RNN Generalization to Omega-Regular Languages Extracting Finite Automata from RNNs Using State Merging

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-15T16:43:36.552209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2bb5176-86d9-469a-9ea7-13602339d306 · outbound

This paper cites 5247–5256.

RNN Generalization to Omega-Regular Languages 5247–5256

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:43:37.251358Z

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 5d786c11-abd0-4a14-bd84-2289f33dba10 · outbound

This paper cites an unresolved cited work.

RNN Generalization to Omega-Regular Languages Unresolved cited work

Reference 2024

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:43:37.811187Z

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

No inbound Pith citation observations are available.