Paper Citation Record · LEDGER

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles

As of 18 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 0 inbound Pith citation observations for arXiv:2501.14009.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2501.14009 v2

Coverage vector

measured 41 of 41 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T15:39:40.878573Z

measured 41 of 41 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

41 of 41 outbound references displayed

verified exact4
verified fuzzy1
unresolved36
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e359e602-dcb8-4632-a0cd-794d1dd96c17 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.679749Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 5aa0c364-1588-47cc-8c1b-785471825053 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 2

Resolution: verified exact; doi, observed 2026-08-10T15:39:40.931520Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 97024ba2-8f59-4539-8fc5-9bbc79696a13 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.665164Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation c5dd391f-413a-4558-b8b1-1ddebf98bd21 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.650741Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 14cbe9be-c72f-4b52-bfa3-fbf58d947005 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.636475Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7064d6bd-9174-422e-b155-87de8c98b98f · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.622363Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 51f0b5ee-2ec7-4880-8379-8196db8f3c05 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.606788Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 671749a3-49f8-4d88-a0ca-9e874df14875 · outbound

This paper cites Deep Unsupervised Clustering with Gaussian Mixture Variational Autoencoders.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Deep Unsupervised Clustering with Gaussian Mixture Variational Autoencoders

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-10T15:39:40.715215Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9fec0ab-ca79-4918-aed5-886622c05b3b · outbound

This paper cites Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-10T15:39:40.720071Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad4ce41f-5fbe-4d04-9c51-9a9b48f5312e · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.590354Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2d646e06-91af-4102-9c59-595dffadfe55 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.574883Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 3cbfd9a4-9d41-4f79-9697-28c655552f77 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.560025Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 04e3c6da-6435-446e-aae7-39b44fb04b17 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.545060Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation af8b31c1-c587-4421-b0f3-51e1ba25fdce · outbound

This paper cites Safety Verification of Deep Neural Networks.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Safety Verification of Deep Neural Networks

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-10T15:39:40.742610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f235bb5-ea0e-41b3-8c71-ef4a76bb2706 · outbound

This paper cites Julian, Ritchie Lee, and Mykel J.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Julian, Ritchie Lee, and Mykel J

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-10T15:39:40.747308Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 976dabd4-2582-46ff-8ad7-fb8b27d3a076 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.530232Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 5b3f68ed-7dcb-48c2-b2ce-64cb9ba1af76 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-10T15:39:40.765546Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e7c73c9-2f49-49a5-a9c5-768477dc2700 · outbound

This paper cites Katz, Anthony L.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Katz, Anthony L

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-10T15:39:40.774665Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cfc0b5a-9c6d-4a3a-b929-6c50892cd87a · outbound

This paper cites Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-10T15:39:40.770557Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed08eb32-0861-434c-b1e6-9e6db97a53ea · outbound

This paper cites Auto-Encoding Variational Bayes.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Auto-Encoding Variational Bayes

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-10T15:39:40.783940Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af597a32-91cb-491b-aec3-8110935ddad2 · outbound

This paper cites Deep Learning without Poor Local Minima.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Deep Learning without Poor Local Minima

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-10T15:39:40.779106Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e481cbeb-03a9-449a-9e56-44adadab6920 · outbound

This paper cites On the Number of Linear Regions of Deep Neural Networks.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles On the Number of Linear Regions of Deep Neural Networks

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-10T15:39:40.793483Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fabbd3a8-1d8b-4911-9ac2-302add00e9f5 · outbound

This paper cites Algorithms for Verifying Deep Neural Networks.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Algorithms for Verifying Deep Neural Networks

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T15:39:40.788642Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b762717-8795-4d25-84fb-30dccc7be717 · outbound

This paper cites Fundamental limits to signal integrity in nonlinear parametric optical circulators.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Fundamental limits to signal integrity in nonlinear parametric optical circulators

Reference 25

Resolution: verified exact; local_arxiv, observed 2026-08-10T15:39:41.023616Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 0c71eb10-5b37-4cbe-a10c-351e4803b2a5 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.504390Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 690d32af-c6ca-4687-9a80-62832a34aa9f · outbound

This paper cites Reachability Analysis of Deep Neural Networks with Provable Guarantees.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Reachability Analysis of Deep Neural Networks with Provable Guarantees

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-10T15:39:40.812535Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c328a5c5-e747-4090-8d0d-d9d7223d5fef · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.488492Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 0700d0fd-4f94-4317-8c20-955591446713 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.456537Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2a325282-8a7a-4982-9454-bab3ece51ac1 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.472420Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 3d420703-f019-469b-a712-11de8daec90c · outbound

This paper cites Evaluating Robustness of Neural Networks with Mixed Integer Programming.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Evaluating Robustness of Neural Networks with Mixed Integer Programming

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-10T15:39:40.832589Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4a5dcac-21de-479a-a97a-06de37f705c6 · outbound

This paper cites Spherical Parameterization Balancing Angle and Area Distortions.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Spherical Parameterization Balancing Angle and Area Distortions

Reference 32

Resolution: verified exact; local_arxiv, observed 2026-08-10T15:39:40.985144Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6fe55a0e-9255-4ef0-b1f5-dc2db3929db3 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 33

Resolution: verified exact; doi, observed 2026-08-10T15:39:40.915919Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 923c77f4-1a12-42cd-ba4a-06462cb351fa · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.441026Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 31210795-ee28-480c-bf26-79858cf809b9 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.416706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 41f8e5ad-cbb1-4bb5-8cdd-fcf24f5a2ff5 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-10T15:39:40.846407Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bc524f4-67f6-45af-a72b-d7794521c746 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.385889Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation bcd34ea2-3d07-46ec-be6b-0351be7dace8 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.401148Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation c113a3d1-e2f5-429a-a394-f172a0c47fe2 · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-10T15:39:40.869355Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f6c11ae-e185-4e12-ab7b-5f9776a2196e · outbound

This paper cites an unresolved cited work.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:39:41.369852Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation bf5b508b-b2fc-46a3-8cc6-9875b6aba94d · outbound

This paper cites Advances in Neural Information Processing Systems 31 (2018), 4939–.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Advances in Neural Information Processing Systems 31 (2018), 4939–

Reference 2018

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:39:41.342729Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4d6ae3d7-54c7-4fa3-b0a7-8a3f7ae02e04 · outbound

This paper cites Efficient Neural Network Robustness Certification with General Activation Functions.

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles Efficient Neural Network Robustness Certification with General Activation Functions

Reference 4948

Resolution: unresolved; no resolver link, observed 2026-08-10T15:39:40.878573Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.