{"as_of":"2026-08-18T23:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f7144619f897fd73cc0aa702819d7e95c275b4e0fcf00697287334f128b1620f","coverage":[{"denominator":29,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T12:40:33.213515Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2504.12269/citation-record","integrity":"/paper/2504.12269/integrity","json":"/paper/2504.12269/citation-record.json","paper":"/paper/2504.12269"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.796456Z","title":"Formal synthesis of lyapunov neural networks","venue":null,"work_id":"c1146ec6-f535-4f0a-b027-32304ac8960b","year":2020},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.079323Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:b41c5bfbc7377df6489cd77efa57a06540c4335034262a73bb133d4d6b0f12d8","observation_id":"fab8ec32-c506-495b-8ca1-4eef53a1fb60","resolution":{"observed_at":"2026-08-16T12:40:33.802345Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.083747Z","title":"Control barrier functions: Theory and applications","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.083747Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:0b764f31380f7a5a75fe230bb1234e7c7bb58ce9e63d711578e4af085d37ef01","observation_id":"2a397b63-8072-4387-8be5-bbff3493866c","resolution":{"observed_at":"2026-08-16T12:40:33.083747Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.765621Z","title":"Piecewise linear optimal controllers for hybrid systems","venue":null,"work_id":"a615bcba-e7e9-463e-a8f2-29fdd5686ae1","year":2000},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.087463Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:d0c83a4e0f5b4f7b5ce7fca0546bb937dc3db1277e21ddaa674ced165bc2f824","observation_id":"2b64150a-f9fd-4187-a7ce-db9b1a04ff6e","resolution":{"observed_at":"2026-08-16T12:40:33.771805Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.091986Z","title":"Neural lyapunov control","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.091986Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:2e48e7024a17578b90dd905375d3eef6ac9e0f3de7f0523df251e94d2928852e","observation_id":"3f8e3687-5866-40d8-88ba-88962d933219","resolution":{"observed_at":"2026-08-16T12:40:33.091986Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.098102Z","title":"Learning lyapunov functions for hybrid systems","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.098102Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:1922f8d7f1b0081f7ca2f562219313d255f6ccfc2f83acb8479c33431a1b6ffe","observation_id":"1fb4f8e4-4b8b-4432-86fa-84a17b3e5e42","resolution":{"observed_at":"2026-08-16T12:40:33.098102Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.726110Z","title":"Taylor, Ugo Rosolia, and Aaron D","venue":null,"work_id":"f10d3fed-ccd4-4da8-9a84-5e370d4e576c","year":2022},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.103072Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:fa6b4b258299b8f94354d0719688d4c94af5f739a63e9446fca8831d027bd7c9","observation_id":"0428cd44-d1a2-42db-a59b-ddcc27b1c9fb","resolution":{"observed_at":"2026-08-16T12:40:33.733187Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2109.14152","last_updated":"2021-09-29T02:40:32Z","snapshot_observed_at":"2026-08-16T17:53:15.842577Z","submitted_at":"2021-09-29T02:40:32Z","title":"Lyapunov-stable neural-network control","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.14152","snapshot_observed_at":"2026-08-16T12:40:33.107827Z","title":"Lyapunov-stable neural-network control","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.107827Z"},"links":{"cited_paper":"/paper/2109.14152","citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:ec084f37271c2e2971efa5357da002d212b0b3932592efb9f374a692f3ac1530","observation_id":"4a4f90bc-600a-46a5-bf63-bcfb58a55775","resolution":{"observed_at":"2026-08-16T12:40:33.107827Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.705197Z","title":"Safe nonlinear control using robust neural lyapunov-barri er functions","venue":null,"work_id":"f187d6e2-edce-4d89-aac6-106187cb0527","year":null},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.112237Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:528e2be8f599843d5b8dcd4006a0101efeff724f40a0eb8f563a0f28eb59c3c4","observation_id":"62da25b1-56ee-4e42-92c3-4e54c83f0cfb","resolution":{"observed_at":"2026-08-16T12:40:33.710553Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.09793","last_updated":"2024-04-16T12:51:47Z","snapshot_observed_at":"2026-08-16T14:42:43.616782Z","submitted_at":"2023-11-16T11:18:21Z","title":"Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models","version":2},"cited_work":{"arxiv_id":"2311.09793","doi":null,"metadata_source":"pith","pith_arxiv_id":"2311.09793","snapshot_observed_at":"2026-08-16T12:40:33.375918Z","title":"Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models","venue":"eess.SY","work_id":"82dadc8c-930f-4cfc-b7c3-a63c8ec7edd6","year":2023},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.117142Z"},"links":{"cited_paper":"/paper/2311.09793","citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:af3388b35a336c922a5e08dbec7b39c11b01d549c3e974969e68ac1a9e06d7c6","observation_id":"5408ed1d-c1f6-4ee4-ad96-ee7fed3efb64","resolution":{"observed_at":"2026-08-16T12:40:33.385086Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.06090","last_updated":"2024-10-28T13:50:50Z","snapshot_observed_at":"2026-08-16T15:01:26.894661Z","submitted_at":"2023-09-12T09:37:26Z","title":"A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.06090","snapshot_observed_at":"2026-08-16T12:40:33.122706Z","title":"A general verification framework for dynamical and control models via certificate synthesis","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.122706Z"},"links":{"cited_paper":"/paper/2309.06090","citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:e7d4f633887fccb71c2a5b2d44ded50a17c2a08c0f96c9bb700b0e4332611e86","observation_id":"59f93573-7d80-4dab-8190-c1b3e11b29dd","resolution":{"observed_at":"2026-08-16T12:40:33.122706Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.688199Z","title":"Safety verification and robustness analysis of neural netwo rks via quadratic constraints and semidefinite programming","venue":null,"work_id":"e982336d-d1b7-4e97-ada5-353c51a7b1e4","year":2020},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.127041Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:04b28811370874d62a0efadda000e5c442858fc2bac4f620187ea44edfe7103f","observation_id":"c626d3a8-4c08-4ca9-8ed0-2035550cf8f8","resolution":{"observed_at":"2026-08-16T12:40:33.693509Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.672023Z","title":"Generalized approxim ation theorem and computational capabilities of neural networks","venue":null,"work_id":"e6572cd2-524e-4cfb-9297-e09ef4474207","year":1998},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.132811Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:13935d102411032f8caf7ce9f8022bb91c13192d1bbf281c4da36931baadb5e4","observation_id":"09dbb76d-38a4-477e-8654-beed58f430b9","resolution":{"observed_at":"2026-08-16T12:40:33.677411Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.137738Z","title":"Gurobi Optimizer Reference Manual, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.137738Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:c72cca80e4f79e4224ca28c18fa635048269d11d02df9cec7114c28cd62a6a45","observation_id":"b450f3c5-c759-4bc2-b1e0-1224b7c8edcc","resolution":{"observed_at":"2026-08-16T12:40:33.137738Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.645860Z","title":"Robust estimations of the region of attraction using invari ant sets","venue":null,"work_id":"bbb54146-9eec-460e-ac4e-d63955f998b0","year":2019},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.142559Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:8af2f388109faa33a55683f98ea8a8ec53b6de66cc86fb72981e12faa88cfff7","observation_id":"b917e65a-ed81-4908-8e55-4abede711784","resolution":{"observed_at":"2026-08-16T12:40:33.650726Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.625940Z","title":"Asymptotic stability of piecewise affine systems with filippo v solutions via discontinuous piecewise lyapunov functions","venue":null,"work_id":"ac84b3c5-571e-49fa-9b6a-1028b9550659","year":2020},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.146792Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:f4ff14f1160c1b7937ebd295974a8ff1dd79c49e6eb1ed8e4d8b08f94b952bf6","observation_id":"62fbc826-5c15-4bf5-a874-3c122409fda3","resolution":{"observed_at":"2026-08-16T12:40:33.632604Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.152508Z","title":"Nonlinear control, volume 406","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.152508Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:d6b64b8f918a6af1453a36a61bee698ee46be45c60a7ba7dd372d473c9fadae9","observation_id":"782c8773-a57d-44ef-9bfe-04cd0236be13","resolution":{"observed_at":"2026-08-16T12:40:33.152508Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.594174Z","title":"Stability and performance verification of dynamical systems controlled by neural networks: algorith ms and complexity","venue":null,"work_id":"f2208633-6f53-44e4-9be1-4f1b949c9efa","year":2022},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.157698Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:2c621cfcc704481b366d169351b273848f59bece48eae77c4861684b26797992","observation_id":"f8f468c5-e3bc-4a17-bcfa-71b4b0af540b","resolution":{"observed_at":"2026-08-16T12:40:33.601216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.576399Z","title":"Numb a: A llvm-based python jit compiler","venue":null,"work_id":"49196fe0-f021-4bcf-9ec3-cfa59b27bf5d","year":2015},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.161797Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:453c9d0fe851624d61807f9f0d6ee99af6507c1c0bb9a74646779a1a77ae646b","observation_id":"f279bf24-ba0b-4e9b-a1ac-a15bbd0bd55c","resolution":{"observed_at":"2026-08-16T12:40:33.581444Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.559397Z","title":"Tool lyznet: A lightweight python tool for learning an d verifying neural lyapunov functions and regions of attract ion","venue":null,"work_id":"5b20eae1-b37a-4275-9171-e3cccb966061","year":2024},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.165866Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:eef9ca89926e98c9176cbe3cbd56af66c44bb99bb518ac64bdfd96efc1f42c5c","observation_id":"fe93538a-c9b8-4b7b-a725-0899f25685c3","resolution":{"observed_at":"2026-08-16T12:40:33.565385Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.10620","last_updated":"2024-07-26T00:16:22Z","snapshot_observed_at":"2026-08-16T15:32:10.950980Z","submitted_at":"2023-05-18T00:13:27Z","title":"Soft-Minimum and Soft-Maximum Barrier Functions for Safety with Actuation Constraints","version":4},"cited_work":{"arxiv_id":"2305.10620","doi":null,"metadata_source":"pith","pith_arxiv_id":"2305.10620","snapshot_observed_at":"2026-08-16T12:40:33.324549Z","title":"Soft-Minimum and Soft-Maximum Barrier Functions for Safety with Actuation Constraints","venue":"eess.SY","work_id":"bc6a322b-6732-4cb8-acc6-817fbd8935e3","year":2023},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.171204Z"},"links":{"cited_paper":"/paper/2305.10620","citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:d190ef3fe621e80afd218868bdb2852db46df49d9c10e492ef46ce850a928b6d","observation_id":"b7d4f770-35e8-40c7-a148-7adde24b63bb","resolution":{"observed_at":"2026-08-16T12:40:33.332284Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1705.09619","last_updated":"2017-10-05T16:42:45Z","snapshot_observed_at":"2026-08-14T20:57:57.509347Z","submitted_at":"2017-05-26T15:23:09Z","title":"Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations","version":4},"cited_work":{"arxiv_id":"1705.09619","doi":null,"metadata_source":"pith","pith_arxiv_id":"1705.09619","snapshot_observed_at":"2026-08-16T12:40:33.299264Z","title":"Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations","venue":"cs.SY","work_id":"8fe51905-5b4e-442e-a40e-70f723193b76","year":2017},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.177007Z"},"links":{"cited_paper":"/paper/1705.09619","citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:b417d7e240b543c152f3d7928e4fe823d901a559f7d63bc9fd9ec9ce6deaf989","observation_id":"80f148c5-50a3-4a0b-83cd-00fb23fdf1a0","resolution":{"observed_at":"2026-08-16T12:40:33.305342Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.539739Z","title":"Invariant set estimation for piecewise affine dynamical systems using piecewise affine barrier function","venue":null,"work_id":"c9984849-84e6-4dc2-8cca-48461cee2e95","year":2024},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.181654Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:cb41dda40cfc5ff9ce705f392282c083cf4d7e8c6c858747ae4d997ecae6d2b4","observation_id":"c5483396-cae6-4a04-adda-77d9c6fd61df","resolution":{"observed_at":"2026-08-16T12:40:33.546794Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"cited_work":{"arxiv_id":"2502.03765","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.03765","snapshot_observed_at":"2026-08-16T12:40:33.269373Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","venue":"eess.SY","work_id":"dc60ed92-ec43-4752-be31-24aba245c0f9","year":2025},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.185328Z"},"links":{"cited_paper":"/paper/2502.03765","citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:f8d00550ea6ab3148fb30a207196db717bd05eacf38daa413b187feab5dfc6a4","observation_id":"f0edc3cb-1823-4ec8-9751-f0080394b091","resolution":{"observed_at":"2026-08-16T12:40:33.277424Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.520030Z","title":"Poonawala","venue":null,"work_id":"92353442-744b-4185-9c6a-28765c1c5f0b","year":2023},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.190635Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:351c3bfb95951d4b5a1604e0e1815ab08faa842de2e1f6067b544a63743a40e2","observation_id":"ccb78901-5c11-4b16-9a8a-ade7f8cea3eb","resolution":{"observed_at":"2026-08-16T12:40:33.525829Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.503707Z","title":"Poonawala","venue":null,"work_id":"6fde1b19-2a23-4104-8239-f245dc5de961","year":2023},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.195730Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:a12e0ce1ad328c9e7925470bffca1b239672305d3845174a806a59282699b552","observation_id":"93781eb6-83ab-4015-a69f-63dc9184bc61","resolution":{"observed_at":"2026-08-16T12:40:33.509623Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.484424Z","title":"Neural lyapunov control for discrete-time systems","venue":null,"work_id":"c6da8d16-d764-47f0-99a0-dc210262eaae","year":2023},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.199965Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:14a05c7f141c24488a6699e42ce20f310ad2368052583364218908a1a8ae9a86","observation_id":"fe0022ea-a17c-4881-96d3-5f0a49c6dd5a","resolution":{"observed_at":"2026-08-16T12:40:33.490249Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.464130Z","title":"Lyapunov-stable neural control for state and output feedback: A novel formulation","venue":null,"work_id":"aca606d9-a259-4591-90f8-b0b1cc75cde0","year":2024},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.204283Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:54ca76477c7ae7d0b087c4e2acf9c033139e1333f8749c33d379916ae5d5f0da","observation_id":"4bce9ba3-5df7-4e79-a313-1228c842d156","resolution":{"observed_at":"2026-08-16T12:40:33.471237Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2206.01913","last_updated":"2022-10-16T02:16:04Z","snapshot_observed_at":"2026-08-16T16:55:22.673304Z","submitted_at":"2022-06-04T05:57:31Z","title":"Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.01913","snapshot_observed_at":"2026-08-16T12:40:33.207862Z","title":"Neural lyapunov control of unknown nonlinear systems with stability guarantees","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.207862Z"},"links":{"cited_paper":"/paper/2206.01913","citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:44938a02e5b632c72c12bc8a27c09425d78efa726841e554bd7e7b52f392f892","observation_id":"f5e7623f-ac83-40f8-98bb-73e283c028e3","resolution":{"observed_at":"2026-08-16T12:40:33.207862Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:40:33.437079Z","title":"Analysing region of attract ion of load balancing on complex network","venue":null,"work_id":"faa62a78-105f-406c-9497-39122c140182","year":2022},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.213515Z"},"links":{"citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:03029aed9bc716675d3f67d97c53700f378412c653adb3d28380942890fac216","observation_id":"a99af41d-ead6-493f-b7a9-37c50a087b4b","resolution":{"observed_at":"2026-08-16T12:40:33.443783Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets"},"reference_resolution":{"displayed":29,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":4,"verified_fuzzy":17},"total_outbound_references":29},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2504.12269."}