{"as_of":"2026-08-16T18:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7b55c57e6ba1afb9548f24fcc0011dad4c26f55327eafb98970c9509038baf1b","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-16T06:30:59.297886+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-14T13:41:08.577781Z","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:5029f0fb16b461713681dbb8b25383d14bd389d855afb9fc1e537460965f714c","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-08-16T17:59:55.152335Z","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-14T13:41:08.577781Z","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:cbe805fbabf212b713d4c72f00c740af667dac3b60fc224bed2e3ad2edde5e68","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-16T14:31:18.143526Z","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-14T13:41:08.577781Z","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:b1013f2ef59b3a8e640829615d1a72872af98345509768aa755824e7aada8739","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-14T13:41:08.577781Z","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:c5057d255275270ffcd99ca21152ab6c59f15610c8f93c884dafb93bba3901c5","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:944f77053d1f7c0e6fd512c87c93108fbbed6eac009090e526d98265cdb7c70d","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-14T13:41:08.577781Z","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:b290a8752ef0c783956cac40533d2f014998e9149ca15f334d831d02ada0ad94","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:ecb4eb66e812d756b4046cddcabf96daf4546049936c8ff777c6008edabd589f","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-14T13:41:08.577781Z","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:4fbee4e4a29ae25d886a93b5108446a53bdecb6dca1f395f042bd3d5b423bbb3","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:c0ed02dcff83f04df590713802bb0b74299a81f831f61a44444c8e89672cdd57","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T13:37:05.422546Z","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-14T13:41:08.577781Z","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:8b7242ffa4eb1293c7aec305039555b9406261e315f0b59b14fcf40e343dd993","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-14T13:41:08.577781Z","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:4ae172109f36af3a89f5c4e439d6c02074651778415a767d40cd2e27f003012d","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:610a403a4fbcf0af41a25128327b7d4142eacd114d713fac697f6e699032b225","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-14T13:41:08.577781Z","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:e49c6fb91102cdc67d2bd38aea12d91a96344c1f7c513b826fe3ef57450646ee","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-14T13:41:08.577781Z","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:77086a4e98b15aeb69e60475080fce15a14b3267a05f21b785dd7f8c545191ee","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:1efdc3df52f4134a19f04b30d2326711478d03dbb55e4336d89b734c48a9741d","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-14T13:41:08.577781Z","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:a6a067029e54e2953ffc37dce629c1260a2c3e5b9f669808a3d3b9fb82e9fa81","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:fc0bd9262746c9fd8da94994c050bfb63bf8bf265a92b08394e00f17be4fe32c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:62e857f26a55bb213894d4efb084975b35fe7d732f1c2729aab5a04698ac1457","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-14T13:41:08.577781Z","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:5de4bb5eba32fb650e1499da3e0912ff7c509b6236b6c75db0b0ec6146a8fbb6","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-14T13:41:08.577781Z","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:29cbbc4de54cfbfaec4250e49be5a2b76b37cef7a63808402133bce1a9fe87c8","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:70bc4eede3a30ce16bb133526e42d0648c809cb3e5aa729641117527d61b25d9","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-14T13:41:08.577781Z","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:68b43065e574aaacc7d08487b03bbdce853d7effa527bced19ef2fa24fd6e26c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T16:07:15.893730Z","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-14T13:41:08.577781Z","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:55f0edd01aa7f735901b8dffe5c69a6942256550141dbc605f72bdeffcf42091","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-14T13:41:08.577781Z","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:4b784bba061b108b92b31ffcda09db7378384445e8b1f12f4d435cef9f6d3f66","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:4e27ea2981b8f6f5eaa300477f1cbea840b8985e6ded09b8245710861bedfbcc","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-14T13:41:08.577781Z","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:7c8da4abccb3a0b4f46572d6ccbe3f705e3302c564997d25ce72e120cb6ebdaf","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:b4434ddba467f01674fdafbabdd7998be064620fa1bf9f0bd59996d103b5e12d","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-14T13:41:08.577781Z","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:93bf610bb28aed69088719875a3f2d7cfdf4da4291cb868f1dbc714e045bfdc7","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-16T13:47:19.522086Z","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-14T13:41:08.577781Z","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:7b83809428367697e4b4356a618fab6cd91c369d3097e3a47c552e2f4f4bbee8","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-14T13:41:08.577781Z","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:61880586c6d034e977823358fe02e5162364a6f8e1711c0a493b2fe3adb766da","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-14T13:41:08.577781Z","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:93b36f643e2d8b6848d064d4a934df9d0a2e59fbd80ac603f78b18329b6f1f60","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:004ac0302a9afd74db3c171a51f491ef6ad44ef5345aac514d6a12b9c9a43f31","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:df0a8f4ddcf71152f698f40aa923bb76a0150ee68e8b3839c1352f0c2bbb42d8","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:fa412c789cc29eda0f1528556f9881c0f939fd8542444fccdf1aa5e1561b3204","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-14T13:41:08.577781Z","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:1c963e940486db819a7965d18ab356b76f9bd958a063b684e4b9f90a3168d129","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-14T13:41:08.577781Z","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:73f6812b1c78984cdae30e5d9da272ee6816f3345545c36ca4eb9545935209f3","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:b078fbbe664ae2ce0d114f348801b5e2be165181aa5140008bfe1c571f6c20a2","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:c0269e2c67c7a00afb0d3b1920319218652297ec7fd56545c65fb1dadbcc56c0","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-14T13:41:08.577781Z","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:281302167466653b6b1ce6a178082392906d713948f0177ec592fec232c57a97","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-14T13:41:08.577781Z","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:1f68b1558cbed6dbba73647f901c45603443c1f0c39df2ef6b14d18f0d990d4b","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-14T13:41:08.577781Z","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:1fe16a214cf2363b509c8fa3d9f28446474b063c3816718421d65415ee7e5aee","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-14T13:41:08.577781Z","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:fef70ad928d3ca32731110320147605bb5f8864ea7a838f0cdfce0b8ec1d5b6e","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:7a9cd5d8242a9978539224c6906d82ed9a89d900261adc0d92ba82ad93bb003c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:2de6e032f171071fecca7e93ba3745c46aa9f7caaa2ce579277ab200eeeaa5df","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:2aacade17f7fc2f773aec0f4cf0f307f049f38f75b3ebd330d14eb05f7763b6e","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:441cede9c1fa417927be9b0dfecb269e2f01a0268d964af82e14a7605bab8779","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:41:08.577781Z","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:1752b5ad258e50d4acccba54a453937653b53a614d6d9600b825a620cfa2c89e","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-14T13:41:08.577781Z","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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2411.14163."}