Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T19:50:43.347369Z
Paper Citation Record · LEDGER
As of 7 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2507.04523.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T19:50:43.347369Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
47 of 47 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 51befdcb-bbf6-431d-a31a-eef17a8e306c · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Efficient neural network robustness certification with general activa- tion functions,
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 87bbac25-095c-4fdf-9833-138a5130e5f9 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Towards fast computation of certified robustness for relu networks,
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e0112b3d-bbe9-43ef-8b91-38bef98d7c03 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Automatic perturbation analy- sis for scalable certified robustness and beyond,
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 605dfba0-b853-4132-b4f6-237d6fcb62cc · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Semidefinite relax- ations for certifying robustness to adversarial examples,
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a253235f-ef5a-4140-8256-b942710d8712 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Evaluating robustness of neural networks with mixed integer programming,
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation aa0dcd4f-3710-4706-8162-48e496c3c382 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations The marabou framework for verification and analysis of deep neural networks,
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9fdcef05-8f6f-4c2b-bf7b-2f14f4f15cb3 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Re- luplex: An efficient SMT solver for verifying deep neural networks,
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1123e30a-a558-4091-8846-82dcb0ce0ee5 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Verifying low-dimensional input neural networks via input quantization,
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c94b94b2-f74b-44fe-ac3e-59c332ce4099 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Reachable polyhedral marching (RPM): A safety verification algorithm for robotic systems with deep neural network components,
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8d675292-a289-41fc-8fdd-25470d8f36ea · outbound
Verification of Visual Controllers via Compositional Geometric Transformations An abstract domain for certifying neural networks,
Reference 10
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 94264b37-1387-4caf-81b8-ac643b2aace1 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations On the effectiveness of interval bound propagation for training verifiably robust models,
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c2699b50-fc78-48a6-be01-7d936fd63261 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Certi- fying geometric robustness of neural networks,
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8a585cb5-a747-4807-9236-4a45ba8091fc · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Towards verifying robustness of neural networks against a family of semantic perturbations,
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation bd58e50c-8529-43af-af1e-654449d522bf · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Tss: Transformation-specific smoothing for robustness certification,
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5c8cd7c7-7aa0-46bd-840f-178caf1b8470 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Ver- ification of image-based neural network controllers using generative models,
Reference 15
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e8285409-e41f-4acf-8bb8-09bf736323e1 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Scalable and interpretable verifica- tion of image-based neural network controllers for autonomous vehi- cles,
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 2e03d769-efda-4b08-b80b-0b94684846bd · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Bunel, J
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 01231d70-0e91-43c0-8d9f-0fa3f3449c72 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Unresolved cited work
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d5faa734-ec1c-442f-bab0-215f34a31417 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Overt: An algorithm for safety verification of neural network control policies for nonlinear systems,
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a943515d-dad9-4dc7-b2bb-c56af9137ad1 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations One-shot reachability anal- ysis of neural network dynamical systems,
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 91a2043b-e42b-4739-bd3e-4e0506bbac9a · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Reachability analysis of neural feedback loops,
Reference 21
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 28aa688c-bbbc-44de-b122-e253a7056bba · outbound
Verification of Visual Controllers via Compositional Geometric Transformations A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 511803fb-54f8-42da-b815-c75093abe669 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Reach-SDP: Reachability analysis of closed-loop systems with neural network controllers via semidefinite programming,
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ac4bdcae-671d-4eb6-b5aa-e5fe51c035d7 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Polar-express: Efficient and precise formal reachability analysis of neural-network controlled systems,
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation cc247a7e-d87f-43bd-a3c6-3f58b7369937 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Verisig: verifying safety properties of hybrid systems with neural network con- trollers,
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 30422cbf-e5f4-4c86-89a9-f0299f0c97ab · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Reachability analysis for neural feedback systems using regressive polynomial rule inference,
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7b4e386b-b729-4037-8042-18b27f51215f · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Reachnn: Reachability analysis of neural-network controlled systems,
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9629dbea-7d10-4cc6-8597-b202a0cb77a7 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Reachnn*: A tool for reachability analysis of neural-network controlled systems,
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ef099629-a054-4a79-903b-2d1b0dfb4371 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Reachable set estimation for neural network control systems: A simulation-guided approach,
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a697411c-bef1-428e-9e1a-dcd95ba03f8e · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Neural network compression of ACAS Xu early prototype is unsafe: Closed-loop verification through quantized state backreachability,
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 82030749-3dd0-4807-b089-8679cc4eb362 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Probably approximately correct vision- based planning using motion primitives,
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ba3a21af-d270-461b-a14d-03fea307b141 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Safe output feedback motion planning from images via learned perception modules and contraction theory,
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation cd911dbc-2e2d-47b0-acaa-3b90c37f2249 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 567931a5-643c-470d-b460-2da64efad802 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Verifying controllers with vision-based perception using safe approx- imate abstractions,
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9d2846cb-9d48-4b9f-b14f-026755819562 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations System-Level Safety Monitoring and Recovery for Perception Failures in Autonomous Vehicles
Reference 35
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 65bc631a-d7fd-49ca-ac9d-f77572e2dd33 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 26742cc4-4709-42d8-9fe9-dbe83d5848a8 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Discovering closed-loop failures of vision-based controllers via reachability analysis,
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 419f8337-8d5a-45a6-bba3-9206fa13e107 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Toward certified robustness against real-world distribution shifts,
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 437e5d93-38e7-4330-97bc-990483ada951 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Data-Driven Modeling and Verification of Perception-Based Autonomous Systems
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c8e15f4b-7672-4d12-8a61-d5e3cfe5fee7 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Enforcing safety for vision-based controllers via control barrier functions and neural radiance fields,
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e7e82b67-56e5-4ba0-8359-f8014341a517 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Nnlander-verif: A neural network formal verification framework for vision-based autonomous aircraft landing,
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8153510d-b55f-4c21-9852-1bb93420cd6d · outbound
Verification of Visual Controllers via Compositional Geometric Transformations One-Shot Reachability Analysis of Neural Network Dynamical Systems
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 25b6d545-c84d-4cfd-8c46-871427d3c32e · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Branch and bound for piecewise linear neural network verification,
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 468bde36-858d-4885-816b-5268355cbee3 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Neural network verification with branch-and-bound for general nonlineari- ties,
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7d52518b-ed46-42db-a5c1-5c09b74a8336 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Gymnasium: A Standard Interface for Reinforcement Learning Environments
Reference 45
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 98ea7f20-979f-4e68-93ab-dc9806be6f2a · outbound
Verification of Visual Controllers via Compositional Geometric Transformations Proximal Policy Optimization Algorithms
Reference 46
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7a5a5c7d-4972-4e48-8b18-b299a7325280 · outbound
Verification of Visual Controllers via Compositional Geometric Transformations On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models
Reference 2019
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
No inbound Pith citation observations are available.