{"as_of":"2026-08-08T06:09:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b57ac8dfd924a3b33033086c178ea6b0af0a75624a2e4ffe1c6fdb5f141ff9dd","coverage":[{"denominator":52,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":52,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-24T10:17:16.055536Z","state":"measured"},{"denominator":52,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":52,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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/2301.06136/citation-record","integrity":"/paper/2301.06136/integrity","json":"/paper/2301.06136/citation-record.json","paper":"/paper/2301.06136"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Formal synthesis of Lyapunov neural networks","venue":null,"work_id":"20e09561-c589-4315-9267-94814e4b1e6d","year":2021},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:75b516270be800293ba8274bb2ea54605436efaf6acfa483b9b91414dbe2e9d8","observation_id":"589caf9f-e1bc-4a00-b5a0-1cb647e1e1fc","resolution":{"observed_at":"2026-05-24T10:19:19.431941Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Quantitative verification with neural networks","venue":null,"work_id":"0aeb65f5-8904-4b9d-bf19-84dd6430a340","year":2023},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:5e9235c937b28f6ceff7ab317b437eda3d4044b5bebe77f54b5807dfda47580d","observation_id":"ca22531f-739d-4b5d-b290-cfc972ad829c","resolution":{"observed_at":"2026-05-24T10:19:19.425692Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Learning probabilistic termination proofs","venue":null,"work_id":"da5ed775-531d-45eb-be53-b1de76a90d01","year":2021},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:a9607b4a33dc61b111aa7881f2e5827faf643f2eb81abacd1e87b8d714c2bda5","observation_id":"64754949-b758-4bf4-b22a-ea2ab90c9899","resolution":{"observed_at":"2026-05-24T10:19:19.450730Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Quantitative automata model checking of autonomous stochastic hybrid systems","venue":null,"work_id":"1ad0aa09-0685-4003-9e35-408f0bf75ba6","year":2011},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:9819a99daac8a7e9e218c181f0ce9399a0234600483af0d673a7c2350806ca48","observation_id":"e57a0516-26bf-4d10-a721-624856265560","resolution":{"observed_at":"2026-05-24T10:19:19.459026Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems","venue":null,"work_id":"768e7cbd-5a28-45ea-9861-fe87fd88b65a","year":2008},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:e5f914c32277ca8e6ac1b0a15040b6fbc89767af23e90b7a755cbb4064e63816","observation_id":"f861d9e1-e1fb-4d56-943a-42ce00c4075d","resolution":{"observed_at":"2026-05-24T10:19:19.463996Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs","venue":null,"work_id":"65510be4-def2-4c3c-b44e-df9c8f274a4a","year":2018},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:46eb28f431ffc88bac233bbce4500b70b826cc5a7d152d1b832f402177ba5886","observation_id":"21b36a80-5ede-46ab-a5f8-2ccef4249ea7","resolution":{"observed_at":"2026-05-24T10:19:19.334616Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Multi-dimensional rankings, program termination, and complexity bounds of flowchart programs","venue":null,"work_id":"817743e8-d920-47c6-b1a1-bd5949c3d8cc","year":2010},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:877539cd4b98e305539e8141ec0f8e1e75a86e061c00b9f7ccfe82bfdabb7d8f","observation_id":"06ddf2fd-a1b8-4b23-911e-02eefb4efd58","resolution":{"observed_at":"2026-05-24T10:19:19.398601Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"54c65531-6b2d-4964-b7f0-780243bc80e0","year":2019},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:af8d3b9162b91bc5771ae6f23d56df05e3104a24392224b3cdb69fdeeeb5c4aa","observation_id":"69692d63-c160-4aef-b7a0-1e613ea5a61b","resolution":{"observed_at":"2026-05-24T10:19:19.471202Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Model checking probabilistic systems","venue":null,"work_id":"a1f59981-1fea-4970-977a-c465cc32b9bc","year":2018},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:c1763b898aef98bb9d9184faace7348be00077a9e862e75b29e02604da5a9501","observation_id":"882ee48c-c9db-4ec2-b91a-63fafb188a64","resolution":{"observed_at":"2026-05-24T10:19:19.324108Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Haverkort, Holger Hermanns, and Joost - Pieter Katoen","venue":null,"work_id":"67e4b8aa-0450-4a60-aae1-454b561ec0c5","year":2010},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:8e1dfd22f82295fc21150272053cb4450f57c1cb4dd73cb3646209cc4a0bf619","observation_id":"1cd76ab0-ec65-4e60-a9c7-99082ab38eb1","resolution":{"observed_at":"2026-05-24T10:19:19.441637Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Principles of model checking","venue":null,"work_id":"36db7d97-a553-4352-bb77-f8029d3e261a","year":2008},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:eab4c3bbd14367f983b578592809d3ca664eae921739395c239971c5837f600e","observation_id":"db2e2859-2d47-4c14-93c6-22be48636b72","resolution":{"observed_at":"2026-05-24T10:19:19.428856Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Data-driven invariant learning for probabilistic programs","venue":null,"work_id":"ec7c9c7d-0fad-4fd6-84a3-32e86ec88033","year":2022},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:a2282f50b750ccda88a671e559b3533c6935e0e9b4d8fdbd51de05e5cece6ca6","observation_id":"41c7e48d-6e36-4f16-bc56-f552ec782315","resolution":{"observed_at":"2026-05-24T10:19:19.374364Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Probabilistic program verification via inductive synthesis of inductive invariants","venue":null,"work_id":"759b3499-8c10-4e6b-8b6c-23c48b60d1cc","year":2023},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:5b7f100942f60e44a58d269d6dcf70aeb52a71854f35aa9f7e9e840d574467aa","observation_id":"1fae01c6-5ffd-46f7-9c08-aec21d2562d0","resolution":{"observed_at":"2026-05-24T10:19:19.369094Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"abf9d1ca-12f5-46c0-a1b3-405e18f1403b","year":1996},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:b9b3fe133063821535cbe62a1ed8d130c1ac356b52e1a644d124f4b56e51a8e7","observation_id":"9f5ed3ca-13cc-48c9-b75e-fec07a2d65b0","resolution":{"observed_at":"2026-05-24T10:19:19.422232Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Probabilistic program analysis with martingales","venue":null,"work_id":"bb068182-d8c9-40bd-b090-56292d97ac2a","year":2013},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:dffc9e2d3412374c1856cc08593a79d7825853c469c0e8429d243033d0ffb832","observation_id":"e685692b-d1dc-4dc6-8fad-baa80f2d6768","resolution":{"observed_at":"2026-05-24T10:19:19.313992Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Neural Lyapunov control","venue":null,"work_id":"6c4efdda-c5b5-418e-a9cc-cdf274b7d606","year":2019},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:2ba3c8a46c8bed5898d5e07e73172a4be9f794a55ea0d2896606215b5940c891","observation_id":"5600a9fe-bac9-4e1f-ad52-335ac9a9733d","resolution":{"observed_at":"2026-05-24T10:19:19.406433Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Termination analysis of probabilistic programs through positivstellensatz's","venue":null,"work_id":"91e6cfd4-ff63-4b5f-be2d-fa2af1b7e750","year":2016},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:2dd50d235d574eb8e706784ad1f65f7313c257d9661b35fdff8a47ff41273ede","observation_id":"f47d58eb-355d-4bc1-9e06-43404b9bb650","resolution":{"observed_at":"2026-05-24T10:19:19.409480Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs","venue":null,"work_id":"a67de54f-7973-427f-a731-56bcdcd9f802","year":2018},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:901776efa1af03a7dc40db29e00fa23d381b5210ff07dd46ceb0bc224066f7b1","observation_id":"13be1d77-86a7-4c9a-bd65-0e6ab279c812","resolution":{"observed_at":"2026-05-24T10:19:19.414983Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Sound and complete certificates for quantitative termination analysis of probabilistic programs","venue":null,"work_id":"334d01e7-4b24-4ce3-8009-28a9ca8f8e50","year":2022},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:f30f220efb78e4bde64ab36833bc941095a6bf873b3b7cf4f1adfd5b060de29f","observation_id":"896f4f1b-84c6-4c12-9bb1-9436d04b6d82","resolution":{"observed_at":"2026-05-24T10:19:19.446913Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Henzinger, Mathias Lechner, and or e Z ikeli\\' c","venue":null,"work_id":"facedea5-1960-40a9-a63e-676421945c36","year":2023},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:c00c8825a4a2a0ca5924bbf09310291926f46b3679a0c0011ddbd4a47490aa2c","observation_id":"cc739436-484d-4d4b-9236-c068cf446638","resolution":{"observed_at":"2026-05-24T10:19:19.371708Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Stochastic invariants for probabilistic termination","venue":null,"work_id":"fc5e3a5a-f0db-4e52-8f14-cb9e29cc4111","year":2017},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:5189f2e3bf1defe274a07dd7edd665ec64be84e5e71f0e49576fcd035dbfb058","observation_id":"38e8b5ae-3ee2-4cf9-86cc-b046f7eaa089","resolution":{"observed_at":"2026-05-24T10:19:19.412097Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Semantics of probabilistic programming: A gentle introduction","venue":null,"work_id":"30375ac8-5c46-4ff9-bad5-b2645d0df7b6","year":2020},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:112ec76c015ab05b1b9a11b4a79d4fac8e90f08afa295da2051b023ca35b6e09","observation_id":"2e3859d3-9119-4f1f-9009-fe06be6661e3","resolution":{"observed_at":"2026-05-24T10:19:19.401672Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1ae41fac-140c-4c13-af03-db809fef34ec","year":2008},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:b6d6257455a6b085b859033694eaa98cf350a707c5fd7795c8a83c7b19a92490","observation_id":"d92da2d1-cac8-419e-99e0-f6b6a3767bc4","resolution":{"observed_at":"2026-05-24T10:19:19.404182Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Kwiatkowska, Gethin Norman, David Parker, and Hongyang Qu","venue":null,"work_id":"53c6d2a7-7de0-482d-a216-fa2658c55aa1","year":2011},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:1f8d14bf5a2197545ac00df7a547e91ee76ac63c494e0bb6fc88f13da5d14f16","observation_id":"8479538d-80f3-40f6-8e32-88924d5ae108","resolution":{"observed_at":"2026-05-24T10:19:19.417984Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Termination of nondeterministic probabilistic programs","venue":null,"work_id":"86f28df8-ad9a-4d8e-bbee-85013d421b34","year":2019},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:1ed7a3542519185291238a341b801c3efba70a87b6ec41d34752dd4ca5d7784a","observation_id":"75f401fd-67a6-4b8c-af5e-3008298b14a7","resolution":{"observed_at":"2026-05-24T10:19:19.385065Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f7a69429-c946-4493-a316-6eda9d0d8bda","year":2016},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:961976863820df60bec5356db2708bc2e52a146d114ee7c0344c3c3dbdc914cb","observation_id":"a04f5284-6b28-4480-9d06-243bfda62da5","resolution":{"observed_at":"2026-05-24T10:19:19.391133Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d4c4c02c-e850-48ef-9482-7e869aca9b8c","year":2020},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:e98b739c4841bd7d69b3bd51ce6f69b5d44e9ba5780b1d085d2c6c5d8a80762a","observation_id":"c4a729a4-9cc0-4fea-aeb6-5b67fa4fc56e","resolution":{"observed_at":"2026-05-24T10:19:19.322030Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Neural termination analysis","venue":null,"work_id":"01281c8f-af7a-4996-8b09-33cd9d6737b7","year":2022},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:e337b97f59afa2fe6e9f362a142883d776cb13bd7c9b3b1ce02efeabbfcc3e85","observation_id":"0459be57-1ffe-441c-b940-6dd9b2cea46b","resolution":{"observed_at":"2026-05-24T10:19:19.376913Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Gordon, Thomas A","venue":null,"work_id":"36f30b76-3fb6-4b3e-b213-1d8414e240c3","year":2014},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:f1ad3b858b052a86f1af3153c1370ce8671832f9ec9a21742f5083079a2d793a","observation_id":"16c974f3-7233-4c00-93ca-4bc4bb76f0af","resolution":{"observed_at":"2026-05-24T10:19:19.379378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Hern \\'a ndez-Lerma and J","venue":null,"work_id":"7a8ccdf3-9a0b-4c74-bcfd-7b9430916c78","year":1996},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:4b83231ecff0453f445a0f5731c71a574027004e528fc7ff633e414241bb903e","observation_id":"b21d558d-a239-4d1d-9968-add331ecc66b","resolution":{"observed_at":"2026-05-24T10:19:19.395421Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Modular verification for almost-sure termination of probabilistic programs","venue":null,"work_id":"7f3ba616-df25-4588-a0a4-df2848ddff72","year":2019},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:0efe6aaa8c6ba1c07eb63208fe505559456f4192e638d29f7570eba4a73d9714","observation_id":"f63a675b-9312-4d4d-8aba-e5ba35d7fc9b","resolution":{"observed_at":"2026-05-24T10:19:19.352558Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Kallenberg","venue":null,"work_id":"3e01fad0-fcbb-44bb-9d19-18effed54913","year":2006},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:556d45672cca37ffadbf3813d0796a9f8f5f0842fd3adf00f6ac2df3a260de11","observation_id":"58449096-400c-4a2c-a14e-5606ddac243f","resolution":{"observed_at":"2026-05-24T10:19:19.316980Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Semantics of probabilistic programs","venue":null,"work_id":"96e79b6f-5e15-470b-800d-951b020efaad","year":1981},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:ffa1685332deceb3ad5f52da8ac82c69efecc6678a8e4ce3c7dd2736a4be4015","observation_id":"4fe74639-c75d-4e6a-8edd-3d6d9f0a6c77","resolution":{"observed_at":"2026-05-24T10:19:19.354835Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Kwiatkowska","venue":null,"work_id":"333131cd-c345-48ef-a160-425f0592d064","year":2007},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:a7ff2ee17c4d860c70bbfef9ae913bd90d2cb4ee6f6ba531c3b8c80db140f3ff","observation_id":"0808398d-77d5-4f7c-aff7-2c91b7d4472a","resolution":{"observed_at":"2026-05-24T10:19:19.364894Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Kwiatkowska, Gethin Norman, and David Parker","venue":null,"work_id":"ab1d4231-7b55-4da7-a25f-70b1c6ebcb40","year":2005},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:8d19dd04c73c5b056d6d0a495ac687540e45cdb1f8638db8cbf49ce17913d077","observation_id":"8c2dd723-8b8c-4ed7-8aaf-d264d0aee2a8","resolution":{"observed_at":"2026-05-24T10:19:19.382070Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Henzinger","venue":null,"work_id":"0873415d-176e-4cb8-a148-9576baa030fc","year":2022},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:e2749090b7114e516e7ea05b5d0942bbd0c6b047d00b98cd5038ecee36005b3b","observation_id":"9dd85468-3964-4524-b3b8-d9e1925b4698","resolution":{"observed_at":"2026-05-24T10:19:19.357248Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Safety certification for stochastic systems via neural barrier functions","venue":null,"work_id":"f2504fe1-2b45-481f-8777-1cea8a66bb64","year":2023},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:2cf0a30f7b4e9ce7c2c2b8c153d62d60dc7fca56d2f844e77bab4f1cf13cdf01","observation_id":"d645203c-930a-4ae4-a462-aa27633bcd44","resolution":{"observed_at":"2026-05-24T10:19:19.359876Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Games, probability and the quantitative \\( \\) -calculus qm \\( \\)","venue":null,"work_id":"82c2f42e-4360-45c8-8f6c-bc3dff3fdfc5","year":2002},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:83f0d0471dc1434f146cc7c9611d7ffa8ff207020f373d08908ce48645b0b5e8","observation_id":"b5b4476a-b344-4234-83d9-cf0226a76082","resolution":{"observed_at":"2026-05-24T10:19:19.362538Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Abstraction, Refinement and Proof for Probabilistic Systems","venue":null,"work_id":"6164b2d9-1387-491b-9bbd-ad698003f755","year":2005},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:49ad8dab9bdf57c70911e60241c56753997d531deea94d1bf8b35f6068fd29cc","observation_id":"4d83ee1c-aa69-4a1a-88a4-d0188c16d7dd","resolution":{"observed_at":"2026-05-24T10:19:19.319764Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Tweedie, and Peter W","venue":null,"work_id":"6902f2f3-1d99-4e36-a430-19c6bee845c5","year":2009},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:db7a0401bcd05e76d99e0b860255a2a1e6027e67e780c51fca98d26eabd70b78","observation_id":"faa931ab-515c-4b10-8d7e-702321e95746","resolution":{"observed_at":"2026-05-24T10:19:19.387549Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Probabilistic predicate transformers","venue":null,"work_id":"9a500e75-cfb8-4b99-a05d-7a6dca4894aa","year":1996},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:f2924c308fe2e6cd7c8220c2ba0f5b4ca1fa65c20809eb7d0179eac22de75579","observation_id":"d20d1723-8ea4-4c19-b407-52a029f246a2","resolution":{"observed_at":"2026-05-24T10:19:19.434908Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Bounded expectations: resource analysis for probabilistic programs","venue":null,"work_id":"a7ba2765-caa5-41dc-9798-4ddb5cbdb59c","year":2018},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:1659f1f39a1af7a9d2acf20f32404276cecee806ca69573b5817016faf62d572","observation_id":"c99ca7e7-2f3c-4f4e-aa0d-c0ecfb25a57d","resolution":{"observed_at":"2026-05-24T10:19:19.477054Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Automated and formal synthesis of neural barrier certificates for dynamical models","venue":null,"work_id":"0b6d7fca-0101-410a-b470-2ff23dc0db43","year":2021},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:726f0247dfba219a123367431e36531392224ed9079c684db8362c88b143778c","observation_id":"627346e5-c463-4197-87c9-5022d1b6ec7e","resolution":{"observed_at":"2026-05-24T10:19:19.467262Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"A User's Guide to Measure Theoretic Probability","venue":null,"work_id":"9148bf24-4daf-4337-bc94-078a08904245","year":2001},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:1a7e6af32c514cf318563f7ab406524fd9de42998945ac525b3edbfe560c8a65","observation_id":"5db241df-e1d5-4dc1-acd7-cd66645a2a38","resolution":{"observed_at":"2026-05-24T10:19:19.342108Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Royden and P","venue":null,"work_id":"01dc6a34-346a-4205-8b04-3c824e1df9eb","year":2010},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:dd924df79fe487114500102b5d3d713afd062af132bae3564d99d32367fcbc24","observation_id":"ec0878a9-b41c-4464-9a10-76921c2889ff","resolution":{"observed_at":"2026-05-24T10:19:19.344328Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Program Synthesis by Sketching","venue":null,"work_id":"36752192-7a59-4729-be88-e3f9eb5cc34c","year":2008},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:a376735877298ae248af53ee9276fd474ea46c0a069a272d1c679831699a55da","observation_id":"e11b1326-2be6-4027-92ae-ee25c028d222","resolution":{"observed_at":"2026-05-24T10:19:19.337347Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Seshia, and Vijay A","venue":null,"work_id":"0b290f4e-ffa2-453d-9ee4-88dee1933783","year":2006},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:6cef8938c10f210f503a1a3fd1e3b98143972d9defefe9bea78cd52926855333","observation_id":"30016565-09bc-48ce-b142-3ed56fd7900d","resolution":{"observed_at":"2026-05-24T10:19:19.339639Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Ranking and repulsing supermartingales for reachability in randomized programs","venue":null,"work_id":"8f8f2c7a-a02c-4880-9d9b-dabf78b1be78","year":2021},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:a46d80442c9f57dda75c99b8c7ae7ee93b1465851a5c6f6c56e74c7ab7b89e67","observation_id":"b098317f-923c-461e-a625-0cf198a4fd58","resolution":{"observed_at":"2026-05-24T10:19:19.346981Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Quantitative model-checking of controlled discrete-time markov processes","venue":null,"work_id":"3c86e753-392b-46eb-a008-625bf1530bb0","year":2017},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:ec75f73c4262e44224af85ef6759a0661d4fafe5bde703b48def0330c0289e35","observation_id":"9e78265a-f7e5-45cb-bac8-8e79cbdd27d8","resolution":{"observed_at":"2026-05-24T10:19:19.349735Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Towards quantitative verification of probabilistic transition systems","venue":null,"work_id":"cf53baaa-0fdc-41ab-a3be-49779d5b2666","year":2076},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:1b4b4dd0868c0c950afe57bc511ef32cc4aa0040c1401ebbced62938f1f87022","observation_id":"324838c3-6232-455a-848a-f0b0ae32c4f8","resolution":{"observed_at":"2026-05-24T10:19:19.326941Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0d2eff07-1cda-40aa-8b58-8afdd97027e0","year":2021},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:1862839129b2a9e7cc9f6ebac52043db53186980bb1457f726abc38301fa1313","observation_id":"c04142e1-0405-4a95-9167-78c877556276","resolution":{"observed_at":"2026-05-24T10:19:19.329154Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Cost analysis of nondeterministic probabilistic programs","venue":null,"work_id":"e710cd4a-a628-45f7-b1f3-83cb6bf18595","year":2019},"citing_paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks","version":7},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-05-24T10:17:16.055536Z"},"links":{"citing_paper":"/paper/2301.06136"},"observation_digest":"sha256:62830b3667de7ff311d5c2ab8c0d2da01d76cfb6dad28f85d98f0fa794b9a490","observation_id":"c64691d4-2b01-420b-990b-f0b59a1d55cf","resolution":{"observed_at":"2026-05-24T10:19:19.331907Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2301.06136","last_updated":"2026-04-14T12:03:17Z","latest_version":7,"primary_category":"cs.LO","snapshot_observed_at":"2026-07-06T14:41:29.587937Z","submitted_at":"2023-01-15T16:35:36Z","title":"Quantitative Verification with Neural Networks"},"reference_resolution":{"displayed":52,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":0,"verified_fuzzy":46},"total_outbound_references":52},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2301.06136."}