{"as_of":"2026-08-13T15:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9101f0f607c22838d9555c76cbe2bdc91dbfd8215696113efb72690452ac3a04","coverage":[{"denominator":47,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":47,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:31:53.416883Z","state":"measured"},{"denominator":47,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":47,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+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/2411.14163/citation-record","integrity":"/paper/2411.14163/integrity","json":"/paper/2411.14163/citation-record.json","paper":"/paper/2411.14163"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:31:53.287346Z","title":"In Aaron Dutle, Mariano M","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.287346Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:924a596928d8c9c2571d46af9a70f42099f1fcdd93e678e94a41be3be52ec8b8","observation_id":"2cda9a78-6945-4a65-80b1-cf3a4be32982","resolution":{"observed_at":"2026-08-12T15:31:53.287346Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.00498","last_updated":"2021-08-31T01:29:56Z","snapshot_observed_at":"2026-07-06T11:43:28.084184Z","submitted_at":"2021-08-31T01:29:56Z","title":"The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.00498","snapshot_observed_at":"2026-08-12T15:31:53.290850Z","title":"arXiv:2109.00498","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.290850Z"},"links":{"cited_paper":"/paper/2109.00498","citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:759d1dfba0e4149343e294f097f368186799c651b233b30e357b39900692ac45","observation_id":"463a7f78-3a61-4fbf-a498-043a79e847ff","resolution":{"observed_at":"2026-08-12T15:31:53.290850Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16760","last_updated":"2023-12-28T00:46:35Z","snapshot_observed_at":"2026-08-13T04:53:10.201877Z","submitted_at":"2023-12-28T00:46:35Z","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.16760","snapshot_observed_at":"2026-08-12T15:31:53.294153Z","title":"Johnson (2023):The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results, doi:10.48550/arXiv.2312.16760","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.294153Z"},"links":{"cited_paper":"/paper/2312.16760","citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:e93a0a7891ed45bcec4b8c2a35d319a50e110fcfb75549cabbaf4a5bfa3b7ceb","observation_id":"ef148997-ca0e-4488-a01b-a69a7db14d0b","resolution":{"observed_at":"2026-08-12T15:31:53.294153Z","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-12T15:31:54.096322Z","title":"Bunel, Ilker Turkaslan, Philip Torr, Pushmeet Kohli & Pawan K","venue":null,"work_id":"6d04ee29-e22a-44e8-b6b1-f6ebd2048d1f","year":2018},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.297294Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:e355161004a5cdfb1a191c451dc60e9de2a93bc81a7effb16e294b09f355e479","observation_id":"b4ce8704-3bbf-4928-b1a1-0da5da55b338","resolution":{"observed_at":"2026-08-12T15:31:54.099174Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:31:53.300394Z","title":"Daggitt, Wen Kokke, Guy Katz, Guy Amir & Idan Refaeli (2022): Neural Network Robustness as a Verification Property: A Principled Case Study","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.300394Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:87e769ef742e49565b1f84ae26925f12a3ddfa93c9a14921df7b37e12a46925f","observation_id":"679f1e87-859e-43e8-9aad-48deb491c7f2","resolution":{"observed_at":"2026-08-12T15:31:53.300394Z","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-12T15:31:54.089255Z","title":"In: Proceedings of the 35th International Conference on Machine Learning, PMLR, pp","venue":null,"work_id":"8b41d925-3456-4c2f-80dc-8b70c701fa25","year":2018},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.303329Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:724b04081a3c57d6ed0ce7d66ce3427279eda5720fe34aeb432e46fe5a0a530c","observation_id":"b58f9801-a14a-4085-8212-bf3b8526f4f7","resolution":{"observed_at":"2026-08-12T15:31:54.092097Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:31:53.306798Z","title":"Pappas (2022): Risk verifica- tion of stochastic systems with neural network controllers","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.306798Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:b812fc2ef85a1fabd3fc65d19004b0154f3f54d1cb4e9790c8a875ac8c8390cb","observation_id":"3c3221a3-b09a-4521-a126-a3c66c1ccf89","resolution":{"observed_at":"2026-08-12T15:31:53.306798Z","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-12T15:31:54.081477Z","title":"comma.ai","venue":null,"work_id":"10cab2bd-5775-4a8f-8258-9aee0d577981","year":2024},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.309551Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:7ee132922cd8b0e31f1c46a1fc1aa20dde9fa1c31850baad0c2a5612e04edbe4","observation_id":"6854bfec-2663-4287-bf3d-4e871f6a7057","resolution":{"observed_at":"2026-08-12T15:31:54.084381Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"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-12T15:31:54.073311Z","title":"In: Proceedings of the 36th International Conference on Machine Learning, PMLR, pp","venue":null,"work_id":"be72dde1-dcfb-48c9-bf58-a581c66cdc47","year":2019},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.312226Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:429d3a3d32143b0ebaa866ea992357f894c82b67a83d6d6b79959d7a5365af0d","observation_id":"423a9b53-ba83-41dc-af8a-61763cc9c08b","resolution":{"observed_at":"2026-08-12T15:31:54.076099Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.03847","last_updated":"2025-03-14T12:28:50Z","snapshot_observed_at":"2026-08-12T23:28:54.135600Z","submitted_at":"2024-07-04T11:28:40Z","title":"Comparing differentiable logics for learning with logical constraints","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.03847","snapshot_observed_at":"2026-08-12T15:31:53.314848Z","title":"Pearlmutter & Rosemary Monahan (2024): Comparing Differentiable Logics for Learning with Logical Constraints","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.314848Z"},"links":{"cited_paper":"/paper/2407.03847","citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:fb6c49a1a2c4d73cb30df5ee49ec0e4f17d7e8455ea76888bdf1752859f30e21","observation_id":"1928d254-77f4-4651-8a3b-62f583422c60","resolution":{"observed_at":"2026-08-12T15:31:53.314848Z","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":"10.1007/978-3-030-53288-8_6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Fremont, Johnathan Chiu, Dragos D","venue":"Lecture notes in computer science","work_id":"f3c87dc4-831f-4903-a58b-b768db278c47","year":2020},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.317854Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:7c84054513aad33a7a14b2d1e28c83ba2cedb16950480c214d5fa08c788673f7","observation_id":"973a7796-a74c-4c23-8627-bf9c38a54416","resolution":{"observed_at":"2026-08-12T15:31:53.480329Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:31:53.320878Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.320878Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:7e06e83592fad723bcb27014f3d99d6bb0a82166ba43b4d57bd7a0a4d7d683e8","observation_id":"01e455b8-7f15-4bec-bc74-81ce7ffea0b1","resolution":{"observed_at":"2026-08-12T15:31:53.320878Z","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-12T15:31:53.323620Z","title":"Habeeb, Nabarun Deka, Deepak D’Souza, Kamal Lodaya & Pavithra Prabhakar (2023): Verification of Camera-Based Autonomous Systems","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.323620Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:03860a9b37697eb852e2ae55427467b287dc839bfee2241329020f19fd3a7fe9","observation_id":"a4d09d82-1803-44ae-a4d2-55716e41fc91","resolution":{"observed_at":"2026-08-12T15:31:53.323620Z","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-12T15:31:54.064961Z","title":"(2024): LI-IMX219-MIPI-FF-NANO-H136—Leopard Imaging Inc","venue":null,"work_id":"e5d35211-97e3-4c00-83d3-9f9dfc7fd849","year":2024},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.326270Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:87d2d1f310437df115a20654559b244f72315bf8f6bfb5ac6393111e0f7bd49c","observation_id":"6db41e73-9e45-491e-83d7-2075028893e2","resolution":{"observed_at":"2026-08-12T15:31:54.068414Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:31:53.328708Z","title":"Carpenter, James Weimer, Rajeev Alur, George J","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.328708Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:458b0528e4c33b7dd5c2fd43a3df75b5d763302ece74f57775bca0ec3838487d","observation_id":"d2406380-ffde-42a7-b4f7-d9a81d4b928c","resolution":{"observed_at":"2026-08-12T15:31:53.328708Z","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-12T15:31:54.056438Z","title":"(2024): JetBot","venue":null,"work_id":"e42ec26b-d21b-4557-b270-4e91131665b6","year":2024},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.331281Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:b2f34f87032cf16a5f430873d7c06dac5e4577c59fa8ae2de51f97319d65ee61","observation_id":"45f74955-e007-48b0-b64b-93ffc24a22b3","resolution":{"observed_at":"2026-08-12T15:31:54.059267Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"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-12T15:31:54.048696Z","title":"Available at https://jetbot.org/master/examples/road_ following.html","venue":null,"work_id":"da06f07f-db86-46e9-9c1f-749885571a7d","year":2024},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.333932Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:d06eaca90afecd91d373047115ce2b5a66ea63cf08d9cd9f6a5b333084d0c5d4","observation_id":"199e43f9-8aed-49e0-9bfc-ad5a75cc0d68","resolution":{"observed_at":"2026-08-12T15:31:54.051466Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:31:53.336421Z","title":"Dill, Kyle Julian & Mykel J","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.336421Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:2c62a8c970c88984b5e65a96e0e06f8c508fa3b216630a2af2b5d1d0a9f8eab4","observation_id":"1bc33443-8864-426b-a75d-5087380bdb2b","resolution":{"observed_at":"2026-08-12T15:31:53.336421Z","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-12T15:31:53.339749Z","title":"Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zelji´c, David L","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.339749Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:7d4ea31372bc3d5ea1637b44e420ef00126d041360ce8f25afbae43b8217d2e0","observation_id":"91e80b3d-ea93-4b18-bc97-fbbbb7c1dcd9","resolution":{"observed_at":"2026-08-12T15:31:53.339749Z","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-12T15:31:54.040891Z","title":"Zico Kolter, Krishnamurthy Dvijotham & Huan Zhang (2023): Prov- ably Bounding Neural Network Preimages","venue":null,"work_id":"deb87c76-e612-4da3-8256-ff4c125a5d79","year":2023},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.342613Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:13adc1443f1b74fc493397330e9650b5194dec7742e171e1f7fcfb22dba67497","observation_id":"0ec193b9-a14e-4d38-987a-fb0b4983908a","resolution":{"observed_at":"2026-08-12T15:31:54.043778Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:31:53.345244Z","title":"IEEE/CAA Journal of Automatica Sinica 7(2), pp","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.345244Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:8e6e5e7fee4fa89fd0bcd1428240cd7f7a7339977844975cab36204dfdf9b619","observation_id":"171a5d7e-af29-4e68-95ca-2f38ebde111b","resolution":{"observed_at":"2026-08-12T15:31:53.345244Z","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-12T15:31:54.033631Z","title":"In: International Conference on Learning Representations","venue":null,"work_id":"35233c04-bb2e-489a-abc5-498062b755ae","year":2018},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.347854Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:b4019d439ad6214fe002688e6e8c4ee14ff51b09a6c16718cd5d41fa4b529c9a","observation_id":"2c4141c4-9b55-44db-9a00-4b535decea7b","resolution":{"observed_at":"2026-08-12T15:31:54.036196Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2212.10376","last_updated":"2023-02-16T08:06:35Z","snapshot_observed_at":"2026-08-13T13:18:02.165165Z","submitted_at":"2022-12-20T15:58:01Z","title":"The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.10376","snapshot_observed_at":"2026-08-12T15:31:53.350468Z","title":"Johnson (2022): The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results , doi:10.48550/arXiv.2212.10376","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.350468Z"},"links":{"cited_paper":"/paper/2212.10376","citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:933c309e2efa37fc3817d55bda7ed2364179034a9b1272dea0b23a820fd23296","observation_id":"c19efb82-56a1-4b98-a5f7-aaf09f3ef2f1","resolution":{"observed_at":"2026-08-12T15:31:53.350468Z","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-12T15:31:54.026495Z","title":"Available at https://www.nvidia.com/en-us/autonomous-machines/embedded-systems/jetson-nano/ product-development/","venue":null,"work_id":"e4e2b046-29b3-47ce-aeeb-e177911437a1","year":2024},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.353399Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:bdb5965a5c3fc547c74b68e3ef67ac00759828575e635fbd1289147c09d72ad6","observation_id":"92124f87-dc19-43ae-a262-0e11194e2e3d","resolution":{"observed_at":"2026-08-12T15:31:54.029363Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:31:53.355900Z","title":"Journal of Big Data 10(1), p","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.355900Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:08c76060e8e64bf313ff0e7e6838d0548e3bad1e5d7ed1f49dee546da9d666c1","observation_id":"830128e3-e0c1-448d-8d62-12e49e7c3ee1","resolution":{"observed_at":"2026-08-12T15:31:53.355900Z","resolver_source":null,"status":"malformed_identifier"},"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-12T15:31:54.018599Z","title":"Pomerleau (1988): ALVINN: An Autonomous Land Vehicle in a Neural Network","venue":null,"work_id":"3574fdf7-1410-4676-809d-c18cc0fd9474","year":1988},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.358511Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:79f7da289d641187b64430185349a9379a098745580f9f93467af38ec7a012f7","observation_id":"d8cf6a15-3533-4973-88a0-8594847c5908","resolution":{"observed_at":"2026-08-12T15:31:54.021504Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:31:53.360928Z","title":"Santora & Mohsin M","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.360928Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:fb1628c41cf3d8a23281fbea6c73add318f318b6ca87cae3d9c25c34a6472e75","observation_id":"c23b0a01-7348-4c20-a8c1-e631981cf9b7","resolution":{"observed_at":"2026-08-12T15:31:53.360928Z","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-12T15:31:53.364135Z","title":"Communica- tions of the ACM 65(7), pp","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.364135Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:bc97e5c8de67d750ab4e1750ab3ff92137edfd541aee3523bc1596e80e9d282c","observation_id":"ba13520c-c655-4ec7-8f54-a89d11b1fe48","resolution":{"observed_at":"2026-08-12T15:31:53.364135Z","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-08-12T23:53:09.257226Z","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-12T15:31:53.367014Z","title":"arXiv preprint arXiv:2405.21063","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.367014Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:9a6a0e33580c8bd2a84416ada17d1b9a5e126e314225f6a75d35784dec5b8778","observation_id":"3997a737-b5f7-4432-bec5-697ddf596016","resolution":{"observed_at":"2026-08-12T15:31:53.367014Z","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-12T15:31:53.371395Z","title":"Dwyer (2021):DNNV: A Framework for Deep Neural Network Verification","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.371395Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:57630987d311dd1a70240fd70fc32cedb6a8f72526bde0c64da3d7e88ae2b1e3","observation_id":"be0e2530-799d-4de6-aa4c-1f6bed9d3c59","resolution":{"observed_at":"2026-08-12T15:31:53.371395Z","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-12T15:31:54.010320Z","title":"In: Advances in Neural Information Processing Systems, 32, Curran Associates, Inc","venue":null,"work_id":"9d1fa06f-1609-4662-8694-5c8546e8caaf","year":2019},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.374512Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:cfbca3e24ce869abb3f1dda81ede7f565c2433ec7b5513d5705af87b04c6466c","observation_id":"ce80db18-218e-4d35-9e22-e780050ff94c","resolution":{"observed_at":"2026-08-12T15:31:54.013211Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"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-12T15:31:54.002613Z","title":"In: Proceedings of the 32nd International Conference on Neural Information Processing Systems, NIPS’18, Curran Associates Inc., Red Hook, NY , USA, pp","venue":null,"work_id":"bae253b2-dd48-4e34-9988-b743af5d1269","year":2018},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.376886Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:708d80d979ca3394560b8e4d17ec35324751c8690813da2435f80ab029e1e971","observation_id":"3fe89893-1183-4cba-afe7-364aed7cef9c","resolution":{"observed_at":"2026-08-12T15:31:54.005591Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"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-12T15:31:53.994852Z","title":"In: International Conference on Learning Representations","venue":null,"work_id":"62e10e80-65d4-4c0a-bace-8a09e02e96d8","year":2018},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.379327Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:61a6c267bca022dfb9870489622b012d529c13960ca6a99a4ecf9206b91307c2","observation_id":"036c89e4-86d7-4607-9c4c-57e71a6839e0","resolution":{"observed_at":"2026-08-12T15:31:53.997588Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:31:53.381713Z","title":"Proceedings of the ACM on Programming Languages 3(POPL), pp","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.381713Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:712e5f66cfcb0059c0db264da921c482addf4c98c5e6b3fefab9286e90feedd3","observation_id":"0c806c34-ca4b-4b1e-b9a1-687bbb4f6113","resolution":{"observed_at":"2026-08-12T15:31:53.381713Z","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-12T15:31:53.384234Z","title":"In: EPiC Series in Computing, 94, EasyChair, pp","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.384234Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:19a613bf9c75b5b2806342c5040d415c3191ea4b1314c549641a552edf04fd61","observation_id":"168ac269-02da-4356-8faf-c1833a2d0335","resolution":{"observed_at":"2026-08-12T15:31:53.384234Z","resolver_source":null,"status":"malformed_identifier"},"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-12T15:31:53.987364Z","title":"Available at https://www.sparkfun.com/products/18486","venue":null,"work_id":"e3b4e9d0-73b4-4381-8ab1-21dee96d18a0","year":2024},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.387136Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:0bf8a4995a4dadcfa862c0a2722da97f7768d8bc2ae8e8a64020c382e03de1bf","observation_id":"6578b4e2-3266-4e6b-9e0b-df5628297fe0","resolution":{"observed_at":"2026-08-12T15:31:53.990117Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"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-12T15:31:53.979627Z","title":"In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, pp","venue":null,"work_id":"ce235ff1-838a-4713-a895-dfd2756c86e8","year":2019},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.390066Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:82bab170c89cde79d7d380b4541fb5bd9c0534375ebf0722258851b580f2befe","observation_id":"291d3b25-3c24-4eee-a508-38284dce7fc1","resolution":{"observed_at":"2026-08-12T15:31:53.982771Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:31:53.392565Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.392565Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:a9ac0dc40f11bf47369ead6ef64a97b5fea8cb1270c331f121b0e85451f22662","observation_id":"d90bab61-3fef-4319-9afa-7146d605a8cd","resolution":{"observed_at":"2026-08-12T15:31:53.392565Z","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-12T15:31:53.394994Z","title":"Johnson (2020): Verification of Deep Con- volutional Neural Networks Using ImageStars","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.394994Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:e2090c57af1c4d1e894f4de06d13b6a5d3972fea5193ddafe7673a672698bc64","observation_id":"b7426d5f-b660-4d61-b37b-f47c81c5f704","resolution":{"observed_at":"2026-08-12T15:31:53.394994Z","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-12T15:31:53.397429Z","title":"Johnson (2020): NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.397429Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:56f1210da7dd4b85e754a916d0f991032bbe51e960e51b2993d77064754311b8","observation_id":"98ccaae0-8924-4c1f-87df-3d824f7ca447","resolution":{"observed_at":"2026-08-12T15:31:53.397429Z","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-12T15:31:53.399878Z","title":"Artificial Intelligence 302, p","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.399878Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:4dcfee2abebcba06ade421eb21b717935222e3bbaff2ce195c2fd99d78b4dbe4","observation_id":"e0a22ea1-4ee3-4372-af5c-56325f28fa8f","resolution":{"observed_at":"2026-08-12T15:31:53.399878Z","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-12T15:31:53.967321Z","title":"Zico Kolter (2021): Beta- CROWN: Efficient bound propagation with per-neuron split constraints for complete and incomplete neural network verification","venue":null,"work_id":"b8312932-2cfc-4606-8c78-3cebf558cd53","year":2021},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.402540Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:11e922497527cfb7eef1aab7ebb6d32bd22bcee776b740cc6c68cd5b5b94424f","observation_id":"b1496e6e-7c59-44f0-8c3b-203bb63be414","resolution":{"observed_at":"2026-08-12T15:31:53.970889Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"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-12T15:31:53.958910Z","title":"Advances in Neural Information Processing Systems 33","venue":null,"work_id":"2b942985-dc28-4ce7-9f8f-daadbe53d5ea","year":2020},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.405814Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:8fd614ee76a091b95181389b30fc77fa15fa2326c8ef032e45e6c4f0e49b60a6","observation_id":"fc31c3c5-b77b-4f91-ab74-78bff42f2cdc","resolution":{"observed_at":"2026-08-12T15:31:53.961856Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"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-12T15:31:53.951521Z","title":"In: International Conference on Learning Representations","venue":null,"work_id":"79f20d0c-c274-4299-bdf6-e4e4a15ce961","year":2021},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.408236Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:b9579f3f88eda878bdefccd1fa991eb56b5c53b28057b1fbe992944e63e7cf96","observation_id":"a4d354d9-fb2f-483f-a7e5-6dc97f955a75","resolution":{"observed_at":"2026-08-12T15:31:53.954345Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"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-12T15:31:53.943523Z","title":"Zico Kolter (2022): General Cutting Planes for Bound-Propagation-Based Neural Network Verification","venue":null,"work_id":"4827244c-13eb-46b7-98fc-12dc09118cf6","year":2022},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.411655Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:ce38ff1a2131c17bcb99cea8a29da87b6697f7507ea276eb47a912bf67c1ca45","observation_id":"f624f22a-cb90-4707-bb75-c5c000a204f9","resolution":{"observed_at":"2026-08-12T15:31:53.946667Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"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-12T15:31:53.935116Z","title":"In: Advances in Neural Information Processing Systems, 31, Curran Associates, Inc","venue":null,"work_id":"ffce39db-80af-4a63-9a6e-da5bdb280393","year":2018},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.414100Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:681ae1b147a08851429a329587fd23918fb79eb951a2694b3bd3dd230b773d89","observation_id":"736eb83e-3bde-40c0-993d-33ab5d6c83cd","resolution":{"observed_at":"2026-08-12T15:31:53.938642Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:31:53.416883Z","title":"Burke (2024): Autonomous driving system: A comprehensive survey","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.416883Z"},"links":{"citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:6ff8e4857b98ed6f8b71e2f80e36bab58ccb5b817a2869cfb3566230ac92f40d","observation_id":"7aa29a96-c435-4875-b2da-3b25469fb0c1","resolution":{"observed_at":"2026-08-12T15:31:53.416883Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-12T15:25:25.709587Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report"},"reference_resolution":{"displayed":47,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":23,"verified_exact":1,"verified_fuzzy":21},"total_outbound_references":47},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2411.14163."}