{"as_of":"2026-08-10T06:15:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:923f1cd571844404f6766c8d9f32f1a1702e646c894541dfa6c8b139db0ca4ff","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-09T06:31:02.800959+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-08T14:53:36.252943Z","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:22dbe4bed2928d5f43aab5724e9cde6d8bb6eab04188703087caf3a6970c0a6a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:fc44686928c40283771d5a8e18912c8ec3da35285df3ce7f547801da5409ec08","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:ae25e0c927a3bab8c9ac32f7af822115f69a230d3d29e4231b223abdc5e56127","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:57b18848102b7259d90f9f38164c7fd7645f7fb91df4b89855939a684701873c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:a24eef46f9590ea22aadedc969a431743d919f6b88c9d0707d4e6d7208ba263b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:b6b74e24291ad0e51e4129f2a6a237bb14d32f31a7ee4a8db7f1d8a0a9383c1a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:948f70a1731f819f811cdb5322f8614b5e76579cee88acc3ff94797b4ed2b6e8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:77cca8e70c1989784cc01917357acca53f82ee42f421a6d1b6435c05dbcc0769","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:88db4852700a39b0803a2ad9f814c66e8bd3ea76317d99cff051d79943ee3af2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:bafe6ae612f778bd49fef9883962834f0fe8f231b3b2109fd3741a885a81627e","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-08T14:53:36.252943Z","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:e52d3cedff3d26af5730d2873f3daf3eb097aaaeb0ccec939ccaa1131feb66d2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:0cd683041dc1b191441311b05093bcd648b012bae04a6f87b9c0185d836ea24b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:a040ac16c1702dd8ac0c48e3df7b5d89e185d86eab984b37990caa9526fcb630","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:c287afbb8be2353810a5a6026eb90d0c790f4e2f089a0ab492d41688af1c18f4","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:0aa3363760767b11ef061e0ed393abb7dd7f1c089c0fc0c11b5559cf34d12ac0","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-08T14:53:36.252943Z","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:d4e8f7ce6d176fa26867d224cbfddd74495c24e6125600a2df16678a6563cb1f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:406faa00a47fd1be880ee202ed1b38bcc1e69e4da21deeada317ec3bccc17eec","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:1ced7fd649903104a7b3efc33afa28b75081b3b9fad50fdbab2c5b1b61e6b728","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:c663ba0b18ca1276f9fc8e293dccd3ee266dd2134304edcb01729d96298b3993","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:f8ab60fedd51e300f756730dfef8b577b673efe9e1d013b33213e7a799b5a1f6","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:d2692949743abd78cffad7d1c75cf941de2a70225d995fbba429725682e892a9","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-08-09T16:07:56.319909Z","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-08T14:53:36.252943Z","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:34b16331fdc9f50a1b24cf67d12435a7b2ec09b258bdfbbc4b0498c9cd092cfb","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:578ea692cd011bf7ba9722aaeb62286890793c0a877eeef9ac1ab789ee61fbb4","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:a61f59e7244aa677d4bb2cbe9b7103e3dac974bb85c23903a2fff6387cea4cac","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:97c40c6b1c3d2fa03c7e7564125b811ef70e1d9ce3fbf28aadb777a39f030631","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:5acf72a8c4e01c2816fb60584252595b85472670d8771a0d632a5e0daf6c1f9f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:c2db183548b10b6ebab91b9dc896681af68dae61f437d869978d2ef167e96e1c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:7976338e2ffede488d44ba0a064030fb3fe69f5b8ba9294e1a62dc6793918a05","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:410865fc29938e4a9c2eb3af478eeb9065862b9b91967f6cf89542207da39797","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:e9a04db73c86e777bece02ccd40fd7924ad43b6278d2a959175b94f44068ef51","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:50328007d1ce1ac2b6e0fe7a9c0b55cbbeb6e9f15c874f01892d5ce52d741a19","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:ecfcad60a2023433c26126da67fa45c88bd12d0ecc6b41b64be189a98f25df2a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:a153cf6e0810122b9c6995e9de645157924871aa15ebdf4f87f437a4455946fe","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:3ec21fa19bc6343b3204989fee8b9c6da7dba819173337293f49334ea9d7c2e5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08-10T05:15:54.353521Z","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-08T14:53:36.252943Z","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:0b7112255b10fe493b8ec832549ee490b50f6c62d3fe70d67e44ab2030932fff","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-08T14:53:36.252943Z","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:5b1ac4714fb945aae854b7e7c3dfae7dbba6413154b9de5c39e765978afc7137","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:233f1e38c9ebc4df2d53e092bcd8a092728462074cd9fe9cda227f5a79bed7ea","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:c9c706c03b74ae0116614ef5ba22d46119b2fa1a437d252ae5fbf483a8dce9b5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:4e7d44a71ea4911a040a4bb15797d90b6de29d1d9ab352e083f319a2ff1dc179","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:a724d06e85a1c9ef6dad5a862b1684325ccc36f3636b70f05f0a459b79228aa6","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:3ad8dcd32ef0da2c7771a60eea23a5b7461244f97b2d565dc459ec614d2ebcf3","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:e6d4e30848d063bcf23a108b13af31081d14bd55e361074a6d2b6701c3ae7d22","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:c261fe0bd77e58777baee6c1481c228a2161dbab50a727dbf4d238616acef97c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:aaadd06fd5929a7496763eaf265290224d811393c2564b1bf0d98bd49dfacf23","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:53:36.252943Z","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:61ffc3a6398e988122fbfb672f88a40a6b6a86daebe267b20b79965cc915bba9","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-08T14:53:36.252943Z","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:80591875682d5a4dea08b0467caf51aada8b92c77891c9a4de04352e461e384e","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-08-08T14:49:59.485488Z","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-08T14:53:36.252943Z","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:5a89d5ceb49defc1f8128e38ec01c5d521e62aece933d1d7a8cff747bbace90e","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-08T14:53:36.252943Z","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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2507.04523."}