Paper Citation Record · LEDGER

Analytical Lyapunov Function Discovery: An RL-based Generative Approach

As of 23 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 1 inbound Pith citation observation for arXiv:2502.02014.

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

pith.paper-citation-record.v1
2502.02014 v3

Coverage vector

measured 20 of 20 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-09T13:46:22.182078Z

measured 21 of 21 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+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-06-27T15:15:08.149601Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-03T03:37:35.162310Z

Reference resolution

20 of 20 outbound references displayed

verified exact1
verified fuzzy8
unresolved9
parse uncertain1
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 46a775a4-f111-4b9c-8833-3fbaf08a86d1 · outbound

This paper cites minimizers.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach minimizers

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:46:22.453586Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 9fb04df9-9e73-4c51-8c90-1eebe201881d · outbound

This paper cites This implies that if ˜Vϕ is invalid, the neighborhoods of x∗ 1 and x∗ 2 are highly likely to capture significant violations.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach This implies that if ˜Vϕ is invalid, the neighborhoods of x∗ 1 and x∗ 2 are highly likely to capture significant violations

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:46:22.469891Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 46658373-0950-4be1-a7b2-25613d9073ce · outbound

This paper cites an unresolved cited work.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach Unresolved cited work

Reference 3

Resolution: parse uncertain; raw_fallback, observed 2026-08-09T13:46:22.310830Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation aede17ed-5e19-4af6-80e8-cd6845c48b6a · outbound

This paper cites Towards Deep Learning Models Resistant to Adversarial Attacks.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach Towards Deep Learning Models Resistant to Adversarial Attacks

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-09T13:46:22.101327Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b78f5c6-dac5-4357-91d4-901e6df64473 · outbound

This paper cites By empirical checking, our found Lyapunov function certifies the asymptotical stability of this system over the region D′ = {(x1, x2, x3, x4, x5, x6) ∈ R6 | P6 i=1 x2 i ≤ 500}.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach By empirical checking, our found Lyapunov function certifies the asymptotical stability of this system over the region D′ = {(x1, x2, x3, x4, x5, x6) ∈ R6 | P6 i=1 x2 i ≤ 500}

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:46:22.375409Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 87137dcb-2dfe-4c57-8958-96065f8a5a59 · outbound

This paper cites Zhou, R., Quartz, T., Sterck, H.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach Zhou, R., Quartz, T., Sterck, H

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:46:22.485467Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation e96e6379-47c7-4555-a989-0da960b52353 · outbound

This paper cites an unresolved cited work.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-09T13:46:22.342941Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b3368e12-32d7-4e1e-a4b5-0e781f5ec549 · outbound

This paper cites an unresolved cited work.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-09T13:46:22.437984Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 13a238da-f617-41c9-baa1-c9e90398d234 · outbound

This paper cites an unresolved cited work.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-09T13:46:22.422458Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a4fe9fa2-4ad0-4409-ac55-032f36a41a6a · outbound

This paper cites Under the state space D = {(x1, x2) ∈ R2 | |xi| ≤1} and setting µ = 1, our proposed method found valid local Lyapunov function V (x1, x2) = x2 1 + x2.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach Under the state space D = {(x1, x2) ∈ R2 | |xi| ≤1} and setting µ = 1, our proposed method found valid local Lyapunov function V (x1, x2) = x2 1 + x2

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:46:22.406751Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 525c1783-4518-4291-b6e9-2b2749a97cf5 · outbound

This paper cites an unresolved cited work.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-09T13:46:22.391154Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8ae503ae-bea1-429d-a044-cb512f6e08aa · outbound

This paper cites an unresolved cited work.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-09T13:46:22.358683Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 59af7a51-75c5-4090-88a3-d5a28036f4e5 · outbound

This paper cites an unresolved cited work.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-09T13:46:22.327181Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ea4c6a60-c599-4464-9972-d1e128054ff8 · outbound

This paper cites an unresolved cited work.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-09T13:46:22.294209Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation e88c1205-dda9-43ea-a05b-2922f02945c1 · outbound

This paper cites Size and timescale of epidemics in the SIR framework.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach Size and timescale of epidemics in the SIR framework

Reference 945

Resolution: metadata mismatch; local_arxiv, observed 2026-08-09T13:46:22.277894Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 04597def-9803-4a56-ab0a-d7f015218fd3 · outbound

This paper cites Petersen, B.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach Petersen, B

Reference 2013

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:46:22.517059Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 6104533f-60f5-48f4-a077-aa4d599af734 · outbound

This paper cites cc/paper_files/paper/2017/file/ 3f5ee243547dee91fbd053c1c4a845aa-Paper.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach cc/paper_files/paper/2017/file/ 3f5ee243547dee91fbd053c1c4a845aa-Paper

Reference 2017

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:46:22.501278Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 7ce5e40e-9376-40fe-9f99-5d9c8a8a1bbd · outbound

This paper cites Holt, S., Qian, Z., and van der Schaar, M.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach Holt, S., Qian, Z., and van der Schaar, M

Reference 2019

Resolution: verified exact; doi, observed 2026-08-09T13:46:22.220669Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0f95059c-0a4f-4573-ba24-792ade31220a · outbound

This paper cites Interpretable Machine Learning for Science with PySR and SymbolicRegression.jl.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach Interpretable Machine Learning for Science with PySR and SymbolicRegression.jl

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-09T13:46:22.089725Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1f6801d-34d9-459d-baf1-19b2af6eb405 · outbound

This paper cites Bastiani, Z., Kirby, M., Hochhalter, J., and Zhe, S.

Analytical Lyapunov Function Discovery: An RL-based Generative Approach Bastiani, Z., Kirby, M., Hochhalter, J., and Zhe, S

Reference 2024

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:46:22.533208Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Pith citing papers

Observation ecd97cbf-74c7-4e17-84e8-02d9adebaba0 · inbound

A constrained symbolic regression approach for Lyapunov function discovery cites this paper.

A constrained symbolic regression approach for Lyapunov function discovery Analytical Lyapunov Function Discovery: An RL-based Generative Approach

Reference 49

Resolution: verified exact; arxiv_id, observed 2026-07-03T03:37:35.163897Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.