{"as_of":"2026-08-19T18:49:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:eb8a2048d5e487b18958040775b93cea6ac1bb899585e7dcb82969a021c44ce1","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-05T14:42:07.131810Z","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-19T06:32:44.657259+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/2508.21213/citation-record","integrity":"/paper/2508.21213/integrity","json":"/paper/2508.21213/citation-record.json","paper":"/paper/2508.21213"},"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-05T14:42:07.428180Z","title":"Neural Lyapunov control","venue":null,"work_id":"35f701c3-2594-453f-9702-4e4d5446fae7","year":2019},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.057455Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:87ec0771780a600774a8dacad10f56554f932f3d9865e417be84a2543840f29b","observation_id":"bb977efa-9119-401b-a968-2527e6d9ec25","resolution":{"observed_at":"2026-08-05T14:42:07.430650Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.420943Z","title":"Neural Lyapunov control of unknown nonlinear systems with stability guar- antees","venue":null,"work_id":"4906c8f8-1729-4c4f-83d0-fcc4666a0ac5","year":2022},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.060441Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:0b8897f571c043cd498474f961c9746c3a4538f3c826941c9f87ae69f1fa3549","observation_id":"f7db1b8c-e294-465b-bfca-f56be1c4b5cc","resolution":{"observed_at":"2026-08-05T14:42:07.423652Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.412828Z","title":"Region of attraction in a power system with discrete LTCs","venue":null,"work_id":"f7ab0f7c-fd3d-49ae-80b8-2c541854b00a","year":2006},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.063657Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:bf75679f78011dd90a3aee0ecc5ea65fa796cae3543808fe525eba21f62cd234","observation_id":"37c32ad7-c15b-44e1-9788-06e09cd68add","resolution":{"observed_at":"2026-08-05T14:42:07.416281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.405746Z","title":"Regions of attraction for hybrid limit cycles of walking robots","venue":null,"work_id":"8588b717-5cab-4d11-b54b-bdd43ef54814","year":2011},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.066399Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:1a7241b326db8651379ae1d75e4f2340234999270bc6550fd92a6633a82f78f8","observation_id":"ce423655-74af-45a8-98c9-2e7f0cb966b2","resolution":{"observed_at":"2026-08-05T14:42:07.408412Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.398589Z","title":"Region of attraction estimation of biological continuous boolean models","venue":null,"work_id":"f6c7ed78-5d17-47f7-85d5-8af8f355b7de","year":2012},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.069165Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:c9aa35c02bf6b202df05599759dce8dc24b06ca3802f299b0470c27be812d146","observation_id":"66720065-69ca-4b8a-a939-b32dedd188e6","resolution":{"observed_at":"2026-08-05T14:42:07.401207Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.071942Z","title":"Maximal Lyapunov functions and domains of attraction for autonomous nonlinear systems","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.071942Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:86c57a895945f3fb55ff861a71e3171a88266dcfe73f26fd23464452fc2c414d","observation_id":"fba486de-9746-476b-a74c-36ba3e1b8120","resolution":{"observed_at":"2026-08-05T14:42:07.071942Z","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-05T14:42:07.386574Z","title":"Towards learning and verifying maximal neural Lyapunov functions","venue":null,"work_id":"d1969fdd-975a-40de-9417-76b372cf8c97","year":2023},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.074671Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:fe6dd1b9208bb1072d80ed21d97810a187f5a4e13dc7e0fee123d57714330211","observation_id":"a5ec20d7-21d0-499a-9757-9db2adce51ac","resolution":{"observed_at":"2026-08-05T14:42:07.389220Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.379067Z","title":"Physics-informed neural network Lyapunov functions: PDE charac- terization, learning, and verification","venue":null,"work_id":"fb8d2316-d3c2-41df-931b-285d1cbcb331","year":2025},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.077266Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:4850de0f0cc2ce4e32525e81f2f2072547abb81d840562653dc5f5b31adda64e","observation_id":"18f67b15-4bef-4859-9f93-5e32905b4493","resolution":{"observed_at":"2026-08-05T14:42:07.381817Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.372107Z","title":"Data-driven computational methods for the domain of attraction and Zubov’s equation","venue":null,"work_id":"38d868a2-80f2-4e1f-86c5-e97d09342944","year":2023},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.080780Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:1db9d74343b5481549a439c3ff3c76261e520b54a017858a51ee00d5cd12a1e9","observation_id":"cf30e9bd-2710-4b71-aedf-432ddd82f7ee","resolution":{"observed_at":"2026-08-05T14:42:07.374787Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.365092Z","title":"Formal synthesis of Lyapunov neural networks","venue":null,"work_id":"49d859a5-ce4c-4abc-8796-17315abf4b7c","year":2020},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.083332Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:044d20a85d5fee5a25f0dfbbdd1198e82d72dfb5dbe17eb5b91fd7accb93fe56","observation_id":"40746524-620c-403f-9eab-5841c9ac5462","resolution":{"observed_at":"2026-08-05T14:42:07.367685Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.358209Z","title":"Lyapunov-net: A deep neural network architecture for lyapunov function approximation","venue":null,"work_id":"fc3f6c8c-84ee-43a7-98d2-97ea2f12310b","year":2091},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.085758Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:0b3816ae8584a3ea14b1975e498d7dd4c0518c148cafd03c86d61dd0737e8416","observation_id":"127483e6-d7e6-42b8-b5c2-dd23c29155e2","resolution":{"observed_at":"2026-08-05T14:42:07.360726Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.351443Z","title":"Learning control Lyapunov functions from counterexamples and demonstrations","venue":null,"work_id":"9a2b31ef-48c0-4768-9494-7cdd6ca004e8","year":2019},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.088392Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:c6d7f5068a21e977b9068aca2792e2631cf48551ca81528169dbd51432b1afe1","observation_id":"4927b5cf-7e3a-4df5-8712-cc0693c72e99","resolution":{"observed_at":"2026-08-05T14:42:07.354049Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.343909Z","title":"Tool LyZNet: A lightweight python tool for learning and verifying neural Lyapunov functions and regions of attraction","venue":null,"work_id":"ac19a9d3-2df0-4247-9339-21cbfcde1944","year":2024},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.090856Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:7fb7110bd56a30b5ca8ff501be76092af087a96140bdeaecc995b760fd165e52","observation_id":"43b809e6-33fc-415c-aaac-37da8e282da3","resolution":{"observed_at":"2026-08-05T14:42:07.346629Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.336682Z","title":"Safe control with learned certificates: A survey of neural lyapunov, barrier, and contrac- tion methods for robotics and control","venue":null,"work_id":"6e265eb7-0c7c-47d4-b5dc-a598a556d6bb","year":2023},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.093338Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:177f074116f42875b399c9c0d4b8a8fe75ea446697ba974235e2cdf72188015f","observation_id":"e36518c2-70c3-45c1-8787-05a84886cf7b","resolution":{"observed_at":"2026-08-05T14:42:07.339590Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.329654Z","title":"Methods of AM Lyapunov and their application, volume 4439","venue":null,"work_id":"7ab6ab7d-b9bc-4118-9a8b-76406d6cc267","year":1961},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.095759Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:bf4995d35f7688577aa49cd8b04ab1573ac6f02faa59419ca43e8dff8e0b71c7","observation_id":"a41e4483-9922-4acb-8919-c97fdc95de91","resolution":{"observed_at":"2026-08-05T14:42:07.332216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.322837Z","title":"A characterization of the domain of attraction for a locally exponentially stable stochastic system","venue":null,"work_id":"1f736af2-f4ba-4b3a-8773-bbe86b6e07eb","year":2000},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.098121Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:98127a50d4208664eb21e8f93d38d322ad17c78c2320b26c6a53adce7193e336","observation_id":"669eb2c6-3d3f-4f77-bf10-7fab014834fc","resolution":{"observed_at":"2026-08-05T14:42:07.325512Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.316119Z","title":"Characterizing attraction probabilities via the stochastic zubov equation","venue":null,"work_id":"1eb5fea2-638a-4545-8a93-65eeef90e96e","year":2003},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.100672Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:00d91462b8086a81a736081a55e35e384ae9ff7565f63c4564747e31d3530048","observation_id":"68c9d562-94f2-4757-9ebe-2afd25e7e7ef","resolution":{"observed_at":"2026-08-05T14:42:07.318742Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.309444Z","title":"Zubov’s method for stochastic control systems","venue":null,"work_id":"9e4cd420-f7ff-4038-9abe-5337555b7744","year":2005},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.103688Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:1c26fe24467846435c449d8f0a482b8329307c82ab02dd4a61cd1f7dadb2ed64","observation_id":"2a8889ca-ca43-473d-a29d-a1f643cf95da","resolution":{"observed_at":"2026-08-05T14:42:07.311946Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.302474Z","title":"Lyapunov function computation for autonomous linear stochastic differential equations using sum-of-squares programming","venue":null,"work_id":"b78146f9-4ee4-476c-9f07-80d60ed590fc","year":2018},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.106114Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:276586678ec5d3052a7bbcde9139302b4f7083acd2429471d99592eb7b77edeb","observation_id":"af323062-33b7-4e24-ae55-2320020b754b","resolution":{"observed_at":"2026-08-05T14:42:07.305063Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.295322Z","title":"Neural stochastic control","venue":null,"work_id":"9c03bc53-eca6-43fc-ab21-55e120bcf83b","year":2022},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.108462Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:b01a969487ad8ee815c0110ca16670e6bf77d8c23486f6fda43251783b73615a","observation_id":"ec54a68b-82f5-41e5-a3f0-724a230d9977","resolution":{"observed_at":"2026-08-05T14:42:07.297781Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.288415Z","title":"Stability verification in stochastic control systems via neural network supermartingales","venue":null,"work_id":"77f1ecef-acad-47ac-904b-ec706c601b89","year":2022},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.111109Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:9f557d1819032ed481cf40b9e6220c3345b4ad42b0da21f40ed38a3c649debb7","observation_id":"8a07a288-6698-46c5-99c9-da2c079ef212","resolution":{"observed_at":"2026-08-05T14:42:07.291130Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2210.05304","last_updated":"2023-07-28T08:00:05Z","snapshot_observed_at":"2026-08-16T16:25:14.261704Z","submitted_at":"2022-10-11T09:55:07Z","title":"Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems","version":2},"cited_work":{"arxiv_id":"2210.05304","doi":null,"metadata_source":"pith","pith_arxiv_id":"2210.05304","snapshot_observed_at":"2026-08-05T14:42:07.234619Z","title":"Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems","venue":"cs.LG","work_id":"68389b7d-367b-403d-bae4-5a7e3720f8f5","year":2022},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.113662Z"},"links":{"cited_paper":"/paper/2210.05304","citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:7bc143e47fba66493b80f9ae54df60c33c136f0ad46937df3bd355e4a56c28d0","observation_id":"2e95cacc-bd5e-4dc1-9f3b-8c363ee745b6","resolution":{"observed_at":"2026-08-05T14:42:07.237639Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.280168Z","title":"dReal: An SMT solver for nonlinear theories over the reals","venue":null,"work_id":"bf72d655-8191-4628-9026-cb7f71db9f9f","year":2013},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.117244Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:1bf1dc5137ab05ea78c305b259ed41caa216331c8caf8290477f05f70d967abe","observation_id":"d845dcde-1361-450c-95c3-4defbc9c9e87","resolution":{"observed_at":"2026-08-05T14:42:07.282842Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.272998Z","title":"Stochastic stability of differential equations , volume 66","venue":null,"work_id":"82d07af9-0d14-44f7-aa8d-989a888a4687","year":2011},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.119711Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:952ca0bd706681779e4e845df1cd85c1fcd1264e790b030935080080e65a0fb0","observation_id":"f576639d-2b5c-4da2-927a-d34a74d317c3","resolution":{"observed_at":"2026-08-05T14:42:07.275671Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.264636Z","title":"Stochastic Differential Equations and Applications","venue":null,"work_id":"1553ae67-b996-4925-93af-1ac44e8ee187","year":2007},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.122073Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:a1cfbc1e1c665867e723c8435c8355cb0c16f670686b194252d5c596b6206e5c","observation_id":"6b44a5fb-0ab7-414f-970d-adbbfbf1d3be","resolution":{"observed_at":"2026-08-05T14:42:07.267551Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.257330Z","title":"A generalization of Zubov’s method to perturbed systems","venue":null,"work_id":"58730e62-ebb0-46bb-8f80-036ff168ff07","year":2001},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.124432Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:afa064aff8f6c9d2c06f2d276c4dfd59f52158abadaaa172e55193aae80165a1","observation_id":"909180ee-903c-4057-ad29-148ddd07fa9b","resolution":{"observed_at":"2026-08-05T14:42:07.259907Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.249970Z","title":"Local Lyapunov functions for nonlinear stochastic differen- tial equations by linearization","venue":null,"work_id":"05e3f1ef-a596-436d-9827-80aff7b38784","year":2018},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.126952Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:c0a421f7fba16e4a97f08f4b4d8c19700ff60d734908894107d694d434b81319","observation_id":"19037f8f-5e8e-4926-94e2-05040da33ffb","resolution":{"observed_at":"2026-08-05T14:42:07.252814Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-05T14:42:07.242526Z","title":"Stochastic Lyapunov-barrier functions for robust probabilistic reach-avoid-stay specifications","venue":null,"work_id":"b24029e5-8c87-4d3e-b300-d147752f5583","year":2024},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.129283Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:cc1357d4f75c5b548e67fbb5f771fc05b426f97fe4b8d8ab102c3eadd3e5a93f","observation_id":"bfce8c99-63e3-4701-ba9c-42b5b0dbf2ba","resolution":{"observed_at":"2026-08-05T14:42:07.245296Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2501.00200","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:42:07.220116Z","title":"Scalable neural network verification with branch-and-bound inferred cutting planes","venue":null,"work_id":"073578d7-90f2-4a9f-ba91-4e72c6210a3e","year":2024},"citing_paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T14:42:07.131810Z"},"links":{"citing_paper":"/paper/2508.21213"},"observation_digest":"sha256:f88db494d59268910fbf48cc3a2c2c4b27f0d9c3003e600610b11aad688bf368","observation_id":"860a5684-1a91-4616-8fd7-d6b8c8bb1e9c","resolution":{"observed_at":"2026-08-05T14:42:07.227442Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.21213","last_updated":"2025-08-28T21:04:35Z","latest_version":1,"primary_category":"math.OC","snapshot_observed_at":"2026-08-06T02:49:00.190553Z","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems"},"reference_resolution":{"displayed":29,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":2,"verified_fuzzy":26},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2508.21213."}