{"as_of":"2026-08-11T10:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:67839077c5e71238c7ded626b273529e3a563eddc2e4ce984fbe19cb867dac6b","coverage":[{"denominator":41,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":41,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T15:39:40.878573Z","state":"measured"},{"denominator":41,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":41,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+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/2501.14009/citation-record","integrity":"/paper/2501.14009/integrity","json":"/paper/2501.14009/citation-record.json","paper":"/paper/2501.14009"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T15:39:41.675046Z","title":null,"venue":null,"work_id":"c1dc8b34-7746-4978-b5f3-429644cf1e27","year":2018},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.681861Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:49ebb784d85c416e46e92c2ae581de46be597ceea134453fd26fbb6c3e6219bc","observation_id":"e359e602-dcb8-4632-a0cd-794d1dd96c17","resolution":{"observed_at":"2026-08-10T15:39:41.679749Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3390/jsan10030042","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T15:39:40.926720Z","title":null,"venue":null,"work_id":"f2d80d5c-c6ee-4592-9f51-67a9982e9675","year":2021},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.687077Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:837aa5ed87c72cc3c0c3059a3f639fd7d5322754e475757a160e2fb10a7892f6","observation_id":"5aa0c364-1588-47cc-8c1b-785471825053","resolution":{"observed_at":"2026-08-10T15:39:40.931520Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:41.660276Z","title":null,"venue":null,"work_id":"466fb676-0534-4fb7-9e5c-e15311f80314","year":1996},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.691780Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:74b8cf73fd08fa2b2b543338fa639a7a30f4afb93e3978b1118db4fd5ded5eb9","observation_id":"97024ba2-8f59-4539-8fc5-9bbc79696a13","resolution":{"observed_at":"2026-08-10T15:39:41.665164Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:41.646060Z","title":null,"venue":null,"work_id":"fe04bb72-83a0-48cc-9d09-7cbe0b6aa6b5","year":2017},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.696544Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:04a8653a7878dbc97713d83373b07ce4826c615641f2687b495901419236dfad","observation_id":"c5dd391f-413a-4558-b8b1-1ddebf98bd21","resolution":{"observed_at":"2026-08-10T15:39:41.650741Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:41.632046Z","title":null,"venue":null,"work_id":"a21fe3f1-72ab-4c2d-a757-f5216ae13ef2","year":2018},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.701114Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:dd61155f880260b2c0b620b4a4b5ce94314b47d5e33f5dfb3910660dc0354ec7","observation_id":"14cbe9be-c72f-4b52-bfa3-fbf58d947005","resolution":{"observed_at":"2026-08-10T15:39:41.636475Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:41.617621Z","title":null,"venue":null,"work_id":"ef206f0a-6f00-40a2-be9f-52904bffbd87","year":2015},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.705734Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:3008c0c2a4ebeaa01f22052d5b439997860f1eeb1854cd10cbac22a7aa62e035","observation_id":"7064d6bd-9174-422e-b155-87de8c98b98f","resolution":{"observed_at":"2026-08-10T15:39:41.622363Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:41.601385Z","title":null,"venue":null,"work_id":"0c0fea62-ec35-486f-94b5-008e7e26e7a3","year":1998},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.710750Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:6711f3c4fc494e73d05685d3732d8222250b19fa8e5d32db7bc8b9eaefa01f66","observation_id":"51f0b5ee-2ec7-4880-8379-8196db8f3c05","resolution":{"observed_at":"2026-08-10T15:39:41.606788Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1611.02648","last_updated":"2017-01-13T17:53:10Z","snapshot_observed_at":"2026-08-10T08:57:34.622770Z","submitted_at":"2016-11-08T18:36:36Z","title":"Deep Unsupervised Clustering with Gaussian Mixture Variational Autoencoders","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1611.02648","snapshot_observed_at":"2026-08-10T15:39:40.715215Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.715215Z"},"links":{"cited_paper":"/paper/1611.02648","citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:e279233aaf1b830cc71be60d1559fc6eafb4f2b34d7a21188a7d32688efb80d0","observation_id":"671749a3-49f8-4d88-a0ca-9e874df14875","resolution":{"observed_at":"2026-08-10T15:39:40.715215Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1705.01320","last_updated":"2017-08-02T09:21:18Z","snapshot_observed_at":"2026-08-10T15:22:52.558067Z","submitted_at":"2017-05-03T09:13:10Z","title":"Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1705.01320","snapshot_observed_at":"2026-08-10T15:39:40.720071Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.720071Z"},"links":{"cited_paper":"/paper/1705.01320","citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:97255ac57218760cb49aa7d2486521db2ba85dab977f8dcc1033deb334428ae3","observation_id":"d9fec0ab-ca79-4918-aed5-886622c05b3b","resolution":{"observed_at":"2026-08-10T15:39:40.720071Z","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-10T15:39:41.585150Z","title":null,"venue":null,"work_id":"997133ee-3952-4b94-8d29-4c047b84aa8b","year":2018},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.724736Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:dec08184425c48b9117c9958f0dd4ad9426b01b1e09ab023b74737aacea721f8","observation_id":"ad4ce41f-5fbe-4d04-9c51-9a9b48f5312e","resolution":{"observed_at":"2026-08-10T15:39:41.590354Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:41.570247Z","title":null,"venue":null,"work_id":"a16c18b9-d6a2-4475-b619-c977a7ae2950","year":2003},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.729121Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:7256c45c7b0987ce9970189c0da8f395ae5f07595e8f13cb1ef31318d3c01941","observation_id":"2d646e06-91af-4102-9c59-595dffadfe55","resolution":{"observed_at":"2026-08-10T15:39:41.574883Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:41.555367Z","title":null,"venue":null,"work_id":"5747a122-6827-41f3-b6d0-7bfdc872ce50","year":2023},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.733713Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:3e6ef5679b725e2c7b5d1019e273b3e125607e8d53739cf53376378b5ac17549","observation_id":"3cbfd9a4-9d41-4f79-9697-28c655552f77","resolution":{"observed_at":"2026-08-10T15:39:41.560025Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:41.540444Z","title":null,"venue":null,"work_id":"2b042b04-8d3b-4dee-9d8b-286abdb4e21e","year":2017},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.738273Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:f33f26504079884172939518edaf051c203542e43521edc64e420e272ee780f1","observation_id":"04e3c6da-6435-446e-aae7-39b44fb04b17","resolution":{"observed_at":"2026-08-10T15:39:41.545060Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1610.06940","last_updated":"2017-05-05T10:16:50Z","snapshot_observed_at":"2026-08-10T06:38:05.519846Z","submitted_at":"2016-10-21T20:16:16Z","title":"Safety Verification of Deep Neural Networks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1610.06940","snapshot_observed_at":"2026-08-10T15:39:40.742610Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.742610Z"},"links":{"cited_paper":"/paper/1610.06940","citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:9cd07428b9f1492b56b1aa0c3ac72e6f40a6227939a25fabfef9c8e31974b014","observation_id":"af8b31c1-c587-4421-b0f3-51e1ba25fdce","resolution":{"observed_at":"2026-08-10T15:39:40.742610Z","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-10T15:39:40.747308Z","title":"Julian, Ritchie Lee, and Mykel J","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.747308Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:fedd9e990eb7b4d5b8933f90e10b5a81e71991e97b477bd65ff5075157e522ef","observation_id":"0f235bb5-ea0e-41b3-8c71-ef4a76bb2706","resolution":{"observed_at":"2026-08-10T15:39:40.747308Z","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-10T15:39:41.525412Z","title":null,"venue":null,"work_id":"5d07aa2e-6deb-4d63-99eb-131f0e1fcf3b","year":2021},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.751718Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:efe25b709270af5edeb83a9e6229bb6ca4ba18767104f9e540ca18283b41a150","observation_id":"976dabd4-2582-46ff-8ad7-fb8b27d3a076","resolution":{"observed_at":"2026-08-10T15:39:41.530232Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:40.765546Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.765546Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:73d0ead5da340a05f4b6cc7ea3579b55d58160c4903a75cc4c0ed3d445ccbec2","observation_id":"5b3f68ed-7dcb-48c2-b2ce-64cb9ba1af76","resolution":{"observed_at":"2026-08-10T15:39:40.765546Z","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-10T15:39:40.774665Z","title":"Katz, Anthony L","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.774665Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:06ebd8d2d8d4acb59d6712d5540b6f79f4e5cf4d37e03f79d4f426f5011b10e4","observation_id":"3e7c73c9-2f49-49a5-a9c5-768477dc2700","resolution":{"observed_at":"2026-08-10T15:39:40.774665Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1702.01135","last_updated":"2017-05-19T04:50:29Z","snapshot_observed_at":"2026-08-03T13:57:22.564852Z","submitted_at":"2017-02-03T19:26:01Z","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1702.01135","snapshot_observed_at":"2026-08-10T15:39:40.770557Z","title":"arXiv preprint arXiv:1702.01135 (2017)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.770557Z"},"links":{"cited_paper":"/paper/1702.01135","citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:b6bb5811e4a2855c484186a5519030df16b66435e1e6d3c05480158085d62512","observation_id":"9cfc0b5a-9c6d-4a3a-b929-6c50892cd87a","resolution":{"observed_at":"2026-08-10T15:39:40.770557Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1312.6114","last_updated":"2022-12-10T21:04:00Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2013-12-20T20:58:10Z","title":"Auto-Encoding Variational Bayes","version":11},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1312.6114","snapshot_observed_at":"2026-08-10T15:39:40.783940Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.783940Z"},"links":{"cited_paper":"/paper/1312.6114","citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:fb9740af597426cae1673ba0ab670ab52f52f6569c08281327666a40ac8ab367","observation_id":"ed08eb32-0861-434c-b1e6-9e6db97a53ea","resolution":{"observed_at":"2026-08-10T15:39:40.783940Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1605.07110","last_updated":"2016-12-27T22:47:50Z","snapshot_observed_at":"2026-08-06T04:36:39.861661Z","submitted_at":"2016-05-23T17:34:20Z","title":"Deep Learning without Poor Local Minima","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1605.07110","snapshot_observed_at":"2026-08-10T15:39:40.779106Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.779106Z"},"links":{"cited_paper":"/paper/1605.07110","citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:4dbe65d849262198a50cbe9023e02d2f2c13305d71e102f3bb19a1c375b12497","observation_id":"af597a32-91cb-491b-aec3-8110935ddad2","resolution":{"observed_at":"2026-08-10T15:39:40.779106Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1402.1869","last_updated":"2014-06-07T19:56:14Z","snapshot_observed_at":"2026-07-06T03:35:28.758073Z","submitted_at":"2014-02-08T17:16:27Z","title":"On the Number of Linear Regions of Deep Neural Networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1402.1869","snapshot_observed_at":"2026-08-10T15:39:40.793483Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.793483Z"},"links":{"cited_paper":"/paper/1402.1869","citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:261bb78abc7968e6d421e7aa55d26499f32fd202a7c5417c5c062f26d7d09e71","observation_id":"e481cbeb-03a9-449a-9e56-44adadab6920","resolution":{"observed_at":"2026-08-10T15:39:40.793483Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1903.06758","last_updated":"2020-10-15T21:06:08Z","snapshot_observed_at":"2026-08-10T09:10:18.209047Z","submitted_at":"2019-03-15T19:02:38Z","title":"Algorithms for Verifying Deep Neural Networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1903.06758","snapshot_observed_at":"2026-08-10T15:39:40.788642Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.788642Z"},"links":{"cited_paper":"/paper/1903.06758","citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:8af67a4e9d5d56e4cb5905137b71d5a2e9a4f9a51a990d4c4c2bd9e886a56cb1","observation_id":"fabbd3a8-1d8b-4911-9ac2-302add00e9f5","resolution":{"observed_at":"2026-08-10T15:39:40.788642Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1711.02060","last_updated":"2017-11-06T18:07:36Z","snapshot_observed_at":"2026-07-06T06:08:00.007383Z","submitted_at":"2017-11-06T18:07:36Z","title":"Fundamental limits to signal integrity in nonlinear parametric optical circulators","version":1},"cited_work":{"arxiv_id":"1711.02060","doi":null,"metadata_source":"pith","pith_arxiv_id":"1711.02060","snapshot_observed_at":"2026-08-10T15:39:41.018343Z","title":"Fundamental limits to signal integrity in nonlinear parametric optical circulators","venue":"physics.optics","work_id":"3d985f55-27be-4922-bf67-0c1b61b440d5","year":2017},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.803000Z"},"links":{"cited_paper":"/paper/1711.02060","citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:858d12053b0219cc84a5b3b4d9722ca83d369b88813291e9f0bef5628fc2e656","observation_id":"3b762717-8795-4d25-84fb-30dccc7be717","resolution":{"observed_at":"2026-08-10T15:39:41.023616Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:41.499685Z","title":null,"venue":null,"work_id":"6310a071-1d75-4ea7-ac8d-ec05da2f61d5","year":1977},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.798392Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:1c456b86e4d5a7a57b7cdf5cbe14cb3e567e29ec62b278668d53998d6028b15e","observation_id":"0c71eb10-5b37-4cbe-a10c-351e4803b2a5","resolution":{"observed_at":"2026-08-10T15:39:41.504390Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1805.02242","last_updated":"2018-05-06T16:33:52Z","snapshot_observed_at":"2026-07-06T06:37:37.681903Z","submitted_at":"2018-05-06T16:33:52Z","title":"Reachability Analysis of Deep Neural Networks with Provable Guarantees","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1805.02242","snapshot_observed_at":"2026-08-10T15:39:40.812535Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.812535Z"},"links":{"cited_paper":"/paper/1805.02242","citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:f63e915728acf81e01f31d328c8e2ac50eaee90756006a5a642c8556b095b56b","observation_id":"690d32af-c6ca-4687-9a80-62832a34aa9f","resolution":{"observed_at":"2026-08-10T15:39:40.812535Z","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-10T15:39:41.483382Z","title":null,"venue":null,"work_id":"b78799f3-8df1-4ec9-8bce-198bd2dd633d","year":2014},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.807966Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:d2c53ac627537d29e041ac782810889fde40b61550c000558a71e201d80212d2","observation_id":"c328a5c5-e747-4090-8d0d-d9d7223d5fef","resolution":{"observed_at":"2026-08-10T15:39:41.488492Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:41.451225Z","title":null,"venue":null,"work_id":"c8b78639-b2c7-46b4-b43b-9ab3ccf57c8d","year":2018},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.823437Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:c004683e86abee6b89083ffd94d9826e555dd4099b6a92e650f9009c68af1ea2","observation_id":"0700d0fd-4f94-4317-8c20-955591446713","resolution":{"observed_at":"2026-08-10T15:39:41.456537Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:41.467587Z","title":null,"venue":null,"work_id":"4d79268e-efc8-4097-819c-3265e63ac815","year":1993},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.818141Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:e6286a5560e93d51675f9d0337d3aefc732b29d6bc985b394d0da5481178f036","observation_id":"2a325282-8a7a-4982-9454-bab3ece51ac1","resolution":{"observed_at":"2026-08-10T15:39:41.472420Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1711.07356","last_updated":"2019-02-18T04:39:10Z","snapshot_observed_at":"2026-08-09T06:19:49.354501Z","submitted_at":"2017-11-20T15:05:33Z","title":"Evaluating Robustness of Neural Networks with Mixed Integer Programming","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1711.07356","snapshot_observed_at":"2026-08-10T15:39:40.832589Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.832589Z"},"links":{"cited_paper":"/paper/1711.07356","citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:ce1affa11c7a8c2bf862dcd4cbcc010fee7c0401bba963006a47a17368dbef42","observation_id":"3d420703-f019-469b-a712-11de8daec90c","resolution":{"observed_at":"2026-08-10T15:39:40.832589Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1810.09031","last_updated":"2018-10-21T21:39:32Z","snapshot_observed_at":"2026-07-06T07:09:40.346905Z","submitted_at":"2018-10-21T21:39:32Z","title":"Spherical Parameterization Balancing Angle and Area Distortions","version":1},"cited_work":{"arxiv_id":"1810.09031","doi":null,"metadata_source":"pith","pith_arxiv_id":"1810.09031","snapshot_observed_at":"2026-08-10T15:39:40.979222Z","title":"Spherical Parameterization Balancing Angle and Area Distortions","venue":"cs.GR","work_id":"06753e2a-9850-4b33-8bb4-970b4d8d8397","year":2018},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.828005Z"},"links":{"cited_paper":"/paper/1810.09031","citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:af5a3fc87291488f54b2e2be9f32f13a66c50f26e2a6c1c675ce604d296aa7c5","observation_id":"f4a5dcac-21de-479a-a97a-06de37f705c6","resolution":{"observed_at":"2026-08-10T15:39:40.985144Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-53288-8_2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T15:39:40.910054Z","title":null,"venue":null,"work_id":"aa87bcbe-81c0-4000-99f1-d25e08dc5319","year":2020},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.841680Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:b73acacb1fc9be2c9587ee04f38474e2a7fdd88ea475069f5d96c86e9e6176fe","observation_id":"6fe55a0e-9255-4ef0-b1f5-dc2db3929db3","resolution":{"observed_at":"2026-08-10T15:39:40.915919Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:41.436278Z","title":null,"venue":null,"work_id":"546574f3-da77-4156-a480-96e28c07164c","year":2018},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.837351Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:c7c3791d4298bbda0a8b8c4f2eeddd4b934db7d3e1bc19d02d40ca287009ca02","observation_id":"923c77f4-1a12-42cd-ba4a-06462cb351fa","resolution":{"observed_at":"2026-08-10T15:39:41.441026Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:41.411660Z","title":null,"venue":null,"work_id":"2a75f835-d3c7-4bd1-af87-a1d75c33f198","year":2022},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.850992Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:fc44196bef79360127daafda2f35c87f946550a366a62be7fc5a4abbc6997623","observation_id":"31210795-ee28-480c-bf26-79858cf809b9","resolution":{"observed_at":"2026-08-10T15:39:41.416706Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:40.846407Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.846407Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:f939c46ad8ad45ea07b90a5497a38193c8b1e2eaa6f6f70edf32a27af8e0019d","observation_id":"41f8e5ad-cbb1-4bb5-8cdd-fcf24f5a2ff5","resolution":{"observed_at":"2026-08-10T15:39:40.846407Z","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-10T15:39:41.380471Z","title":null,"venue":null,"work_id":"561fd2a5-bf99-495b-910f-5e8a886313e9","year":2020},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.860222Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:177111c48a78424d49e4de06ea42fd31a9d8cdab3478d9bff093bb2e7ded52cd","observation_id":"9bc524f4-67f6-45af-a72b-d7794521c746","resolution":{"observed_at":"2026-08-10T15:39:41.385889Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:41.396514Z","title":null,"venue":null,"work_id":"c7de41fe-49cb-4c6e-9d2b-8e8a657dd69d","year":2021},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.855364Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:ebba46b4137d6d66d9a56ffbdbf137001ff807128871a2d7958e70065d2ebcdc","observation_id":"bcd34ea2-3d07-46ec-be6b-0351be7dace8","resolution":{"observed_at":"2026-08-10T15:39:41.401148Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:40.869355Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.869355Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:a1e86dc9feaaea00cd49446ceb1415c8a14b936bc12660220ecff4e38b278d66","observation_id":"c113a3d1-e2f5-429a-a394-f172a0c47fe2","resolution":{"observed_at":"2026-08-10T15:39:40.869355Z","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-10T15:39:41.365265Z","title":null,"venue":null,"work_id":"49490fd5-96d1-43e7-9422-0040c26ef7ce","year":2021},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.864739Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:5af327e4ab3a7df596e16ef2edc99eebd4232525a25a63d83259641aa4c7c31a","observation_id":"9f6c11ae-e185-4e12-ab7b-5f9776a2196e","resolution":{"observed_at":"2026-08-10T15:39:41.369852Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:39:41.335828Z","title":"Advances in Neural Information Processing Systems 31 (2018), 4939–","venue":null,"work_id":"73e5fda8-c422-4295-a5f0-48079171e754","year":2018},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.874121Z"},"links":{"citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:1dea04e86e707b696bbd901299ce8db967a726f3921579a69d82f73712241e08","observation_id":"bf5b508b-b2fc-46a3-8cc6-9875b6aba94d","resolution":{"observed_at":"2026-08-10T15:39:41.342729Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1811.00866","last_updated":"2018-11-02T14:03:25Z","snapshot_observed_at":"2026-08-02T00:12:30.336654Z","submitted_at":"2018-11-02T14:03:25Z","title":"Efficient Neural Network Robustness Certification with General Activation Functions","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1811.00866","snapshot_observed_at":"2026-08-10T15:39:40.878573Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","version":2},"reference_index":4948,"source":"pdf_text","source_observed_at":"2026-08-10T15:39:40.878573Z"},"links":{"cited_paper":"/paper/1811.00866","citing_paper":"/paper/2501.14009"},"observation_digest":"sha256:34187e0e5c8977737a81690f054daf0c6058203d4776b879e4a6e8957c39ce39","observation_id":"4d6ae3d7-54c7-4fa3-b0a7-8a3f7ae02e04","resolution":{"observed_at":"2026-08-10T15:39:40.878573Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2501.14009","last_updated":"2025-03-17T18:01:53Z","latest_version":2,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-11T00:48:22.896589Z","submitted_at":"2025-01-23T16:46:45Z","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles"},"reference_resolution":{"displayed":41,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":36,"verified_exact":4,"verified_fuzzy":1},"total_outbound_references":41},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 0 inbound Pith citation observations for arXiv:2501.14009."}