{"as_of":"2026-08-08T04:46:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f5fd3045ac2136fa189a8c6a68b05a2851306e63fc697d8c49157ada190b8e39","coverage":[{"denominator":96,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":96,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T11:37:02.036405Z","state":"measured"},{"denominator":96,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":96,"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/2507.22760/citation-record","integrity":"/paper/2507.22760/integrity","json":"/paper/2507.22760/citation-record.json","paper":"/paper/2507.22760"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:37:01.433763Z","title":"Safe reinforcement learning via formal meth- ods: Toward safe control through proof and learning,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.433763Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:43df746e9be958d6490770ca9fd9d6da9c4d1d17b08e1fdc11bdac63cf08b154","observation_id":"5c634d5a-d866-43ab-a402-a00518367946","resolution":{"observed_at":"2026-08-06T11:37:01.433763Z","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-06T11:37:01.595767Z","title":"Safe deep reinforcement learning for adaptive cruise control by impos- ing state-specific safe sets,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.595767Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:26caf6fefe4e88eb2e0e4eca8e495224e341047a0beca4d8008aaabe5f2db880","observation_id":"c1bc97f4-bffa-40b0-95f4-910b51aee248","resolution":{"observed_at":"2026-08-06T11:37:01.595767Z","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-06T11:37:01.670085Z","title":"ARCH- COMP21 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.670085Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:d436436cf7dee4790ae067e280906aa36bdfa45ac3c27ee54777156f26595ce9","observation_id":"d448e8ec-7835-4c7b-8a5f-78c7861ffd39","resolution":{"observed_at":"2026-08-06T11:37:01.670085Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1912.07084","last_updated":"2020-05-05T19:12:07Z","snapshot_observed_at":"2026-07-06T08:44:38.446430Z","submitted_at":"2019-12-15T18:34:41Z","title":"Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems","version":2},"cited_work":{"arxiv_id":"1912.07084","doi":null,"metadata_source":"pith","pith_arxiv_id":"1912.07084","snapshot_observed_at":"2026-08-06T11:37:02.114366Z","title":"Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems","venue":"eess.SY","work_id":"fe699b9d-41d8-4507-a996-63bbadda3f64","year":2019},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.718511Z"},"links":{"cited_paper":"/paper/1912.07084","citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:25690e3d57db96c2373c5a594e4cc477270a96c0f7362083d43d048411a70d42","observation_id":"f67f13ea-9c72-4b0c-a482-fd5af2f47c9d","resolution":{"observed_at":"2026-08-06T11:37:02.118436Z","resolver_source":"local_arxiv","status":"verified_exact"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:37:01.722667Z","title":"Policy compression for aircraft collision avoidance systems,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.722667Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:64c7e2136e31f8a4735c11844de9c0ecb8b2f5e99dd176a5d5d6242f5d88aa4f","observation_id":"57d4e5c2-1e34-42d0-89b8-c1ba6de442a7","resolution":{"observed_at":"2026-08-06T11:37:01.722667Z","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-06T11:37:01.726917Z","title":"Efficient neural network robustness certification with general activation functions,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.726917Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:faca208d2c6d33036b086d49de845a69c2f7f9453dbd8766c8b36621884b0e12","observation_id":"ae2f87a4-0064-4260-a19d-2cc24f651851","resolution":{"observed_at":"2026-08-06T11:37:01.726917Z","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-06T11:37:01.730627Z","title":"Automatic perturbation analysis for scalable certified robustness and beyond,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.730627Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:9c4812588a7df7d3d1080b69966b32c6972d71ba33e1cb3a0731923dd860afc7","observation_id":"da94db90-4a38-4183-8f1b-17affcb9b520","resolution":{"observed_at":"2026-08-06T11:37:01.730627Z","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-06T11:37:01.733831Z","title":"Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.733831Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:f151e4a4408015cb5023387796f8c8bea7a89ddc8b7f8e206efa5de03fc00de2","observation_id":"5411f860-2d58-463c-8964-ac3fc1620200","resolution":{"observed_at":"2026-08-06T11:37:01.733831Z","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-06T11:37:01.737447Z","title":"Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.737447Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:27d9f369f4b34e432a9e4702ac06b5a5d1605b06960d30e7a936269006cef3e4","observation_id":"022c36c3-38b6-4679-8cc6-3912d29172a9","resolution":{"observed_at":"2026-08-06T11:37:01.737447Z","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-06T11:37:01.740747Z","title":"Efficient neural network verification via adaptive refinement and adversarial search,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.740747Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:85ed9b16276e725a2d9ac87a614a74fc1196e6774c575592642104a37c01afe4","observation_id":"6a5c3362-0991-408b-bade-2228a11c893b","resolution":{"observed_at":"2026-08-06T11:37:01.740747Z","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-06T11:37:01.743831Z","title":"DEEPSPLIT: an efficient splitting method for neural network verification via indirect effect analysis,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.743831Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:80d70a9f211b1aba35f11ce7e67ef46f78edc4d35a1197647ebc3c7ef187682b","observation_id":"ebcb6463-ccc1-47b9-b24a-4575471e817e","resolution":{"observed_at":"2026-08-06T11:37:01.743831Z","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-06T11:37:01.747060Z","title":"Reluplex: An efficient SMT solver for verifying deep neural networks,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.747060Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:f99e7f418063993d82b0d071626f55841ccde35b120184cbdf07039bdd968bf3","observation_id":"0a53325a-5ab9-4bf2-ac50-7665e9ee2e65","resolution":{"observed_at":"2026-08-06T11:37:01.747060Z","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-06T11:37:01.750863Z","title":"The Marabou framework for verification and analysis of deep neural networks,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.750863Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:3ad505fe337fd2838886c58d6c5ab99f2e090f47520dfa11c879d6302bcb9143","observation_id":"bb451a5a-01c8-4560-b0f6-94c1ebe26e69","resolution":{"observed_at":"2026-08-06T11:37:01.750863Z","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-06T11:37:01.754397Z","title":"Branch and bound for piecewise linear neural network verification,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.754397Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:495fd69d03171c3dd631354252444f7710a0ba388f36a545870c63450f5e4a84","observation_id":"9bc03f94-5254-402d-a4b2-fffe16384d04","resolution":{"observed_at":"2026-08-06T11:37:01.754397Z","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-06T11:37:01.758115Z","title":"Improved geometric path enumeration for verifying ReLU neural networks,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.758115Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:f5ec7e9490ec30e26eb83c4462b57b6425a7fdcc8543b0b77fa7106d1e7687a0","observation_id":"905c7797-ac82-4cab-b3a5-d8d1d6744067","resolution":{"observed_at":"2026-08-06T11:37:01.758115Z","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-06T11:37:01.761716Z","title":"nnenum: Verification of ReLU neural networks with optimized abstraction refinement,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.761716Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:cdd3883d33e05deed667903c9d5324cadca0f1d93ad637580bd45c92320bc5f6","observation_id":"67c4eb35-bdb9-4dcb-b3c9-aec28a8992af","resolution":{"observed_at":"2026-08-06T11:37:01.761716Z","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-06T11:37:01.765244Z","title":"General cutting planes for bound-propagation-based neural network verification,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.765244Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:d5047348ebfe206bfae54e9a56291523283434db38808996387911400836b118","observation_id":"3316a047-a6cc-4360-a225-068e3e075440","resolution":{"observed_at":"2026-08-06T11:37:01.765244Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","snapshot_observed_at":"2026-07-06T18:23:27.760658Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.21063","snapshot_observed_at":"2026-08-06T11:37:01.768386Z","title":"Neural network verification with branch-and-bound for general nonlinearities,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.768386Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:1a3d7c6d8db6bcae7a1cf07d8860a022f71232deb9ba873ae9db355f9f1ea75c","observation_id":"d035957b-3704-40da-9fd8-b719f80e7090","resolution":{"observed_at":"2026-08-06T11:37:01.768386Z","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-06T11:37:02.924492Z","title":"Marabou 2.0: A versatile formal analyzer of neural networks,","venue":null,"work_id":"2fa43e9c-de6a-46d7-979c-f51def674c0c","year":2024},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.771839Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:521240fdbd7e407482294f85dd936f8048e21be5ad15acb352f562981044fd9b","observation_id":"590479e7-48fd-48d9-bd9f-aa1df2787ba1","resolution":{"observed_at":"2026-08-06T11:37:02.927728Z","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-08-06T11:37:02.914113Z","title":"JuliaReach: a toolbox for set-based reachability,","venue":null,"work_id":"bef10c8a-df93-420b-83ae-e1dc6a0e2d10","year":2019},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.774795Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:2a21f852616c29ef72555aeb2c50f2c8200a52f323118f913651f82ec4999617","observation_id":"ea575d96-e130-4ec5-8cf3-813e2299076e","resolution":{"observed_at":"2026-08-06T11:37:02.917628Z","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-08-06T11:37:02.903915Z","title":"Verification of neural- network control systems by integrating taylor models and zonotopes,","venue":null,"work_id":"bdf8473b-de47-4fdb-acd0-8acf0cd84959","year":2022},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.777983Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:a2762934aeea1e4bb15f00bcb67d7a63b0645ec0ff86927bea9b0dcabf6f402a","observation_id":"b0b88577-b0f6-4355-847a-2c660bb96368","resolution":{"observed_at":"2026-08-06T11:37:02.907372Z","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-08-06T11:37:02.894684Z","title":"Star-based reachability analysis of deep neural networks,","venue":null,"work_id":"751c964a-cdbf-4a4f-bce5-baa4c529e07c","year":2019},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.781294Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:038ed6b7455de7c4f8efb40c99a85017250be49eac3480459dfe5b9d0b172312","observation_id":"32c122cf-83b9-4c4c-b806-3b2cecc6081f","resolution":{"observed_at":"2026-08-06T11:37:02.897688Z","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-08-06T11:37:02.884401Z","title":"NNV: the neural network verification tool for deep neural networks and learning-enabled cyber-physical systems,","venue":null,"work_id":"5f89fbd8-8f77-4ede-9784-2082564fc899","year":2020},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.784511Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:898e02782911e23979c2e46b7b4bfc05eb397694a254ff9a0766cf9f403c0816","observation_id":"385e6657-e864-4943-a380-096bf9ed9e49","resolution":{"observed_at":"2026-08-06T11:37:02.888236Z","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-08-06T11:37:02.874330Z","title":"Reachable set estimation for neural network control systems: A simulation-guided approach,","venue":null,"work_id":"77608257-8955-4446-bd61-bd9b6ca82703","year":2021},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.787365Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:1bbac527776a36a0a7823726bffb749a98288164c77f13104c87a686e72cb169","observation_id":"e66eeedf-e1c1-4abf-b25b-17d816554a21","resolution":{"observed_at":"2026-08-06T11:37:02.878123Z","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-08-06T11:37:02.863735Z","title":"Verifying the safety of autonomous systems with neural network controllers,","venue":null,"work_id":"532d8635-dc8b-468e-bbc6-9de3f56af7c7","year":2021},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.790799Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:5d59424d91ee65baa61aa7a4215f12f4b73262a1a7e5e79db5c23c8ff0d92ef6","observation_id":"cd999463-6b94-489c-be1d-9d144f25b2c6","resolution":{"observed_at":"2026-08-06T11:37:02.867280Z","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-08-06T11:37:02.854126Z","title":"Verisig 2.0: Verification of neural network controllers using Taylor model preconditioning,","venue":null,"work_id":"03e8c16a-40bc-4b40-b466-fda0782b1998","year":2021},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.794217Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:58e8ffb59583edd0d7eab8d79fd86638ca71099426bf9ebb6ef1473735abac26","observation_id":"c17a8162-cc2f-496d-9652-946e310ea403","resolution":{"observed_at":"2026-08-06T11:37:02.857533Z","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-08-06T11:37:02.844306Z","title":"ReachNN: Reachability analysis of neural-network controlled systems,","venue":null,"work_id":"93834fd0-1479-4524-a57a-d0a3aab88232","year":2019},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.798087Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:b2cbcd9883a67e778f82210bcfc6074a149a29f4ebbb6cfce11df75d0cee9539","observation_id":"fa601eb2-b550-4473-9fc6-06b2a9809c88","resolution":{"observed_at":"2026-08-06T11:37:02.847718Z","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-08-06T11:37:02.833469Z","title":"ReachNN*: A tool for reachability analysis of neural-network controlled systems,","venue":null,"work_id":"04f5859d-19e5-4770-9580-1d9cbf983a87","year":2020},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.801731Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:a554cb83bd37f07bffc114a1d289e9b0da3d1c4ece037253f43f4b2e64235b6b","observation_id":"a6c219a7-6db0-4989-83b4-c97ad9e79016","resolution":{"observed_at":"2026-08-06T11:37:02.837175Z","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-08-06T11:37:02.823801Z","title":"Reachability analysis for neural feedback systems using regressive polynomial rule inference,","venue":null,"work_id":"c07ac102-ad6e-4597-a6e5-2a7e08f61d36","year":2019},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.805181Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:686c0513ab2219899fb9a82945546be4709f31f303afdbb7ae371ceca3bd157e","observation_id":"cb91eb26-9e23-411a-95d6-2e96257d0865","resolution":{"observed_at":"2026-08-06T11:37:02.827369Z","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-08-06T11:37:02.813220Z","title":"Formal verification of neural agents in non-deterministic environments,","venue":null,"work_id":"7a2465ef-bf97-43ea-8006-0df5efe5c457","year":2022},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.808688Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:12b7dd6c90c650f39d090b4a0301d668a3d6912387bc07bd2a18899c1959e927","observation_id":"205ce0cc-8b32-4e81-bbb4-1249422f1e31","resolution":{"observed_at":"2026-08-06T11:37:02.816410Z","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-08-06T11:37:02.802668Z","title":"OVERT: an algorithm for safety verification of neural network control policies for nonlinear systems,","venue":null,"work_id":"4cf65362-f295-44ab-a9c9-a9ef7f788fec","year":2022},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.812507Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:1c33e8bd467a0489f70194f3738fea419c7763d449d3ffde059a129d3ac5acba","observation_id":"6c175f74-6376-43cc-b363-f7d27d32d0c2","resolution":{"observed_at":"2026-08-06T11:37:02.805980Z","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-08-06T11:37:02.792564Z","title":"Provably safe neural network controllers via differential dynamic logic,","venue":null,"work_id":"29d5430d-3732-4996-aa4d-524ecd7449a7","year":2024},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.815683Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:cef418c70725fb04c1b02a07aa5cd1c72874fd6d23fbfaa3163e87c24667b8a0","observation_id":"7b704113-47b5-4512-9a91-584d0cc948ef","resolution":{"observed_at":"2026-08-06T11:37:02.795684Z","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-08-06T11:37:02.783079Z","title":"Discrete choice in the presence of numerical uncertainties,","venue":null,"work_id":"96585aba-52c3-4696-93d4-afc36cafe986","year":2018},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.818730Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:de5f28b5490cb95104c4e0dcc00081d5df33d781d3b9bec2d7fa6a02ec0c0ffb","observation_id":"6b3624ee-7438-4e5f-ac2e-00a5e109432b","resolution":{"observed_at":"2026-08-06T11:37:02.786594Z","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-08-06T11:37:02.774068Z","title":"Compiling kb- sized machine learning models to tiny iot devices,","venue":null,"work_id":"b376973d-d558-4c05-b8b1-be40ea3ea3da","year":2019},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.822768Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:7042f5ec458f1a66a882454dc1cc22b756100067f8457683a98f6162e114bad6","observation_id":"e26dec4a-f3a3-4bd8-af73-68762dcdf72e","resolution":{"observed_at":"2026-08-06T11:37:02.777345Z","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-08-06T11:37:02.764460Z","title":"Deep learning with limited numerical precision,","venue":null,"work_id":"9b4ad813-539e-4a7e-b4f3-08303e2f88dd","year":2015},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.826048Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:7a34f6880e542d84b5bb5e995b846fc853f7fedb9ded30aecf038d0ff3673b35","observation_id":"1d20b3e8-cd63-4255-868e-3611617e1fb6","resolution":{"observed_at":"2026-08-06T11:37:02.767989Z","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-08-06T11:37:02.745708Z","title":"Scalable verification of quantized neural networks,","venue":null,"work_id":"93670e98-c04b-45fe-a6aa-6d080a549c58","year":2021},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.829713Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:3dd661763946a0b6b7298553be3539fbcee213f40c9463d0c19b4525f5ad8044","observation_id":"90fbb80a-40eb-448b-979a-82b85453ed18","resolution":{"observed_at":"2026-08-06T11:37:02.749325Z","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-08-06T11:37:02.735749Z","title":"Sound mixed fixed-point quantization of neural networks,","venue":null,"work_id":"c2abfbeb-5a1b-4c79-8a09-dad7e35a514a","year":2023},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.832542Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:2014b04e93cc09d79f82eb7adf879ef08388921072e257e763d722a80778a57d","observation_id":"1185faad-9808-454f-a11e-f26e4f280861","resolution":{"observed_at":"2026-08-06T11:37:02.738960Z","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-08-06T11:37:02.725460Z","title":"Towards precision-aware safe neural-controlled cyber-physical systems,","venue":null,"work_id":"99ff26fe-2875-40ae-93f1-e38a2f1270d5","year":2024},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.836050Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:518cf5086eca48bd760763df8cec7c71dd2465bf0f2b863b7a6563c387f2cbaf","observation_id":"cd123527-bcaa-42b2-b996-a0c72c0742a8","resolution":{"observed_at":"2026-08-06T11:37:02.728936Z","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-08-06T11:37:02.715611Z","title":"Sound mixed-precision optimiza- tion with rewriting,","venue":null,"work_id":"85c42153-28f6-4829-be1b-98aaba269478","year":2018},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.839259Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:37cd7be2e78d213b7cab17caa550227db894e14059cefa29a3a8e93f9af97160","observation_id":"0bc04f95-887d-4770-9503-77ab0396eec0","resolution":{"observed_at":"2026-08-06T11:37:02.718726Z","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-08-06T11:37:02.705915Z","title":"Vivado design suite,","venue":null,"work_id":"1ca05462-1510-492e-a570-9277b102164e","year":2021},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.842566Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:82a4c41f753663374ff9482ed23907373ba13bff115fc06bdb34b0ddb843dd0f","observation_id":"a70fa499-50a8-4cc8-84b2-75c6e09d9ba1","resolution":{"observed_at":"2026-08-06T11:37:02.709126Z","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-08-06T11:37:02.695815Z","title":"Modelplex: verified runtime validation of verified cyber-physical system models,","venue":null,"work_id":"a91b458b-a32e-4365-a92f-ebe0d6caa7b4","year":2016},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.845730Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:44d6ab9e5110673dc3912c4f650b61d2aed7099616fd99acab319e32cdaa7851","observation_id":"7cdedf2e-e781-448e-8dcc-4517a545d99b","resolution":{"observed_at":"2026-08-06T11:37:02.699603Z","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-08-06T11:37:02.685786Z","title":"Veriphy: verified controller executables from verified cyber-physical system models,","venue":null,"work_id":"cc31da24-f127-4120-b891-ceda8e848c73","year":2018},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.848935Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:7dfc91532be5adaedb04a48279731a921b4f7eb1be9748225e8ff9c1e7e45aa0","observation_id":"190a6a25-9e86-4c10-b04a-8e09d3e14a31","resolution":{"observed_at":"2026-08-06T11:37:02.689737Z","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-08-06T11:37:02.675974Z","title":"Differential dynamic logic for hybrid systems,","venue":null,"work_id":"5cae2c39-ed6c-469d-97ff-6108eb56dfc1","year":2008},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.852311Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:c78aa6ddd9b3e9547302f2826bde58bfaf639cbe975aec5ad636e9eeedb3edb8","observation_id":"4115cdea-f960-465b-8ab8-a81afc99b8c1","resolution":{"observed_at":"2026-08-06T11:37:02.679346Z","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-08-06T11:37:02.665454Z","title":"Differential game logic,","venue":null,"work_id":"3a6b3238-a1f6-47cd-9ea3-705f58546868","year":2015},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.856202Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:f8ea96c34b7ffcdf54e19bb68e09ba3073e9dc37ce92e4dd7969b09ca5bccfdd","observation_id":"fb1454e8-461a-4f07-87e6-b36f5696b584","resolution":{"observed_at":"2026-08-06T11:37:02.668954Z","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-08-06T11:37:02.655621Z","title":"A complete uniform substitution calculus for differential dynamic logic,","venue":null,"work_id":"d17ebb56-3b42-4d52-9101-39e2a44a4370","year":2017},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.859711Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:46e9aee618eb8ba8a280f3a200667fccddb363c827eb4d6ec997b4ebf23c251a","observation_id":"5ebf4da1-e311-49b8-b537-4bab4d7a1ece","resolution":{"observed_at":"2026-08-06T11:37:02.659077Z","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-08-06T11:37:02.645418Z","title":"Differential equation invariance axiomatiza- tion,","venue":null,"work_id":"17c38b84-f802-46eb-bd66-87cc8d4be3a1","year":2020},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.862621Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:892daf68773a02ebdb9db7441b77397000869eaf8e8b12d69ff9f858d8b22cd6","observation_id":"75b6d422-7bc1-4ad3-adac-63a1b9a4cd12","resolution":{"observed_at":"2026-08-06T11:37:02.649220Z","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-08-06T11:37:02.634345Z","title":"The complete proof theory of hybrid systems,","venue":null,"work_id":"d776cbf1-6ac4-44c0-8fba-b2fce565ec28","year":2012},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.865941Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:c30f457a6cba84dac1906fcf0ad7a1efca7c5cc3f8d30df0d6efd518712c8234","observation_id":"7c8f0574-6328-4f02-ba3c-598e9ce12b35","resolution":{"observed_at":"2026-08-06T11:37:02.638194Z","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-08-06T11:37:02.624000Z","title":"Harel, First-Order Dynamic Logic , vol","venue":null,"work_id":"4ca65fd3-302e-4f7e-95c4-540d2add9edd","year":1979},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.869966Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:6842f77e2c6c6c7fc924cda79590781f075eb40557883db7f1015f780306a3f2","observation_id":"600ec39a-372f-4054-977e-d2e0599a0fa2","resolution":{"observed_at":"2026-08-06T11:37:02.627289Z","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-08-06T11:37:02.613916Z","title":"Harel, D","venue":null,"work_id":"c7ca2228-4910-4569-8691-dcf74df3cf06","year":2000},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.873127Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:ef7b5426149ae6aec0d6a3f45a9da9d110399e74f348bfcf1c1f8cbae982eccb","observation_id":"157bc189-c264-4415-9f89-c42cd1ca4f71","resolution":{"observed_at":"2026-08-06T11:37:02.617454Z","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-08-06T11:37:02.603492Z","title":"Platzer, Logical Foundations of Cyber-Physical Systems","venue":null,"work_id":"1d05cefb-fba6-4edf-8c48-16ea5ba3d8bb","year":2018},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.876730Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:ae342c7c203d413ddb0944d01c3dab72e040f7febe43845a7a3baa25c0794b60","observation_id":"83f102e6-003b-4a8d-803a-a12e8eb7fc8a","resolution":{"observed_at":"2026-08-06T11:37:02.606969Z","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-08-06T11:37:02.591853Z","title":"Differential refinement logic,","venue":null,"work_id":"eba0c25f-bf7d-439e-8954-43f4a06328e8","year":2016},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.880138Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:b0d62c4c26cb3fd263416a556376cfa08b812c8ba57286b685f2ebbdecc54c4f","observation_id":"5d2cb5f5-a5fe-4e38-bb9c-ae847e19d007","resolution":{"observed_at":"2026-08-06T11:37:02.595933Z","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-08-06T11:37:02.581428Z","title":"Uniform substitution for differential refine- ment logic,","venue":null,"work_id":"5d21dae3-4854-45d2-bf78-e314441afb6f","year":2024},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.883921Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:c22a7ec8b6b3dd474c2d4b41160ee4bec90682bae274c059056586200df043cd","observation_id":"d430b161-8f80-4a64-8f8e-367819d9eaa1","resolution":{"observed_at":"2026-08-06T11:37:02.584446Z","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-08-06T11:37:02.571390Z","title":"Automatic verification of control system implementations,","venue":null,"work_id":"703ad99d-f371-4e5e-9f19-7402c699e054","year":2010},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.887236Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:74422b9620726217ce56a77abf3db5e26a0d31461275de5c2511edb26202e7c4","observation_id":"276875e0-ca7d-45ee-8ce2-1df48dcce475","resolution":{"observed_at":"2026-08-06T11:37:02.574722Z","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-08-06T11:37:02.561059Z","title":"Rigorous floating-point mixed-precision tuning,","venue":null,"work_id":"3c95bb5e-f36c-4b34-b6bb-3709c31d7e03","year":2017},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.891074Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:0981dbebce393645522b3d2d3f9574c506510ee635e53f5e6b3e7a65850856b7","observation_id":"6c2fd855-85c5-429f-9424-182b85d0f895","resolution":{"observed_at":"2026-08-06T11:37:02.564450Z","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-08-06T11:37:02.550275Z","title":"Mixed precision tuning with salsa,","venue":null,"work_id":"5d6cfe88-b20b-41c5-b829-0bb4d374b183","year":2018},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.894395Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:df21b10d33aee619a44614a8d60ef79613e00439cf089f9df283b84cec22a1a6","observation_id":"0c620e41-c3c5-4a84-83df-154f0324b8ec","resolution":{"observed_at":"2026-08-06T11:37:02.553993Z","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-08-06T11:37:02.539426Z","title":"Fixed- point code synthesis based on constraint generation,","venue":null,"work_id":"612ad031-0bcb-4a95-9f74-68b1fda67a4d","year":2022},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.897667Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:ff97629f938a0dfe64708dde555918168f581fe08ff00bc52afc31d93e043a93","observation_id":"906931f6-eeb1-4457-956a-74ac194e3374","resolution":{"observed_at":"2026-08-06T11:37:02.542685Z","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-08-06T11:37:02.528301Z","title":"Yesterday, my program worked. today, it does not. why?,","venue":null,"work_id":"b8128535-e329-457f-a383-441b2b705ba3","year":1999},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.901149Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:be9d6230f27d8c12eaa78bc930b43435b197415d4a1cb4a57e81850a4ef66cd6","observation_id":"6d78d9f6-1ee8-4fcc-bdd9-f600a0b0ed05","resolution":{"observed_at":"2026-08-06T11:37:02.531967Z","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-08-06T11:37:02.518270Z","title":"Z3: an efficient SMT solver,","venue":null,"work_id":"af2fb89d-0ae6-482b-98cf-9d3400931bff","year":2008},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.904966Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:e59dae9510166617d932692daf04c7b837b3d1ba27144d01efe40dc1fd37d1bd","observation_id":"13afe244-508c-4ba3-bcf9-dc07c6077fe5","resolution":{"observed_at":"2026-08-06T11:37:02.521780Z","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-08-06T11:37:02.507837Z","title":"Arithmetic solving in Z3,","venue":null,"work_id":"9bd4268c-7d70-4769-8b33-da0770dbb6b0","year":2024},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.908180Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:ea6346faa2e14150cf673f7d145d2dec071b0504ee1ac15890e57e1f468d98b3","observation_id":"f5c810d8-a1db-4345-9d9a-eb82d3adb2f9","resolution":{"observed_at":"2026-08-06T11:37:02.511082Z","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-08-06T11:37:02.495004Z","title":"Cooperating techniques for solving nonlinear real arithmetic in the cvc5 SMT solver (system description),","venue":null,"work_id":"4c5363c3-b473-4045-8d5e-85b92b0d3a63","year":2022},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.912554Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:88eea67651875214b4aec624d176a863f7aa6df86c3dbb3d699131e5e4e6de63","observation_id":"fc0652f3-bd18-465f-a2af-e0ec39ff5433","resolution":{"observed_at":"2026-08-06T11:37:02.498511Z","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-08-06T11:37:02.484529Z","title":"Mathematica, Version 14.1","venue":null,"work_id":"706a2e94-75cc-4700-9e23-8aaa550d9a9a","year":2024},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.915955Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:aa2a02a98b762d16276d5fd66311d2edf2b684b742fc911e3c2d28e793859a7b","observation_id":"b06f6aa7-1e8f-49d4-adf5-4ca7d30f8a9c","resolution":{"observed_at":"2026-08-06T11:37:02.487744Z","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-08-06T11:37:02.475709Z","title":"Critically assessing the state of the art in neural network verification,","venue":null,"work_id":"1d74a938-8e6e-4b8a-aca2-3f3f4afc9ebf","year":2024},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.919067Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:418719a8d15ef26d55de50e1b7a8f9c07a997d5a936c2028988acf9ef63007ce","observation_id":"a9fad279-dfc0-4dd4-9192-521126840f93","resolution":{"observed_at":"2026-08-06T11:37:02.478706Z","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-08-06T11:37:02.466018Z","title":"First three years of the international verification of neural networks competition (VNN-COMP),","venue":null,"work_id":"215034eb-9f9f-4671-93c4-698ffb3553c5","year":2023},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.922164Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:354a2b73ce7313c27aefa3445e0bb0919286f1c884499da95b9f5ce16a1dc66f","observation_id":"355273d1-d499-4530-b53d-c6a0d738e3c2","resolution":{"observed_at":"2026-08-06T11:37:02.469405Z","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":{"arxiv_id":"2412.19985","last_updated":"2024-12-28T03:07:00Z","snapshot_observed_at":"2026-07-06T20:13:58.813488Z","submitted_at":"2024-12-28T03:07:00Z","title":"The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-08-06T11:37:01.925404Z","title":"The fifth international veri- fication of neural networks competition (VNN-COMP 2024): Summary and results,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.925404Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:49bfb64ebea2890b9c978bce5682e9ebe4e18a64d4ed8c008a81f64b5ab5032c","observation_id":"6fccdc5f-0fb5-4861-a579-6f19c07f34f8","resolution":{"observed_at":"2026-08-06T11:37:01.925404Z","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-06T11:37:02.455482Z","title":"A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system,","venue":null,"work_id":"5de48504-1687-4ee3-b8a7-7caf052b0e3f","year":2017},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.929037Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:239cf562518737db72ede4d942c4fcab167f404316595670246beceb22cc8142","observation_id":"2908b9b8-2c2a-4cea-9b3b-34660e73615f","resolution":{"observed_at":"2026-08-06T11:37:02.458843Z","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-08-06T11:37:02.443818Z","title":"A formally verified plasma vertical position control algorithm,","venue":null,"work_id":"21ee253d-cca4-444b-99be-e5d368678d7b","year":2020},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.932301Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:23e0823711b10838e976b6f6388f16d26e28cccfb8c920cd08871a78952f3618","observation_id":"e32d8229-a026-41b7-a162-b87801cd81df","resolution":{"observed_at":"2026-08-06T11:37:02.447958Z","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-08-06T11:37:02.432333Z","title":"Formal development of safe automated driving using differential dynamic logic,","venue":null,"work_id":"a2645335-5b38-49c7-b864-4fd38c04d909","year":2023},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.935995Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:c7ee86292d90dc994d8f205c85fc53fe41516019d1f284f05e10092c864dd358","observation_id":"5e9b86e4-a77f-44f1-acda-63ee5f574bd9","resolution":{"observed_at":"2026-08-06T11:37:02.436226Z","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-08-06T11:37:02.421978Z","title":"The image computation problem in hybrid systems model checking,","venue":null,"work_id":"2dac339e-848c-47fa-8303-1e38b8bfb8c9","year":2007},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.939607Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:137a9d6079351e99afd7d24fc2a14acabd8645eac6fed1de1605bde76d7d8031","observation_id":"dbe74a85-6ec4-43a7-89c3-56f3f7ab4f06","resolution":{"observed_at":"2026-08-06T11:37:02.425674Z","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-08-06T11:37:02.410008Z","title":"KeYmaera X: an axiomatic tactical theorem prover for hybrid systems,","venue":null,"work_id":"e0676001-1104-40aa-ae6c-bdde1ebe9691","year":2015},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.942945Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:87b99f72baa39a999b4ec9eccb8d9ead8fc62a4fe8dbfddaea7c3614448e5c8e","observation_id":"c0e49953-220d-4ca3-bf46-152bbaa72691","resolution":{"observed_at":"2026-08-06T11:37:02.413711Z","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-08-06T11:37:02.398443Z","title":"Verified train controllers for the federal railroad administration train kinematics model: Balancing competing brake and track forces,","venue":null,"work_id":"ed0ce24c-986b-4a98-a8c3-b088504296f3","year":2022},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.946743Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:f3255e3610e64ab699d11c2dca325b3fe17769aa5f47887bca0c577aa91d21c3","observation_id":"b02271fd-8665-4d27-a72a-81341efc74d2","resolution":{"observed_at":"2026-08-06T11:37:02.401990Z","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-08-06T11:37:02.387062Z","title":"European train control system: A case study in formal verification,","venue":null,"work_id":"a9b8fd97-96b4-4a75-8968-3ca24d7c491d","year":2009},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.950360Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:3489a35b20cbf04579208293ab6ab6a6f2d17e92d1e38c35d7d2ab7c5599b2d2","observation_id":"c43b682e-e0f5-4ae0-8077-ad1521252a18","resolution":{"observed_at":"2026-08-06T11:37:02.391345Z","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-08-06T11:37:02.376190Z","title":"A formal safety net for waypoint-following in ground robots,","venue":null,"work_id":"c8de7802-5bbc-4341-b1e2-f4f4659044a2","year":2019},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.954002Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:e3865fda1f80f7ea12bcf037ac4de5b017d37869c9b5f4efb70b1c99e832c4df","observation_id":"03e12857-2c68-4a43-8e2e-4d8c8e5f7fba","resolution":{"observed_at":"2026-08-06T11:37:02.379812Z","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-08-06T11:37:02.365030Z","title":"Verification of autonomous neural car control with KeYmaera X,","venue":null,"work_id":"d7d3c17a-863a-43c0-89a6-60e9f9b388c3","year":2025},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.957039Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:a487e7d4b5785a7afd32c98daf73f78b73d5f31534e47089a479ecef9ba321ea","observation_id":"4f44a8ec-9208-4da1-80a6-7f4bf703c6b2","resolution":{"observed_at":"2026-08-06T11:37:02.368735Z","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-08-06T11:37:02.353997Z","title":"CESAR: control enve- lope synthesis via angelic refinements,","venue":null,"work_id":"336da3e9-f5e0-494e-9072-e32ae8993a9c","year":2024},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.960065Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:273041b37c7c4d87e2484268934485338c6477051e88e73007ceec13eb28d54b","observation_id":"a3cee814-3112-4b7c-b2b0-04287e97e892","resolution":{"observed_at":"2026-08-06T11:37:02.357852Z","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-08-06T11:37:02.338484Z","title":"samysweb/NCubeV: v0.9,","venue":null,"work_id":"57df26ac-2e08-4ca6-9ebb-b29b686c5503","year":2024},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.963517Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:798dc3c42e46309ecd09a9b2fa32c5f827425cef2958abcc33abe97d023f274e","observation_id":"8fb742a8-737e-4ca2-8797-2ce1ba6691e7","resolution":{"observed_at":"2026-08-06T11:37:02.346457Z","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-08-06T11:37:02.327784Z","title":"PicoSAT essentials,","venue":null,"work_id":"0950e1ff-1f79-421e-aaad-fea03486bd38","year":2008},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.966827Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:3deb7482173c54ec32147b9a14da09b2605ef532b3c37aeedf33ed0e0e7c3ddb","observation_id":"880c65a9-a5c0-497c-99b0-9ddc46749cf0","resolution":{"observed_at":"2026-08-06T11:37:02.331192Z","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-08-06T11:37:02.317004Z","title":"Optimizing the next generation collision avoidance system for safe, suitable, and acceptable operational performance,","venue":null,"work_id":"031117b8-b199-4213-a4fe-f4fd2f52c7de","year":2013},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.970103Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:040ca548b37c3d27f9faeded19b2236f5f03bda2672df534adec525053f99bc0","observation_id":"f58d2036-d371-4b78-a1ab-e859aef74c30","resolution":{"observed_at":"2026-08-06T11:37:02.320659Z","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-08-06T11:37:02.306923Z","title":"Next generation airborne collision avoidance system,","venue":null,"work_id":"1cb34f4e-243b-4382-b3c9-d5ca661501ca","year":2012},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.973253Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:a18f82d70fbc015a91351f0b4b58820a1c4d8d4fb39aa097aee099ba409f56bf","observation_id":"85e5d85d-7082-4bd4-b8cf-4a73f52eb8da","resolution":{"observed_at":"2026-08-06T11:37:02.310221Z","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-08-06T11:37:02.297447Z","title":"POLAR: A polynomial arithmetic framework for verifying neural-network controlled systems,","venue":null,"work_id":"1c3b79a4-5490-423e-a6c9-6a27a5fa5769","year":2022},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.976184Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:243aaae05f9477634d934db3fcc383e83e40495b5f67e9af2b5c97a1a2704099","observation_id":"e4325762-4533-4a79-92bd-fdaf467792e0","resolution":{"observed_at":"2026-08-06T11:37:02.300656Z","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-08-06T11:37:02.287446Z","title":"Generation of Lyapunov functions by neural networks,","venue":null,"work_id":"14810854-7348-4b8a-8239-1a36a100a033","year":2008},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.979206Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:2122e0941dd7c4daf65b2b49603d6d3bd448eced7371c68cc92e842607582e53","observation_id":"943c0322-a4a7-4733-b90f-11b7e3b511aa","resolution":{"observed_at":"2026-08-06T11:37:02.290694Z","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-08-06T11:37:02.277466Z","title":"The Lyapunov neural network: Adaptive stability certification for safe learning of dynamical systems,","venue":null,"work_id":"c28f0c0a-4cb5-4300-9044-c387afb6e379","year":2018},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.982583Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:4268f8e93e70911b6288ba85c1f8be8cd4e214665cc745f5a123f217b95aa573","observation_id":"5d167b80-a312-4ed3-b27f-0bc92abeb166","resolution":{"observed_at":"2026-08-06T11:37:02.280615Z","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-08-06T11:37:02.266857Z","title":"Automated and formal syn- thesis of neural barrier certificates for dynamical models,","venue":null,"work_id":"ca01e962-d3a4-47db-b9a4-d0fc879959d2","year":2021},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.985854Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:0972a41c732fa2a156eda1317a2b46265d1920f3b8273f9baae9f8fea8a93c24","observation_id":"bcff684e-b844-4faa-964d-ea25fee65201","resolution":{"observed_at":"2026-08-06T11:37:02.270508Z","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-08-06T11:37:02.256850Z","title":"Formal synthesis of Lyapunov neural networks,","venue":null,"work_id":"80e7be64-f0c8-41c6-a765-26fc591247ed","year":2021},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.989228Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:0b2881d37d38e1c2dfef12eead7081b7b246c5e974a5bf4a92b022ad9ff9fb78","observation_id":"b860bae2-6eeb-4208-b392-7fc71ee75216","resolution":{"observed_at":"2026-08-06T11:37:02.260316Z","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-08-06T11:37:02.246693Z","title":"FOSSIL: a software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks,","venue":null,"work_id":"154ba2ea-5e4d-458b-9f7e-d2f05bc6e698","year":2021},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.993252Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:7a1e62e90d505b03090c2b4b25a9eae704efb357f6c4d046cc67fb5659351a6b","observation_id":"100a5b4b-24fb-4879-86a2-12aa7d38f5c3","resolution":{"observed_at":"2026-08-06T11:37:02.250477Z","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-08-06T11:37:02.235898Z","title":"Approximate conformance checking for closed-loop systems with neural network controllers,","venue":null,"work_id":"cf80afd4-9026-45c9-9d72-61c0ebd2a50a","year":2024},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.996521Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:4678345113634c5bd77339be2b2a2e2792cc43904e16065ca4d6b913232e2de6","observation_id":"2b4faaae-9f6b-423b-b2d5-b3e1bfc1f24a","resolution":{"observed_at":"2026-08-06T11:37:02.239609Z","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-08-06T11:37:02.225726Z","title":"Verifying equivalence properties of neural networks with relu activation functions,","venue":null,"work_id":"9dd11f46-4ef6-4a30-9b67-d6595b5d8641","year":2020},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.999736Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:c249dab032fe047675cd66966108c0506f4d2b5303f9a9477b0677aa603c4d29","observation_id":"f2a821ca-20cb-46c9-964b-ac76339933ee","resolution":{"observed_at":"2026-08-06T11:37:02.229235Z","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":{"arxiv_id":"2001.03662","last_updated":"2020-01-29T21:29:59Z","snapshot_observed_at":"2026-07-06T08:49:50.591147Z","submitted_at":"2020-01-10T20:47:22Z","title":"ReluDiff: Differential Verification of Deep Neural Networks","version":2},"cited_work":{"arxiv_id":"2001.03662","doi":null,"metadata_source":"pith","pith_arxiv_id":"2001.03662","snapshot_observed_at":"2026-08-06T11:37:02.071389Z","title":"ReluDiff: Differential Verification of Deep Neural Networks","venue":"cs.LG","work_id":"e6665cb2-9f68-4eb8-9279-eff8d72887d9","year":2020},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:02.003220Z"},"links":{"cited_paper":"/paper/2001.03662","citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:152858fc5845bee4dcbf44d392ab3ac923d48738c71f361b2257346eb31598ca","observation_id":"d4aedb5c-3fda-47f6-aff2-6f3c67510e21","resolution":{"observed_at":"2026-08-06T11:37:02.077220Z","resolver_source":"local_arxiv","status":"verified_exact"},"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-08-06T11:37:02.214628Z","title":"QVIP: an ilp-based formal verification approach for quantized neural networks,","venue":null,"work_id":"55ed6d18-316d-4987-b7fd-89c02b7ab40b","year":2022},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:02.007623Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:036f283b5122f7d62d104c24343adbf9fd59f8f4ae29252a3a820cb732d74714","observation_id":"1c78fd7d-9439-474d-a13c-44626a37116b","resolution":{"observed_at":"2026-08-06T11:37:02.218325Z","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-08-06T11:37:02.203743Z","title":"Towards efficient verification of quantized neural networks,","venue":null,"work_id":"49ab009b-336f-4fb8-b5ba-515d30566a51","year":2024},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:02.011513Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:b62f8f8a25e29559710fc6b47c68a69e1af2c372cbf7d8fe99d2034e52bb295d","observation_id":"8c173cbc-ecc8-42e5-8134-7c825c635e11","resolution":{"observed_at":"2026-08-06T11:37:02.207346Z","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-08-06T11:37:02.192849Z","title":"Fast and efficient bit-level precision tuning,","venue":null,"work_id":"823a65a4-4c13-4bb9-adf7-c963da7c87f2","year":2021},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:02.015046Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:8606f492759ecb0bbd1195a12bd5e196c954c52983e0045e40cfe5d638ca74e1","observation_id":"e92dcfe8-5e98-42b8-946a-1e49147cccd8","resolution":{"observed_at":"2026-08-06T11:37:02.196649Z","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-08-06T11:37:02.181873Z","title":"Shiftry: RNN inference in 2KB of RAM,","venue":null,"work_id":"824ff7b7-e6ac-4ae5-bc5d-b545ac4a7f6b","year":2020},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:02.018449Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:68f20aa3b295915be71555cd8e50d072f6d5b6696e28b76475d5dae9a0bff168","observation_id":"8ab42709-2632-4f2c-99b2-833653e82a74","resolution":{"observed_at":"2026-08-06T11:37:02.185654Z","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-08-06T11:37:02.169741Z","title":"Energy-efficient neural network ac- celerator based on outlier-aware low-precision computation,","venue":null,"work_id":"c1a726af-7e19-4089-8e3b-0efe12e0771f","year":2018},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:02.021962Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:72fe05a15c90a14ac500072ccabc8e4de8836fa5f07b31a6d4f2179869296b14","observation_id":"36f07ea7-0eab-41da-9752-94200cc9352c","resolution":{"observed_at":"2026-08-06T11:37:02.173873Z","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-08-06T11:37:02.159460Z","title":"Bit fusion: Bit-level dynamically composable archi- tecture for accelerating deep neural network,","venue":null,"work_id":"d4b7d965-4014-49b8-b9d7-2978e15bb852","year":2018},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:02.025414Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:c213fc3d05b1c707168dfad2ea6a4f7dba3e0d6917cc2b8f1a8f34cc4e73c8ab","observation_id":"1113a164-b2f6-480b-8caf-cc5ba81c717c","resolution":{"observed_at":"2026-08-06T11:37:02.162947Z","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-08-06T11:37:02.148655Z","title":"DRQ: dynamic region-based quantization for deep neural network acceleration,","venue":null,"work_id":"21c08d61-b176-4233-b3ad-5470fe22392a","year":2020},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:02.028883Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:280013f2c9c6bada8b2487812b2fa15427ff31e651138ba78e1ca9c3331e12ad","observation_id":"865b0506-f47d-4256-b6e4-d65d33dc1cb6","resolution":{"observed_at":"2026-08-06T11:37:02.152741Z","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-08-06T11:37:02.137807Z","title":"Rigorous floating-point to fixed-point quantization of deep neural networks on STM32 micro-controllers,","venue":null,"work_id":"ba2c5f50-5873-4ad2-b2d9-bbcfb91bc96c","year":2024},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:02.032658Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:87f205df9645952bfbeb6773adac4a2bbb38823ec0c61d1e10c3bc6d40abbfb8","observation_id":"c7cc1394-6eb7-4e64-80ec-3fe907db9c2a","resolution":{"observed_at":"2026-08-06T11:37:02.141456Z","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-08-06T11:37:02.126523Z","title":"Reflections on 10 years of flopoco,","venue":null,"work_id":"f5a9ea5c-3acf-49b3-afa6-876d4e7beef3","year":2019},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:02.036405Z"},"links":{"citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:5e73c0e9fedc54519271b0063b53f21ae9289c7ac8b08951a75b84c533dd638d","observation_id":"83c44231-cd1e-4ded-9d49-cb9d62d445fc","resolution":{"observed_at":"2026-08-06T11:37:02.129861Z","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":"2507.22760","last_updated":"2025-07-30T15:21:22Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision"},"reference_resolution":{"displayed":96,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":18,"verified_exact":2,"verified_fuzzy":76},"total_outbound_references":96},"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 96 of 96 outbound references and 0 inbound Pith citation observations for arXiv:2507.22760."}