{"as_of":"2026-08-15T22:12:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a09e850202411bb10a8309ac7c4b9d757efb02aa964c64538ee25dffdc7fd0f7","coverage":[{"denominator":59,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":59,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T05:37:30.650927Z","state":"measured"},{"denominator":59,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":59,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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/2412.17432/citation-record","integrity":"/paper/2412.17432/integrity","json":"/paper/2412.17432/citation-record.json","paper":"/paper/2412.17432"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T05:37:30.378419Z","title":", \" * write output.state after.block = add.period write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.378419Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:c0884f09af826a347653e9c80eb6854e3d41e758623f4246591f97daf0e17a73","observation_id":"498261c0-6f4f-4e51-b63b-8819a35792b7","resolution":{"observed_at":"2026-08-11T05:37:30.378419Z","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-11T05:37:30.384176Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.384176Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:f68ae2ac05ad7dabbd56e9bbb6cc8aa45082d4d6bed856884f9595b4ed12c109","observation_id":"c48edf5b-950d-4ec1-9641-ac4bbff255d8","resolution":{"observed_at":"2026-08-11T05:37:30.384176Z","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-11T05:37:31.522341Z","title":null,"venue":null,"work_id":"ea4f4b73-0d15-45da-8c3f-0c78a1d99700","year":2021},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.390113Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:0ec701bd932a5f756138b07c0b0f058cffa0ddf94a8c8fcec8d02f1f7805879e","observation_id":"1a78d963-95d3-48ae-be75-9868fccc0cea","resolution":{"observed_at":"2026-08-11T05:37:31.526916Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.508118Z","title":null,"venue":null,"work_id":"6cf4fdbd-a856-4f46-bb4b-01489cea8b54","year":2023},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.395789Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:da93f045c61b344a9de603ff9d638e11a650f975a1964a846bc218fcefdeb4d2","observation_id":"6dcd8c67-e0a6-4aca-b298-c1e8ea80435e","resolution":{"observed_at":"2026-08-11T05:37:31.513147Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.495179Z","title":null,"venue":null,"work_id":"11688b5c-53dd-4c93-87b1-980361053b13","year":2021},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.401740Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:c6f741c45307fc0be6e2a92b4cad7c50cb40105d500ab78b0a4071db9f55435d","observation_id":"5feaa33f-6289-448e-ab9e-d6e5b2e83030","resolution":{"observed_at":"2026-08-11T05:37:31.499114Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.481579Z","title":null,"venue":null,"work_id":"365ab04e-adb4-4710-a315-cce408ff37a2","year":2024},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.406847Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:57039dd658419287482723dfbc217329764eda299b88caadba218073eeebf660","observation_id":"e5dd058e-4655-4643-9d54-0cd901d9cb76","resolution":{"observed_at":"2026-08-11T05:37:31.486226Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.466981Z","title":"E.; Botoeva, E.; Kouvaros, P.; and Lomuscio, A","venue":null,"work_id":"644b7849-af57-437d-8d3c-70c5afc5f444","year":2022},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.412019Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:2ffc47d020e4f931cb131ca2d9a1be199c0ce37a150742900a603ab203582cbd","observation_id":"802f97c7-fccd-43a6-b4ee-48eae9abfbce","resolution":{"observed_at":"2026-08-11T05:37:31.471770Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.452837Z","title":null,"venue":null,"work_id":"39fc6967-510e-47b5-8a07-6fef1dc7cd31","year":2023},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.416924Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:6deefb28ce79ce3fa95fc17927349779cc5a3725655a76b9a6760ed59d273211","observation_id":"f8faeb07-b987-4291-a504-0c0aa644ba3d","resolution":{"observed_at":"2026-08-11T05:37:31.457531Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.438063Z","title":"A.; Lechner, M.; and Z ikeli\\'c, D","venue":null,"work_id":"97e4b6b8-0c40-43f2-a3e8-f52987298117","year":2023},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.422302Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:4cd312ddc13536eacdfd76699113d3e0359ac9fa0a65d43bb242bb3d01f24e43","observation_id":"c8167195-3f69-48c3-aa3a-d4368780d58f","resolution":{"observed_at":"2026-08-11T05:37:31.442978Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.422808Z","title":null,"venue":null,"work_id":"daa2e9ba-9b24-4c5a-9f57-8308dd92b560","year":2021},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.426855Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:e3a72bb5c45f1d2927d60276a85929dc66416e3d7fbcc64293db705ee9ef0c75","observation_id":"f9e51032-4821-4ea1-bcf3-32c2b2830267","resolution":{"observed_at":"2026-08-11T05:37:31.427280Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.00826","last_updated":"2025-07-18T07:33:46Z","snapshot_observed_at":"2026-08-12T23:52:06.892806Z","submitted_at":"2024-06-02T18:19:19Z","title":"Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.00826","snapshot_observed_at":"2026-08-11T05:37:30.431184Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.431184Z"},"links":{"cited_paper":"/paper/2406.00826","citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:b5366f3f90f4e6d19124fdd7cc447d3d912254e6dc9572401d50dfecc2f87a12","observation_id":"c70e443c-40e8-4e9d-8c32-5786f46bad27","resolution":{"observed_at":"2026-08-11T05:37:30.431184Z","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-11T05:37:31.407832Z","title":null,"venue":null,"work_id":"326d37fc-13e4-46cd-989f-b022c2988c0a","year":1968},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.437800Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:be9fee84835243f5dc94766bd0850e111b02f487a3d0af83873fdaad528f2b85","observation_id":"ca45c413-3ecb-47dd-9fbe-6e54ba25821b","resolution":{"observed_at":"2026-08-11T05:37:31.412518Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.392579Z","title":null,"venue":null,"work_id":"521adde8-191c-4696-94f6-fecad78532ac","year":2019},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.442336Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:9d5fa5d0c68ddd63dcfa4ec8e3901bd956f2819009a7410786ac184f17c26797","observation_id":"b78d2e08-2eb3-4aa8-8099-913790ac92d7","resolution":{"observed_at":"2026-08-11T05:37:31.397383Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.378263Z","title":"A.; Lechner, M.; and Z ikeli\\'c, D","venue":null,"work_id":"94fec415-388e-4bca-882f-5b9873bebf80","year":2023},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.446661Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:f4869ee4816385d361d70bd396994c55f372906a5748903dc92191018ca66ff2","observation_id":"3a76e6b1-32a8-4512-8524-4d42e052e899","resolution":{"observed_at":"2026-08-11T05:37:31.382885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.362130Z","title":"J.; and Preciado, V","venue":null,"work_id":"0d954120-bd2e-49f7-b00c-d4c04ba53644","year":2021},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.451127Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:f86eccd53cb401afb3f2647e0cb990a716f6820eed2573af53e26eb8a0c58732","observation_id":"42a9dec3-94d0-49b8-9365-7d43399d18ff","resolution":{"observed_at":"2026-08-11T05:37:31.367405Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.345413Z","title":"J.; and Preciado, V","venue":null,"work_id":"cd8c35b9-0960-4a52-b93f-efae3fa8f8bb","year":2021},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.455824Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:7eaa07a833611ed334d0c0471d1d262942d8496e6650542be0decc75f7b9f23e","observation_id":"8788454d-d704-4969-95a1-cae3b9a0c344","resolution":{"observed_at":"2026-08-11T05:37:31.350409Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.331138Z","title":null,"venue":null,"work_id":"112f1a41-8f72-492b-8e49-3bf23bde6a08","year":2023},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.460526Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:1d9279d1ee3649dc125535ea9fcb39b7e2322222424c25f5d86d1b7f60b80211","observation_id":"6094df75-ee03-4db5-a6c8-d43a4d265ad0","resolution":{"observed_at":"2026-08-11T05:37:31.335393Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.316546Z","title":null,"venue":null,"work_id":"a7e809da-6bb1-4e76-9030-7ef6a4ab4c20","year":2021},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.464888Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:1fbebdec4748ba4bda28abc53118d6c58ce4c0ee007d85cbadc99665067f04f8","observation_id":"6fa0b5ef-7f07-4eb8-994c-6caa4b31717e","resolution":{"observed_at":"2026-08-11T05:37:31.321319Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-13T10:15:21.364753Z","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-11T05:37:30.469227Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.469227Z"},"links":{"cited_paper":"/paper/2309.06090","citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:9277c259d61582814f91fc5af71995f2d10608ff88b8c2216f4541eb079af4fc","observation_id":"5f58ccc5-397a-47a1-8dc4-a5e2e944e944","resolution":{"observed_at":"2026-08-11T05:37:30.469227Z","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-11T05:37:31.300877Z","title":null,"venue":null,"work_id":"0bf2bed3-02ca-4d95-93f4-decd43a62fd8","year":2018},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.474301Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:71669478fd58a2f039908ecf9e7b36d780d5f91bd1ae8f25c29d4264971925db","observation_id":"f8435ec4-cdb5-4e49-98c9-6f4b7c11a60e","resolution":{"observed_at":"2026-08-11T05:37:31.305779Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.284629Z","title":null,"venue":null,"work_id":"f5ebc41b-04fb-4703-bc85-406912f2609a","year":2024},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.478951Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:5bdee7c8a5caf9122980661f5afa258a42f23898a1581e2064e1478ca9846b00","observation_id":"d5e07358-fc2f-4f41-9738-32060831b5f6","resolution":{"observed_at":"2026-08-11T05:37:31.289489Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.483563Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.483563Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:a3bbe6c84e417e3232f0a92b13ad2e381e3bfab1233001809729bf8af051455a","observation_id":"b50305c3-75f9-4e66-bfe3-c80a4b57bb00","resolution":{"observed_at":"2026-08-11T05:37:30.483563Z","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-11T05:37:31.260670Z","title":"E.; and Bertram, J","venue":null,"work_id":"09faff3e-cb72-40b2-a219-92db790747dc","year":1959},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.488039Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:6caa190465b8e41331920b07f7bc9cc071f91821bb026b8568d07c17624400bd","observation_id":"8f5b6337-5c87-4ff3-905d-f33947d0db62","resolution":{"observed_at":"2026-08-11T05:37:31.265351Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.246308Z","title":"W.; Dill, D","venue":null,"work_id":"7bcfb1b1-1bc4-4e21-9957-5a27ef3a91ac","year":2017},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.492480Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:00802ef52637bc73b98355e9ec9359eb7b8a12e7ff1daa447ee77ba31ed184fb","observation_id":"1aa0b403-4ffe-46da-bd08-ae0e3e8c1555","resolution":{"observed_at":"2026-08-11T05:37:31.251071Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.231581Z","title":null,"venue":null,"work_id":"1bf7e38b-a43d-4167-aba0-713516c44267","year":2011},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.496838Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:ce62b76cbd48ff30b86f0264856421a1e7fe2aa5aefb68a9782a71926ed54a6b","observation_id":"2b46006b-f019-4510-9510-dcdc5af0d624","resolution":{"observed_at":"2026-08-11T05:37:31.235781Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.216790Z","title":"Z.; and Manek, G","venue":null,"work_id":"b7e7b4c8-65a3-479c-9f39-eefdbcba1e17","year":2019},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.501230Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:2e56dc945e7f0dc36c59a6a5d4062b4d6c01dea67ca1dbcd16dbab0614675dcf","observation_id":"6eea65a1-8efa-4d86-90c3-180c9593ff8c","resolution":{"observed_at":"2026-08-11T05:37:31.221503Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.201984Z","title":null,"venue":null,"work_id":"c135399d-3add-4be6-b1dc-0a4ec316c746","year":2021},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.505933Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:959602fb4f735177bca51c8acdae2c81e0c58860f6f8115909624f17f872581d","observation_id":"217cc7ec-3cf2-481d-b2a5-295285019cee","resolution":{"observed_at":"2026-08-11T05:37:31.206647Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.187694Z","title":null,"venue":null,"work_id":"6c22a769-14be-4fb1-8731-be0736e33145","year":2016},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.511048Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:1768becfd7853c7533ea06d792a411dcce628bc486b0bf6c1d07ef885dd7d259","observation_id":"a36fc342-5e70-459d-9337-a343cbc6f09b","resolution":{"observed_at":"2026-08-11T05:37:31.192095Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.173598Z","title":"L.; Chen, R","venue":null,"work_id":"1bfde968-2333-47cb-849b-0123cbd07e60","year":2020},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.515285Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:57f11060bcabd602cc573fff39dd667bf9764afa2a65c7b3e7750669d118abab","observation_id":"9e6b45aa-90ab-4ede-bf1f-c921da1e2fb2","resolution":{"observed_at":"2026-08-11T05:37:31.178071Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.159441Z","title":null,"venue":null,"work_id":"3add50c2-6bc3-466d-a4e9-e20ba848a026","year":1993},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.519380Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:0b245cb105384e58ecab976bda93304407923aca6e8b1f43f96e0e05f4efc90d","observation_id":"2a13daeb-4c65-4ee5-889a-beb17b5b9ae2","resolution":{"observed_at":"2026-08-11T05:37:31.164349Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14058","last_updated":"2024-08-14T18:45:17Z","snapshot_observed_at":"2026-08-13T00:01:45.307778Z","submitted_at":"2024-05-22T23:06:34Z","title":"Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14058","snapshot_observed_at":"2026-08-11T05:37:30.523436Z","title":"L.; Ravaioli, U","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.523436Z"},"links":{"cited_paper":"/paper/2405.14058","citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:597810ef0d514c04be36e3cfe0c76bf3e1781ced2de5023132e8a2a6043b49f5","observation_id":"9441940c-cd1c-4c03-8702-77184dfa520a","resolution":{"observed_at":"2026-08-11T05:37:30.523436Z","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-11T05:37:31.145802Z","title":"B.; Calvert, S","venue":null,"work_id":"6b0b8983-03d6-41ab-bd45-12f20557ff95","year":2023},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.528064Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:72a5d207868b91be4b38f4eceace45bea34d91e408e2e5d7781ac00a5265ffb8","observation_id":"9c2fc736-ae05-4de0-b31a-42c5a91ecb06","resolution":{"observed_at":"2026-08-11T05:37:31.149905Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.132330Z","title":null,"venue":null,"work_id":"7b3aaf7c-b808-461a-a1d7-12dc58f405e0","year":2024},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.532225Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:4fcc325f35cdc26983d3513446abdbd94f8c4a9459daadd331aed6d7bea268c1","observation_id":"c1e34598-47d0-4ca1-a316-fa043646b71d","resolution":{"observed_at":"2026-08-11T05:37:31.136427Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.117532Z","title":null,"venue":null,"work_id":"700cc72c-1440-4fc2-90a1-a72f57066c97","year":2008},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.536504Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:b0ef047387d1a5dcddd7616ea6d95cc356ab3d5a37042dd299cd65adf3eac3f9","observation_id":"2082a997-6183-4f25-b8c0-68a29c767b4c","resolution":{"observed_at":"2026-08-11T05:37:31.122143Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.103193Z","title":null,"venue":null,"work_id":"6af758a9-efda-4133-8778-1d2b4e1d2f1a","year":2002},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.541229Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:f7df2c05a975e9e7ba3ed0126efabeebcce17fcfadcd5b8c5025e67fdb9ab886","observation_id":"5f39aca4-0f0a-4c53-a84e-75c8ca856c9a","resolution":{"observed_at":"2026-08-11T05:37:31.108039Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.088382Z","title":null,"venue":null,"work_id":"87335d45-7c9c-47f1-b6ef-1d3ca5dbeb31","year":2006},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.546254Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:61a53c58847c49d68c8a112973f458027cc1ae63f424c9ad4d79f2c6587425ab","observation_id":"8044549e-9999-4d34-85ab-7b47e7b4e85a","resolution":{"observed_at":"2026-08-11T05:37:31.093124Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.073628Z","title":null,"venue":null,"work_id":"653fd3eb-9f01-4f08-98fd-0069f7b33337","year":2004},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.551020Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:8ce2296f53a89899eeb85c36dccce2c6d84649e48114e21fa618caa2a5c91920","observation_id":"52193b90-b58b-433d-af59-82ce1eae5c1c","resolution":{"observed_at":"2026-08-11T05:37:31.078581Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.060072Z","title":null,"venue":null,"work_id":"4fc0e549-8068-4f02-9e86-f342333bce6e","year":2007},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.555704Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:78e480934ca743b6a44110173b0ba38e8a4a31d62df43c10df445a3079cf647a","observation_id":"0a6745b0-cbc9-4387-b6f2-9a2d842453d0","resolution":{"observed_at":"2026-08-11T05:37:31.064109Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.046828Z","title":null,"venue":null,"work_id":"938fac35-5775-431d-a15a-55da7fc17294","year":1994},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.560243Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:fa8f316080cfaa97cfd3639dbc9a442f64dedaa58e1e49d08b3f43116c2d91e8","observation_id":"88644310-fb59-440b-b2c7-582e9f432216","resolution":{"observed_at":"2026-08-11T05:37:31.051147Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.031184Z","title":null,"venue":null,"work_id":"f52a2ee4-d026-46c4-ac38-241ac761245e","year":2021},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.564928Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:33de6de2d95ee3687548ee9d77a4b47116e4c1558be5125f204a5fce6703a824","observation_id":"d940f3ec-c565-4d8f-bbad-79a352e9a805","resolution":{"observed_at":"2026-08-11T05:37:31.036467Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:31.015430Z","title":"M.; Berkenkamp, F.; and Krause, A","venue":null,"work_id":"eae515ba-5aba-4df1-81a3-d5b7749f5e57","year":2018},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.569457Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:82f61389e2cfc7c90a90ef754df407a1c004076c8bd75b799e44b3c7aa281dfd","observation_id":"83736946-7c58-4953-bc5f-ecc9f9582026","resolution":{"observed_at":"2026-08-11T05:37:31.020332Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.999890Z","title":null,"venue":null,"work_id":"b77f3883-942e-4924-8e89-7d1916f3882d","year":2005},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.574156Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:e20085ff7d1e92c6b629a070de4c5bebe207a7d6987293a716c41ee25dba96d1","observation_id":"c49dd536-b3cb-42e5-9ff2-3bd19211a979","resolution":{"observed_at":"2026-08-11T05:37:31.004795Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.985472Z","title":null,"venue":null,"work_id":"f923f638-6d84-409d-89bd-b6ea21554668","year":2020},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.578753Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:9075705e757c094da32b0e87f7a936c054b069e2e7652a261e4be84a694f2b99","observation_id":"a20ea651-c0c5-4b01-abb5-c3073d4239c5","resolution":{"observed_at":"2026-08-11T05:37:30.989968Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.970609Z","title":"M.; and Shakarchi, R","venue":null,"work_id":"b5fd11ce-1c0c-42c3-a983-d248b40fd73c","year":2009},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.583448Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:ad8145484172144b0a9aa1278b0b1d456dd8b1f3eb064ee6f64f09919d1f463b","observation_id":"47749786-cf21-4bd8-a565-d046cbe9ade8","resolution":{"observed_at":"2026-08-11T05:37:30.976009Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.956362Z","title":null,"venue":null,"work_id":"967439b1-0928-40f2-9f02-5915c173a0aa","year":2020},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.588394Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:b540e9d23e35ca5883100b0d032adfa1ee04334009688e0fbedfe7a5ee081575","observation_id":"d1053271-1dcb-4038-a92b-1456b98f5c0e","resolution":{"observed_at":"2026-08-11T05:37:30.960892Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.940876Z","title":null,"venue":null,"work_id":"312531c7-2276-4053-8437-a31e53528f28","year":2021},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.593190Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:5bcef3f4e1013268e1c0d61f12d916a3e99f2ea38c1b6f9467935741bcb4742c","observation_id":"e45a2c9d-73d7-4538-8ec3-a91eb614a7a6","resolution":{"observed_at":"2026-08-11T05:37:30.946075Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.925059Z","title":"K.; and Seiler, P","venue":null,"work_id":"4fdde9e8-9ca1-499c-b5f9-5dd7342b914a","year":2008},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.597493Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:e271852c31740c7d9e7d685c60370f60f236715a22db321fcce85b5451dc71e2","observation_id":"ed0df1f2-5213-43ff-9ae6-fa3c88d20275","resolution":{"observed_at":"2026-08-11T05:37:30.929997Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.909866Z","title":"M.; Musau, P.; Nguyen, L","venue":null,"work_id":"93453f3c-a990-4a10-9533-db6e97b77d41","year":2020},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.601497Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:1fb06c5164ed5d383d7a5d6eb33dc3576bc6c15edb031264b0a991bb5de1ef95","observation_id":"c6af5171-828b-4941-8784-1ae20d233aa0","resolution":{"observed_at":"2026-08-11T05:37:30.914785Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.893153Z","title":"L.; Kokke, W.; Refaeli, I.; Amir, G.; Julian, K.; Bassan, S.; Huang, P.; Lahav, O.; Wu, M.; Zhang, M.; Komendantskaya, E.; Katz, G.; and Barrett, C","venue":null,"work_id":"1b880a49-79c8-4c58-9d88-53c2cae067db","year":2024},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.605648Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:31ef6df7012e87216aa5613697adee85e363b33f6d5ccc6a76af710891a6f7c1","observation_id":"462e915d-b64a-476f-b7d8-2e27fda59121","resolution":{"observed_at":"2026-08-11T05:37:30.899250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.878064Z","title":null,"venue":null,"work_id":"2e81c506-2e9f-4122-a8eb-b6a243340e93","year":2023},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.609585Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:fc88113d38dc16d035f9cf950e8088b46ba5b8270b5fc0eee7b2b5955db150fa","observation_id":"2905b8e4-564c-4fb1-baf4-8307b36e2787","resolution":{"observed_at":"2026-08-11T05:37:30.882465Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.863126Z","title":null,"venue":null,"work_id":"4b799ba3-b100-4016-9c85-876234eb045b","year":2020},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.614256Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:3df82833e14b646a6ae2cccd7abafae86546c6599aa06e72553e2dfed64deb5a","observation_id":"f338c54c-b51c-4659-afd4-27f75b5a6112","resolution":{"observed_at":"2026-08-11T05:37:30.867725Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.847982Z","title":null,"venue":null,"work_id":"4ccc4c64-355f-4f5b-b1f0-d44981b20e93","year":2024},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.619352Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:a60088aeadf9a9ef734acd1a25e1c671086bad0e59f457c1375382432e4c2f6f","observation_id":"c48d5065-847f-40f7-90e3-ac18fdad6650","resolution":{"observed_at":"2026-08-11T05:37:30.852880Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.832418Z","title":null,"venue":null,"work_id":"b250e4b5-55bf-4d06-9a81-a80fd7ed932d","year":2018},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.624164Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:710d7fab71b4ad1e6d568ea4c09fddac94f66df0b7cfb6719f7097cf65c36e3f","observation_id":"551a58a0-243f-4bbe-bbe0-2aa87fc73afe","resolution":{"observed_at":"2026-08-11T05:37:30.837383Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.814801Z","title":null,"venue":null,"work_id":"424e2272-bc68-4a1a-9914-d223d44b05c3","year":2023},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.628559Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:6561ce5f66854e7261e8987b780ab1dffc814a0673395be2955f3bea64844686","observation_id":"1fd029a1-0e80-48ac-9cf1-083370ed5365","resolution":{"observed_at":"2026-08-11T05:37:30.820261Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.797029Z","title":null,"venue":null,"work_id":"8f240aa1-6e58-4c89-8229-b9cf1347da6d","year":2022},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.633015Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:0acd9c7d087793ab785c478310eb1730856bdb353c5b0978f3686eb74277e0d7","observation_id":"a6ac91a7-1a94-437f-9e48-4f4e2628e9f6","resolution":{"observed_at":"2026-08-11T05:37:30.802343Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.782045Z","title":null,"venue":null,"work_id":"12eee9b0-2515-4456-942d-849d29fb156e","year":2023},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.637531Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:ab373bec8d8c69c0caa197f1ea4f0c999b7d1178ca3eb756ff52fd920c92ada4","observation_id":"90a2d536-1b0b-4743-b3a7-46dd0d20256e","resolution":{"observed_at":"2026-08-11T05:37:30.786461Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.766877Z","title":null,"venue":null,"work_id":"1aa9da24-fd65-41b6-b7d6-aa2a83ab71a8","year":2020},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.641910Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:bbcf10614ad2dee2ecf703f87a228d18752ad510a87e0c46d66e8ebb92295867","observation_id":"e9302189-b058-4219-acdb-c1def9df1db4","resolution":{"observed_at":"2026-08-11T05:37:30.771811Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.750637Z","title":"A.; and Chatterjee, K","venue":null,"work_id":"b7dd11d7-d137-4ffd-bac6-7a470b6730b4","year":2023},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.646452Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:3796f54843c113be2d6c14b56f8d88d4e160978404c8494ec5c7ebc02274f7af","observation_id":"0834c501-e642-4839-b331-2c1c5201cf1c","resolution":{"observed_at":"2026-08-11T05:37:30.755466Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T05:37:30.733587Z","title":null,"venue":null,"work_id":"7a5b1ed2-b2cb-4889-85fe-1dd126957a26","year":2023},"citing_paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-11T05:37:30.650927Z"},"links":{"citing_paper":"/paper/2412.17432"},"observation_digest":"sha256:de275c764a10914e9659aecf9b5bd8bfbd49d2973e6eba3cd1d014a70ab517c9","observation_id":"720e4945-5a7e-4280-8630-d8ca58124aa5","resolution":{"observed_at":"2026-08-11T05:37:30.739544Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.17432","last_updated":"2024-12-23T09:51:54Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-15T09:05:32.214153Z","submitted_at":"2024-12-23T09:51:54Z","title":"Neural Continuous-Time Supermartingale Certificates"},"reference_resolution":{"displayed":59,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":43,"verified_exact":0,"verified_fuzzy":16},"total_outbound_references":59},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 59 of 59 outbound references and 0 inbound Pith citation observations for arXiv:2412.17432."}