{"as_of":"2026-08-07T18:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:05e5dd5bb7069eef68522cf3cc54e98f7085991e3c6a1a0dc9c1155dcec77285","coverage":[{"denominator":47,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":47,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T19:50:43.347369Z","state":"measured"},{"denominator":47,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":47,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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/2507.04523/citation-record","integrity":"/paper/2507.04523/integrity","json":"/paper/2507.04523/citation-record.json","paper":"/paper/2507.04523"},"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-06T19:50:43.745810Z","title":"Efficient neural network robustness certification with general activa- tion functions,","venue":null,"work_id":"b692d3cb-5f4a-44eb-a6dd-04bdba0b5937","year":2018},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.203431Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:e94a6eb5bc92bf709078a32e5b9f6d1c15e223079a9b0724735d7923d43e636e","observation_id":"51befdcb-bbf6-431d-a31a-eef17a8e306c","resolution":{"observed_at":"2026-08-06T19:50:43.748504Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.738020Z","title":"Towards fast computation of certified robustness for relu networks,","venue":null,"work_id":"5756785d-bfc5-47f1-a874-65995aa0cd2b","year":2018},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.206860Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:93959b850738fc0d99e82b901177924d4d552d70b68cf5344137e475cbb861f3","observation_id":"87bbac25-095c-4fdf-9833-138a5130e5f9","resolution":{"observed_at":"2026-08-06T19:50:43.740718Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.730101Z","title":"Automatic perturbation analy- sis for scalable certified robustness and beyond,","venue":null,"work_id":"4d782c15-5f16-4688-9928-d56fb4d06bdd","year":2020},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.210307Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:cc58139ac06cff6e5163f0839f13ec9145b6be8470a938cabcd9a7d5a92b09fb","observation_id":"e0112b3d-bbe9-43ef-8b91-38bef98d7c03","resolution":{"observed_at":"2026-08-06T19:50:43.732812Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.722522Z","title":"Semidefinite relax- ations for certifying robustness to adversarial examples,","venue":null,"work_id":"0008295a-dea4-4733-a621-7ee764e7b5b8","year":2018},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.212990Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:90ceeae220e190ee91ceaffcc78f7ae4225542ed82da994be9e6dddcac9e277b","observation_id":"605dfba0-b853-4132-b4f6-237d6fcb62cc","resolution":{"observed_at":"2026-08-06T19:50:43.725370Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.714777Z","title":"Evaluating robustness of neural networks with mixed integer programming,","venue":null,"work_id":"612ce3ad-d884-41f6-a446-2ecc28f37090","year":2018},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.215947Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:32b0d4ea3253f573b3f564bbd194bd7bfa935cb1d85c8f189248acc8af377ce9","observation_id":"a253235f-ef5a-4140-8256-b942710d8712","resolution":{"observed_at":"2026-08-06T19:50:43.717660Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.707569Z","title":"The marabou framework for verification and analysis of deep neural networks,","venue":null,"work_id":"2c8611bb-ea7b-49f5-a053-c100c8df5de9","year":2019},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.219169Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:b93071a3c8d706ed5d038c610cda07dbda105a01503c4a36250c09e5849b6b6e","observation_id":"aa0dcd4f-3710-4706-8162-48e496c3c382","resolution":{"observed_at":"2026-08-06T19:50:43.710250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.700060Z","title":"Re- luplex: An efficient SMT solver for verifying deep neural networks,","venue":null,"work_id":"028db061-27dd-434d-b366-49b0148311ed","year":2017},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.222827Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:d3abd59f5e6fb3c68f6137a5a53a4d2184bf681f09b1004b151922d28369765e","observation_id":"9fdcef05-8f6f-4c2b-bf7b-2f14f4f15cb3","resolution":{"observed_at":"2026-08-06T19:50:43.702797Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.692124Z","title":"Verifying low-dimensional input neural networks via input quantization,","venue":null,"work_id":"115be524-1177-4d7e-858f-1c55649c3f4d","year":2021},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.225193Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:6cae53e385ebd5897a970224e9bc64f71c55c281a2d71f0981fc329bc9e14264","observation_id":"1123e30a-a558-4091-8846-82dcb0ce0ee5","resolution":{"observed_at":"2026-08-06T19:50:43.695131Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.684061Z","title":"Reachable polyhedral marching (RPM): A safety verification algorithm for robotic systems with deep neural network components,","venue":null,"work_id":"2ad8727f-d372-4f56-9dae-c762cfee02de","year":2021},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.228011Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:36c35062100add638651224c6a5649d939b4d19a597ab4953257c791c52b991d","observation_id":"c94b94b2-f74b-44fe-ac3e-59c332ce4099","resolution":{"observed_at":"2026-08-06T19:50:43.687466Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.230757Z","title":"An abstract domain for certifying neural networks,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.230757Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:c5e5595dc732c56233565b51be22e22068e1917cda179b77f99b4aaac35642f8","observation_id":"8d675292-a289-41fc-8fdd-25470d8f36ea","resolution":{"observed_at":"2026-08-06T19:50:43.230757Z","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-06T19:50:43.671512Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models,","venue":null,"work_id":"146550e9-3784-4cfc-b5cd-963a2b241e09","year":null},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.234202Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:f4a0f6c78543d4a386b51561ff06c6c3a68afc25ebc2fbb82dd223f8aa881a10","observation_id":"94264b37-1387-4caf-81b8-ac643b2aace1","resolution":{"observed_at":"2026-08-06T19:50:43.675187Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.664393Z","title":"Certi- fying geometric robustness of neural networks,","venue":null,"work_id":"dc75ecbd-2ae9-4580-8763-b99c499ea96f","year":2019},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.239759Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:8160f7019ebe04e503e70a831d157176c8e351d58821ec45227e0324c1b0868c","observation_id":"c2699b50-fc78-48a6-be01-7d936fd63261","resolution":{"observed_at":"2026-08-06T19:50:43.667020Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.654882Z","title":"Towards verifying robustness of neural networks against a family of semantic perturbations,","venue":null,"work_id":"21f2b889-9fa2-4752-9739-d2e4ce58557f","year":2020},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.242943Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:ab94d9fa60716c2da14544317530a68f5450f8c011050a4ea0b93a52e1aa42a9","observation_id":"8a585cb5-a747-4807-9236-4a45ba8091fc","resolution":{"observed_at":"2026-08-06T19:50:43.658391Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.647651Z","title":"Tss: Transformation-specific smoothing for robustness certification,","venue":null,"work_id":"553a9f91-a3c7-4466-aad8-df7455c0a737","year":2021},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.245678Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:2bafaeff4c6458a436f30a543f81bda4908ce2afdaabd38c8c01401768d84edd","observation_id":"bd58e50c-8529-43af-af1e-654449d522bf","resolution":{"observed_at":"2026-08-06T19:50:43.650288Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.248209Z","title":"Ver- ification of image-based neural network controllers using generative models,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.248209Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:566d74bfee22f0ad3c05b0e461f64a969bfefba3139421a6f809b25b6ef4a38e","observation_id":"5c8cd7c7-7aa0-46bd-840f-178caf1b8470","resolution":{"observed_at":"2026-08-06T19:50:43.248209Z","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-06T19:50:43.632677Z","title":"Scalable and interpretable verifica- tion of image-based neural network controllers for autonomous vehi- cles,","venue":null,"work_id":"6266ce6f-675b-4eae-811c-5d127bb0dd92","year":2025},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.250651Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:f3fc7e9fe0abe09208555af85f1988d6bdeeab2622c2ad4145d8966e149249b8","observation_id":"e8285409-e41f-4acf-8bb8-09bf736323e1","resolution":{"observed_at":"2026-08-06T19:50:43.636228Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.624162Z","title":"Bunel, J","venue":null,"work_id":"fe16ea5a-13cd-4dfc-911f-e94c5fe28e8a","year":2023},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.253522Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:020bd2d8785e10cd88b20746c677c95ee7552b03ef931a0bb6ce04314ba16db4","observation_id":"2e03d769-efda-4b08-b80b-0b94684846bd","resolution":{"observed_at":"2026-08-06T19:50:43.627032Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.614164Z","title":null,"venue":null,"work_id":"b7485d93-f5dd-4ad8-897d-4e7e374aae4a","year":2025},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.256300Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:eb79860d93173934a05afc020ac8679fc2614e9f54707caa98dd669dcc5b918e","observation_id":"01231d70-0e91-43c0-8d9f-0fa3f3449c72","resolution":{"observed_at":"2026-08-06T19:50:43.617798Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.605971Z","title":"Overt: An algorithm for safety verification of neural network control policies for nonlinear systems,","venue":null,"work_id":"a1d0a4be-5efe-4044-904e-1b4f6b1ad7d3","year":2022},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.258890Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:04f3ed85b2b481208e4ea1721f8038295e4965763348ab09b129ed4e4d740e63","observation_id":"d5faa734-ec1c-442f-bab0-215f34a31417","resolution":{"observed_at":"2026-08-06T19:50:43.608768Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.598697Z","title":"One-shot reachability anal- ysis of neural network dynamical systems,","venue":null,"work_id":"6677f380-4ee6-43e0-a450-81d6d95d0d5a","year":2023},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.262147Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:2483394d05b336390dad55588794eeabc32f4e16660ae824f795aeeba2981c52","observation_id":"a943515d-dad9-4dc7-b2bb-c56af9137ad1","resolution":{"observed_at":"2026-08-06T19:50:43.601461Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.266025Z","title":"Reachability analysis of neural feedback loops,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.266025Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:80828be856b6dbbdba83376f71858c3c47cfed297bae7b7f8c2871a8e729e63c","observation_id":"91a2043b-e42b-4739-bd3e-4e0506bbac9a","resolution":{"observed_at":"2026-08-06T19:50:43.266025Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1903.00520","last_updated":"2019-06-04T00:21:05Z","snapshot_observed_at":"2026-07-06T07:36:30.475302Z","submitted_at":"2019-03-01T20:14:11Z","title":"A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers","version":3},"cited_work":{"arxiv_id":"1903.00520","doi":null,"metadata_source":"pith","pith_arxiv_id":"1903.00520","snapshot_observed_at":"2026-08-06T19:50:43.445710Z","title":"A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers","venue":"cs.SY","work_id":"cd7259ec-7dae-49fb-9fac-c967e33e4d68","year":2019},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.269398Z"},"links":{"cited_paper":"/paper/1903.00520","citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:7913d233b278bff2bd3f9cc1080495c767a3a8cb3c2c5069358e17a82b513462","observation_id":"28aa688c-bbbc-44de-b122-e253a7056bba","resolution":{"observed_at":"2026-08-06T19:50:43.449027Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.587161Z","title":"Reach-SDP: Reachability analysis of closed-loop systems with neural network controllers via semidefinite programming,","venue":null,"work_id":"43df6bf8-852d-40e3-8481-027737009900","year":2020},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.273003Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:bc84c1df5daa55611f985a970e765aaec2ec44d0283cd6c6ca6bc01bb64418d6","observation_id":"511803fb-54f8-42da-b815-c75093abe669","resolution":{"observed_at":"2026-08-06T19:50:43.589861Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.580193Z","title":"Polar-express: Efficient and precise formal reachability analysis of neural-network controlled systems,","venue":null,"work_id":"485419e6-905b-4fbb-baf0-c1cf4053644e","year":2023},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.276952Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:11b9fa182e2a56891b339cf05d9d478ec30b1e4c534b135aefe3c6e6610a7944","observation_id":"ac4bdcae-671d-4eb6-b5aa-e5fe51c035d7","resolution":{"observed_at":"2026-08-06T19:50:43.582751Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.573401Z","title":"Verisig: verifying safety properties of hybrid systems with neural network con- trollers,","venue":null,"work_id":"e99c33a5-69dc-45ba-b478-97596c05018a","year":2019},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.280053Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:c0ae92a1846b6dcfe8f216ad0789ed2a77d4055a13ebeb974ccb78e920d34e0b","observation_id":"cc247a7e-d87f-43bd-a3c6-3f58b7369937","resolution":{"observed_at":"2026-08-06T19:50:43.576023Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.566880Z","title":"Reachability analysis for neural feedback systems using regressive polynomial rule inference,","venue":null,"work_id":"cdaf6fa0-2af8-4fc1-ae22-04e4decce8b1","year":2019},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.283319Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:89c394a768bfa0904ec8420bfaeda68e76ec92924573efe70d3dbea39e6cbb61","observation_id":"30422cbf-e5f4-4c86-89a9-f0299f0c97ab","resolution":{"observed_at":"2026-08-06T19:50:43.569508Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.559537Z","title":"Reachnn: Reachability analysis of neural-network controlled systems,","venue":null,"work_id":"aa969a93-7e87-482b-b855-8da994b3c485","year":2019},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.285804Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:7369a62642812774970c6c94fcd38788cd3dab6a3a7ac00e23873d76e0a3ef31","observation_id":"7b4e386b-b729-4037-8042-18b27f51215f","resolution":{"observed_at":"2026-08-06T19:50:43.562857Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.551774Z","title":"Reachnn*: A tool for reachability analysis of neural-network controlled systems,","venue":null,"work_id":"a84574d3-546f-4c0f-b223-a4ece00ce4ab","year":2020},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.289083Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:9ebefe72dc22073be12a7660bdb81086ba91bdbbf143c0f4bc9cb3859ded1bfe","observation_id":"9629dbea-7d10-4cc6-8597-b202a0cb77a7","resolution":{"observed_at":"2026-08-06T19:50:43.555049Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.544018Z","title":"Reachable set estimation for neural network control systems: A simulation-guided approach,","venue":null,"work_id":"db87fab9-e454-469e-9981-fc2b3ed1ae23","year":2020},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.291593Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:cf2a7f316cc20e06ddb3883f52d9bc201f5024e2605760b8c42af1bed9eed570","observation_id":"ef099629-a054-4a79-903b-2d1b0dfb4371","resolution":{"observed_at":"2026-08-06T19:50:43.547017Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.535589Z","title":"Neural network compression of ACAS Xu early prototype is unsafe: Closed-loop verification through quantized state backreachability,","venue":null,"work_id":"709bbc24-5747-4fb2-98c1-241dc2a4b0ec","year":2022},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.295037Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:ca2733bdbfcb452327eeaf2cec5fa6b773127b9c4eb5baab6d0bd39e8314eedd","observation_id":"a697411c-bef1-428e-9e1a-dcd95ba03f8e","resolution":{"observed_at":"2026-08-06T19:50:43.539039Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.527483Z","title":"Probably approximately correct vision- based planning using motion primitives,","venue":null,"work_id":"b4d21d54-ac22-49dd-a693-7f64ac12bd93","year":2021},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.297519Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:4988ebef7a3ab315dbd4dc4836bdc432ba85cf8648ab4b9e3d265ce854b7e103","observation_id":"82030749-3dd0-4807-b089-8679cc4eb362","resolution":{"observed_at":"2026-08-06T19:50:43.530761Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.519081Z","title":"Safe output feedback motion planning from images via learned perception modules and contraction theory,","venue":null,"work_id":"95d97832-8c4e-4d25-b302-3eba6e51458f","year":2022},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.300162Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:c28334b80986a364036c9ed5108f07b76ae3d7258066bc32b7168d79fd402dda","observation_id":"ba3a21af-d270-461b-a14d-03fea307b141","resolution":{"observed_at":"2026-08-06T19:50:43.522915Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.20942","last_updated":"2025-04-29T17:06:22Z","snapshot_observed_at":"2026-08-07T15:58:08.134755Z","submitted_at":"2025-04-29T17:06:22Z","title":"Scenario-based Compositional Verification of Autonomous Systems with Neural Perception","version":1},"cited_work":{"arxiv_id":"2504.20942","doi":null,"metadata_source":"pith","pith_arxiv_id":"2504.20942","snapshot_observed_at":"2026-08-06T19:50:43.434968Z","title":"Scenario-based Compositional Verification of Autonomous Systems with Neural Perception","venue":"cs.LG","work_id":"937af897-57b4-4271-b33a-fb090e89bf23","year":2025},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.303508Z"},"links":{"cited_paper":"/paper/2504.20942","citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:03fb9986b95ecc0469cf42ac6e79034ac6fa5c5187d6ba5acf676164417416b0","observation_id":"cd911dbc-2e2d-47b0-acaa-3b90c37f2249","resolution":{"observed_at":"2026-08-06T19:50:43.438921Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.510940Z","title":"Verifying controllers with vision-based perception using safe approx- imate abstractions,","venue":null,"work_id":"0b654766-8070-44e1-828b-36ba62bf7871","year":2022},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.307114Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:35a468e3ef65b52a374d29fbbf52a749b58966c297ca2e9c061bda993b0dfe31","observation_id":"567931a5-643c-470d-b460-2da64efad802","resolution":{"observed_at":"2026-08-06T19:50:43.514728Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.17630","last_updated":"2024-10-06T19:37:03Z","snapshot_observed_at":"2026-07-06T19:22:36.876751Z","submitted_at":"2024-09-26T08:25:05Z","title":"System-Level Safety Monitoring and Recovery for Perception Failures in Autonomous Vehicles","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.17630","snapshot_observed_at":"2026-08-06T19:50:43.310457Z","title":"System-level safety monitoring and re- covery for perception failures in autonomous vehicles,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.310457Z"},"links":{"cited_paper":"/paper/2409.17630","citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:f8ee994244c633fe1700d0881c92de848b05429180e0db08333f58640fac846c","observation_id":"9d2846cb-9d48-4b9f-b14f-026755819562","resolution":{"observed_at":"2026-08-06T19:50:43.310457Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.21736","last_updated":"2024-10-30T01:35:32Z","snapshot_observed_at":"2026-07-06T19:41:19.700669Z","submitted_at":"2024-10-29T04:50:34Z","title":"Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis","version":2},"cited_work":{"arxiv_id":"2410.21736","doi":null,"metadata_source":"pith","pith_arxiv_id":"2410.21736","snapshot_observed_at":"2026-08-06T19:50:43.412525Z","title":"Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis","venue":"cs.RO","work_id":"674044a3-a6ec-4f09-8285-4a9611a7eb48","year":2024},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.314316Z"},"links":{"cited_paper":"/paper/2410.21736","citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:b4ee7ea543ce51f556312a36e233f1a8140584644a8eff12975ce4b3cfce22e7","observation_id":"65bc631a-d7fd-49ca-ac9d-f77572e2dd33","resolution":{"observed_at":"2026-08-06T19:50:43.416012Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.503168Z","title":"Discovering closed-loop failures of vision-based controllers via reachability analysis,","venue":null,"work_id":"ddbef952-4162-4d66-8519-b511a30f4965","year":2023},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.317576Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:45a04aa773461ebf1ea65ce45110b66b75c5a7c9174b7ca0f51c48668bf4be46","observation_id":"26742cc4-4709-42d8-9fe9-dbe83d5848a8","resolution":{"observed_at":"2026-08-06T19:50:43.506643Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.495102Z","title":"Toward certified robustness against real-world distribution shifts,","venue":null,"work_id":"0a63cab0-ba70-4675-b5be-54f6ede14731","year":2023},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.320545Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:4928bb8b9a19f5ccb6aaedbb57ca7965591e769302d6b14c8f172547290f4719","observation_id":"419f8337-8d5a-45a6-bba3-9206fa13e107","resolution":{"observed_at":"2026-08-06T19:50:43.498489Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.06848","last_updated":"2023-12-11T21:22:10Z","snapshot_observed_at":"2026-08-05T16:38:23.737359Z","submitted_at":"2023-12-11T21:22:10Z","title":"Data-Driven Modeling and Verification of Perception-Based Autonomous Systems","version":1},"cited_work":{"arxiv_id":"2312.06848","doi":null,"metadata_source":"pith","pith_arxiv_id":"2312.06848","snapshot_observed_at":"2026-08-06T19:50:43.399207Z","title":"Data-Driven Modeling and Verification of Perception-Based Autonomous Systems","venue":"eess.SY","work_id":"dc61080b-0c8d-4682-a657-e56ceb6c56eb","year":2023},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.324281Z"},"links":{"cited_paper":"/paper/2312.06848","citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:496a7f744949e5f3bc584748381f6e5c54d5830d6a77ee52509b23723543b2ab","observation_id":"437e5d93-38e7-4330-97bc-990483ada951","resolution":{"observed_at":"2026-08-06T19:50:43.403342Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.487293Z","title":"Enforcing safety for vision-based controllers via control barrier functions and neural radiance fields,","venue":null,"work_id":"f74bbd00-cb6e-4544-9426-604890414c05","year":2023},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.328091Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:1316ae6b888c2f6099cd895681b76d93eab565de83e24a711668e8a60d584c75","observation_id":"c8e15f4b-7672-4d12-8a61-d5e3cfe5fee7","resolution":{"observed_at":"2026-08-06T19:50:43.490737Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.478765Z","title":"Nnlander-verif: A neural network formal verification framework for vision-based autonomous aircraft landing,","venue":null,"work_id":"f7696475-4924-4382-8665-19deb46a68ae","year":2022},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.331463Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:224ff5919ae641a8c872290f7ec1c6249707cdfee5aff08e1c586e6f010e9f4d","observation_id":"e7e82b67-56e5-4ba0-8359-f8014341a517","resolution":{"observed_at":"2026-08-06T19:50:43.482357Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2209.11827","last_updated":"2022-10-24T13:14:19Z","snapshot_observed_at":"2026-07-06T13:55:45.499742Z","submitted_at":"2022-09-23T19:40:11Z","title":"One-Shot Reachability Analysis of Neural Network Dynamical Systems","version":2},"cited_work":{"arxiv_id":"2209.11827","doi":null,"metadata_source":"pith","pith_arxiv_id":"2209.11827","snapshot_observed_at":"2026-08-06T19:50:43.384564Z","title":"One-Shot Reachability Analysis of Neural Network Dynamical Systems","venue":"eess.SY","work_id":"0c0bba8a-13c2-4025-add6-cbf743d67fc6","year":2022},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.334391Z"},"links":{"cited_paper":"/paper/2209.11827","citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:35eaf60a06813953b8b674b334239a94b1340e5815be3c0e5703837f00f44248","observation_id":"8153510d-b55f-4c21-9852-1bb93420cd6d","resolution":{"observed_at":"2026-08-06T19:50:43.389140Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.470183Z","title":"Branch and bound for piecewise linear neural network verification,","venue":null,"work_id":"017fd4e4-e51d-4aa9-8085-68a73ee157f9","year":2020},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.337325Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:9460f7af0577c4e14fa5c9bb41048f9166b9b715bed0be7f016e2daaa2739c11","observation_id":"25b6d545-c84d-4cfd-8c46-871427d3c32e","resolution":{"observed_at":"2026-08-06T19:50:43.473224Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T19:50:43.461580Z","title":"Neural network verification with branch-and-bound for general nonlineari- ties,","venue":null,"work_id":"c13112e8-35ea-46ad-95c2-ee00799972c0","year":2025},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.340816Z"},"links":{"citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:575dcac96704beb2f1a3c7b91c68971d64d5c6c98b13b9772ed7fbff07d07bc5","observation_id":"468bde36-858d-4885-816b-5268355cbee3","resolution":{"observed_at":"2026-08-06T19:50:43.464326Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.17032","last_updated":"2025-11-02T13:42:19Z","snapshot_observed_at":"2026-07-06T18:51:06.750136Z","submitted_at":"2024-07-24T06:35:05Z","title":"Gymnasium: A Standard Interface for Reinforcement Learning Environments","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.17032","snapshot_observed_at":"2026-08-06T19:50:43.343745Z","title":"Gymnasium: A standard interface for reinforcement learning environments,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.343745Z"},"links":{"cited_paper":"/paper/2407.17032","citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:6b0a2004965620699d9005db901212d1e4fcf60a3f3f8dd28bd13d1df19b3514","observation_id":"7d52518b-ed46-42db-a5c1-5c09b74a8336","resolution":{"observed_at":"2026-08-06T19:50:43.343745Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1707.06347","last_updated":"2017-08-28T09:20:06Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2017-07-20T02:32:33Z","title":"Proximal Policy Optimization Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1707.06347","snapshot_observed_at":"2026-08-06T19:50:43.347369Z","title":"Proximal policy optimization algorithms,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.347369Z"},"links":{"cited_paper":"/paper/1707.06347","citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:af62bc32c6c1af45bd56f67ec608e0c5d3a8be80ae2f81a556bec583029db64a","observation_id":"98ea7f20-979f-4e68-93ab-dc9806be6f2a","resolution":{"observed_at":"2026-08-06T19:50:43.347369Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-06T19:50:43.236620Z","title":"Available: https://arxiv.org/abs/1810.12715","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.236620Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:db01af0be59e8530077ec01f2784f012c06e000c32dc6b04b3e5b5e6b0cd3954","observation_id":"7a5a5c7d-4972-4e48-8b18-b299a7325280","resolution":{"observed_at":"2026-08-06T19:50:43.236620Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-07T15:14:12.208790Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations"},"reference_resolution":{"displayed":47,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":5,"verified_fuzzy":34},"total_outbound_references":47},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"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."}