{"as_of":"2026-08-10T10:00:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:dcbcc8cf730fd9fdfa206e04d321abb477c527185efae746955401179076e312","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-10T06:31:04.303077+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:48a6ae17b46e2ca04e323618253404921f93fccf5602bf4bb3929949248e1729","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:ce5ae21d1c006fb03a34eef274f03e57ced097e69a4788fb7f351191797d3762","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:53b4b072e3d2c94db4a403e8757c828a314d4594756c807324fe5d392877afab","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:be8fa0940d067c059e4475b9c817418226247dc14d982eaf37f3f62fe3af3ad6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:96b8b00189de6a721b54da8a932521602101136f66e85130a50eec2135037ee4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:e06520c664e3d4779f24c3deafa936252017d3a44fd6e9a6ffe8e09fb514dc75","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:acfed1462972a04f2f6c96d1cda4e78bec614a5b394da84bf337b2e3eb5dd263","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:718ee5b3bec30db9a190e3f712d10a6b9e666a5e784b6df791319c62e5823a10","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:86de2082c70f9a359d281b1d4090b3eabf996d1c0fee1bce17a049e3ad2ccb92","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:97999bd259e5a372f3aa8400a8a0d6896907b4a28a1a7fba6a9af8e45f79be07","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:c9466d5a5e79ba5e92399f9532a304046a7b84e04a297f61ad857d1c625a29f5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:f9e80342f479f26fdde1dca63ebed4e2645f64285bfac6cdb0ed49889e565eeb","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:6bd51e60d67ef6d32d1ac5ab44b87a488d31089485542b88f4928fa3e3f558c5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:907a3608b825c809570beb6944907a2a1ca6181c3043008ee19a3ed8ca92e7dc","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:e8342dc90bcbf9e93ab2c986971563b4301d75a6d20b343ad918eb13d037b505","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:ba4c01e81424f42fcf2e313b05c842df7414ed8bc615626fe718cbbef67c9551","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:cadf827e503f29daa1cf04d932bebc6f702f928acc9c653d43cbe78de0657922","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:fbb44f728e1d44f4d5581de7ea0367777a466f7227ef7a0ecf106cc2ca548a4a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:5ffadf61ab4131a91e444fb4ea1c9945e5e4eeddd4dbba0515192bee965e0d80","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:ca8032eb21b41189f39daa511793da6d13c0f5fe4028d325f003891e2386da9f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:988f12e608879b76ddf8ef0fa48b2d147a0650ab7aecd6a098f87c1f969dbd5b","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:0929bdca223ed4f5711721bf85a7f533c790a8c5e1662f4b3503ce063ed0461f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:6e4429acbb2bf9b5e59fb12f832c81bca83e193f26167e4957acfb3258b5bf8e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:0ef9abaf4f8a15b7ff77a9167c985ad8f5dfa95c99f5fe03b1a16c7f779b6894","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:b474d168d0ecd995167c1b80b9ecaa559f3d52b56fe7f0b4638a3ecc9da65373","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:8f296a288cc85f41b7d2a87e3b95f4b03f4d743d509d0c73010ae3e8f23aba9e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:44ac02a5ef1632ad9ac8b37edac62d1d463cc6e506d2db368ccc461b963bd60c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:64964406d3f9ad4c8c5ddba1c2f39ba690d0ed1d3512be2fadb66e6b3933dc75","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:cc8326b38433e211ad0de9721fcf687246b1611a98bf6cbcfc5e1c450f721e15","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:60e0123542d4c86398dad9b380f1df9a84c5be1d842f13d0690dfaf123bb2103","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:6e78dbd46f2494e4b244642992ffdb8f2a500eb8d1e7c22b265e7982a31c9043","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:bf3b2df6305246a0140d975376f7822aa4835185abe89d7eaeaccef0085365ea","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:bbf72aebfe1b36259071de1bb903eed3ef28198d3a949c510d75357c0a7998e8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:b91f7e3df8ba3017ed68946e1dc4e9a4c5a1d22d128ae27fc4f35b109f115c55","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:1bc3d6205815b492cd3aad3241268637a26e1e11827e5f103748da520f1f5fdd","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:05c94d28eb8e235e8ed4c58d2d2d8bde45c4f318a05e668c512b6115185c6319","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:b661bff61bb922177202e05410f1da59fb4c18a1948ece2d247bd174c34e28a0","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:1a5120f44800b01579f5dd99773b41879a8db5edc3146c9e0cac8ebb61b7e451","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:379650d2d3bd7caadf066609165892d89448a35e0a0967cb448e16d77ea7c20a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:f3d177c82e028d9190d5a4ce9bd14d3f465ea1cd14fe3bfb12a80ba9dcdb2c87","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:7fa39f44a74b28e20bb482def65cfa414d15be6a43c76a93251aa4d58f2bd702","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:225439108900abf1b7e3cb229606fbd1271276332eabd42e5d0972242e653ad0","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:ffc3976dfc4b95d12e912101c189f303459b0d1995cd04fa99180750c66e0114","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:b752a2faae1232c09781d62718b590f6789e6c59b9bbb35f012e8d45d2dcfe4f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:36d0913ec07126be1599e1ebd9348ad18f6addfe52a502eea58255f2a5cd0a24","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:dd98643e1de4aed381b0821e0d2d3e46775c630407ef90368a0cff06062aa15c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:90efad823e5286e03914f43b792f44955595751cd2ca455d2d67c3745e5c01ba","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:2eae1c1a2f62bca12018c246ebec8e8fc6ac5562b7bb57ec85e1a6e806eee0bd","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:b2d87fe22811730c950abb98c440becff91416f2f55df8fca8a9e2c8aef0ae54","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:f0bc77cbcf54ebadc202c90aec27e995ae6789a0256b74223ce2412543ee0a07","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:78786287c5697b9709c39d7431fc97159f9807fac8996b9b7e904908cda17265","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:a235add159530a84d03b26b85e32f7d30a01d8fea1a18ecee37091f034179b0e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:af24afb2f5f747828654d0e5db3ed204526151cab6b1eb88f1664416f1a1ffd6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:f763d6f0d66d354ad6668ca3a6733d5d442b18fd19168f7631a78f11cb284547","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:f683f5a550b4be3396b4668ada782885b1026ec4efe5d552849031a7b2a80979","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:b7b8a36a62c87ad2d99249e6e5dda743a28c21a3f88548b9ec16f6e68adbefe0","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:d9ae228d9739e5158884c171cc4f1de900b115ed852493b7c99a8cfe9cb0674e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:1dd7483e4f4244e6948379591c02ba9a32bedf5e6afb3ffae2f814bb6abc9009","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:a3ebbf8ef5522a8b21daa52f62cbcac48d595e0a6d89948d9cdb402b061cf3ee","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:441ae932d5304eeb65e9408e581e06526e86a82331502dc3499174277d1231eb","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:a7f9ab3d61724c3a776318141e7d70980206e2b22e12f5fdf00be4df0ebd10d2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:c7421fccb6e7608f7b18246f3debeb7035b194d714e8a7939e21a024d76787d7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:cc970fb62d7bb1d73f2130a5a557fb0d1b9cdf374502190e4204efda48312ed3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:b46044c27e7e56ed69028e269f828661709dcc74e7a152ac82f0f7b8f3245249","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:5e01feb3f33e85a7447cae9eb3a0d8555264c399463863c799975338476a6ae3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:0468df34edc399a04c291ff5fcae1b1ef1350ddecca78bfc4d61d2a497800ef9","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:6475aa7399efd0c37b3adc1ec2967330ba4a03df9967db8deabb2e86ff39cac3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:bae5be9bb75cee8ca9afa8837b350817e31abe7dc7ca9ec6dc7a8f49736d24b2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08-09T06:54:45.551227Z","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:18d6fbe9e00898c7973790f6212c8d10a1a918bab07124c0db29f231956c1684","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:da965df74d2cdadcd1ad676162769cdf6dbae47de449b864d26a33c5ff6bcf3a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:77a0f4bae08537f11f32fc3c7f99d48e61a14aca6e41e5b628577b33e901b239","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:c7d6f75dcb2c3f08f01592d1d8b07a4406bb51a7872db2415af09506ec1a7f2e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:6b950ca28d47e3455731a3fbdd49df423fe549e5b05683305d9fe17c3a273463","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:66dd5ed5414a328a3ee5080077d7d61c1655a237407dd7d7e2693fce280a5f2d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:fcbd858da5ba10c452904e05304108e76b655e1abc75a816813bc2022c80404f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:a8a566826859c50887844b33b81c54bcb74e387445aaed1c3d398f6e3d8d8981","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:5110819cc531aca7dae6defa7e724fdb2152e2b30ea3271cf6fb91833d2fc9fd","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:2707b1cf2ddeed2e3d97b7836fe085e08fef392d1047229735ab3fa0239d7af0","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 96 of 96 outbound references and 0 inbound Pith citation observations for arXiv:2507.22760."}