{"as_of":"2026-08-09T10:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:de3a1a693750bd60e6c03bc22da07e8d6bbb616197be6d561a32bcf3309ef4d6","coverage":[{"denominator":74,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":74,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T19:17:08.814887Z","state":"measured"},{"denominator":75,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":75,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T15:48:08.610079Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2603.03043","snapshot_observed_at":"2026-08-01T15:48:08.610079Z","title":"Br ¨uckner, A","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.18195","last_updated":"2026-07-20T17:36:05Z","snapshot_observed_at":"2026-08-08T08:49:08.389127Z","submitted_at":"2026-07-20T17:36:05Z","title":"Certified Training for Convolutional Perturbations","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T15:48:08.610079Z"},"links":{"cited_paper":"/paper/2603.03043","citing_paper":"/paper/2607.18195"},"observation_digest":"sha256:91f6aae83fe7b54e3f1b252f3dc3725bd4f5acfa186ccbe2a20b5e789014a78b","observation_id":"1e288210-b0fb-4715-85ba-f30c3c01e538","resolution":{"observed_at":"2026-08-01T15:48:08.610079Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2603.03043/citation-record","integrity":"/paper/2603.03043/integrity","json":"/paper/2603.03043/citation-record.json","paper":"/paper/2603.03043"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:07.804821Z","title":"In: Proceedings of the 1st and 2nd Workshop on Applied Verification for Continuous and Hybrid Systems","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:07.804821Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:d87414813a5710d6ab291a13e63ef754e188b73718cbb72ba300baf4a770057b","observation_id":"5c54b78f-5678-40a0-8d43-b89a06381288","resolution":{"observed_at":"2026-08-02T19:17:07.804821Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:07.910211Z","title":"In: The Visual Computer","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:07.910211Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:0d81004023519d00b13e8e16c640dd848b65e5199616267c4a01338c554204f7","observation_id":"9a118b52-0d1d-4b00-9dc4-92b86f0ee332","resolution":{"observed_at":"2026-08-02T19:17:07.910211Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:07.999812Z","title":"In: Integer Pro- gramming and Combinatorial Optimization","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:07.999812Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:a33552a74ce722424c1d927cf00825242ff548d0b4278cc06bc4b7b50ac2bfeb","observation_id":"bc11c437-02fd-4aa3-a110-67a710884edc","resolution":{"observed_at":"2026-08-02T19:17:07.999812Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.075178Z","title":"In: Proceedings of the 13th International Symposium on NASA Formal Methods (NFM21)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.075178Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:4282a85eaebf558d7c31cb7bb367982471dd9dff8e67879a9b54dbe3910d5fd5","observation_id":"a90c4edd-bc02-4885-9357-4d81a30fb603","resolution":{"observed_at":"2026-08-02T19:17:08.075178Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.150296Z","title":"In: Proceedings of the 33rd Annual Conference on Neural Information Processing Systems (NeurIPS19), pp","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.150296Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:9de4d34ee0a893ddd9be6e84e1c1c0e01eae41067eaa34228ef05e26da83eadc","observation_id":"15f2a621-ef6d-4c07-a90e-6ca0b45d7600","resolution":{"observed_at":"2026-08-02T19:17:08.150296Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.259949Z","title":"In: Proceedings of the 27th European Conference on Artifi- cial Intelligence (ECAI24)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.259949Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:c476b1417990f48c4b0f4289f7cf68ee3cc85cb9709477e9167dba62a29042f2","observation_id":"63b51b97-6f95-4650-b2c8-819191aaa01d","resolution":{"observed_at":"2026-08-02T19:17:08.259949Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.10934","last_updated":"2020-04-23T02:10:02Z","snapshot_observed_at":"2026-07-06T09:14:32.318388Z","submitted_at":"2020-04-23T02:10:02Z","title":"YOLOv4: Optimal Speed and Accuracy of Object Detection","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.10934","snapshot_observed_at":"2026-08-02T19:17:08.367508Z","title":"arXiv preprint arXiv:2004.10934 (2020)","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.367508Z"},"links":{"cited_paper":"/paper/2004.10934","citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:9b26481c17065dc774164133a3959707c916f9b09665089e8c6c92e45cb57b7b","observation_id":"ea46524e-adf3-4b6c-89db-e3e01a66d5c6","resolution":{"observed_at":"2026-08-02T19:17:08.367508Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.464487Z","title":"In: Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI20)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.464487Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:711394ca3717b85deeb1f05005f7e9d2d9ad34c78aa129bcd825cf5a986dc063","observation_id":"8f50148a-9276-40e5-ac79-fa4722561f3d","resolution":{"observed_at":"2026-08-02T19:17:08.464487Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.470471Z","title":"Cambridge University Press (2004)","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.470471Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:746c533c596fc107f20fa81aceee33cdb893293a9e53536952e010fb01e19fbe","observation_id":"bbe07e87-015f-4fa8-9423-342658839f4a","resolution":{"observed_at":"2026-08-02T19:17:08.470471Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.19985","last_updated":"2024-12-28T03:07:00Z","snapshot_observed_at":"2026-07-06T20:13:58.813488Z","submitted_at":"2024-12-28T03:07:00Z","title":"The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-08-02T19:17:08.476351Z","title":"arXiv preprint arXiv:2412.19985 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.476351Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:2eb4d53267b6c89f90067b86b006dcb9d76c433c357174666b310c7c0b98be33","observation_id":"dc87308d-4288-4ed2-980a-257d92456704","resolution":{"observed_at":"2026-08-02T19:17:08.476351Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2301.05815","last_updated":"2023-01-14T04:04:12Z","snapshot_observed_at":"2026-08-08T12:16:11.573749Z","submitted_at":"2023-01-14T04:04:12Z","title":"First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2301.05815","snapshot_observed_at":"2026-08-02T19:17:08.482189Z","title":"arXiv preprint arXiv:2301.05815 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.482189Z"},"links":{"cited_paper":"/paper/2301.05815","citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:cc9188d547891b25137f38d7ce681d65c1a3d33f2e6619c99c64217d560c1648","observation_id":"36a95031-417c-4b8b-8c8b-332334df491e","resolution":{"observed_at":"2026-08-02T19:17:08.482189Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.487871Z","title":"In: Proceedings of the 39th AAAI Con- ference on Artificial Intelligence (AAAI25)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.487871Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:16229d196b2ac11fb1e6180a9ca8e3aceaa4d3aadc4938db6c6a929831ca6460","observation_id":"65d1fa80-a663-48d3-a713-b323c96cffb5","resolution":{"observed_at":"2026-08-02T19:17:08.487871Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.493596Z","title":"In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security (CCS 2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.493596Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:b5b0765227e1e6cd47c4c9b6745396eea856b04d2fec326a64278862fddfe117","observation_id":"845b0814-0625-462c-9cf7-92abdaad457f","resolution":{"observed_at":"2026-08-02T19:17:08.493596Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.499625Z","title":"In: Proceedings of the 40th International Conference on Machine Learning (ICML23)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.499625Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:f8ee1c641c1e188d4ddb4c7fe70e64901647ad3b7bea13caf13ec61db2e34cc0","observation_id":"5a9c24f2-b355-423d-bd1c-3fbb8564bd35","resolution":{"observed_at":"2026-08-02T19:17:08.499625Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.505425Z","title":"In: Proceedings of the 34th Interna- tional Conference on Artificial Neural Networks (ICANN25)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.505425Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:65784991c8424e5c76150f9717dce2ee0a0cb848c1db9535566b1b12bc664d9a","observation_id":"357b0d46-71d2-4839-a8f2-4f77d29c2567","resolution":{"observed_at":"2026-08-02T19:17:08.505425Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2104.06718","last_updated":"2021-04-14T09:22:42Z","snapshot_observed_at":"2026-07-06T10:59:29.035923Z","submitted_at":"2021-04-14T09:22:42Z","title":"Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2104.06718","snapshot_observed_at":"2026-08-02T19:17:08.510534Z","title":"arXiv preprint arXiv:2104.06718 (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.510534Z"},"links":{"cited_paper":"/paper/2104.06718","citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:475f085a372465638d74d40b4fdae32fa00cac1b0077f6b395e922273b49f8a6","observation_id":"b7cfa4bf-4616-4454-93c9-0f2c2f34b5db","resolution":{"observed_at":"2026-08-02T19:17:08.510534Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.518364Z","title":"Soft Computing28(19), 11647–11665 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.518364Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:507a10e1e8255afcb2462b597c946edd7ff49358c125126e6167f292d973381f","observation_id":"5e0a57a2-354d-4aa6-94d2-4ec9debfe0a8","resolution":{"observed_at":"2026-08-02T19:17:08.518364Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.09938","last_updated":"2023-04-21T13:58:29Z","snapshot_observed_at":"2026-07-06T15:17:41.309684Z","submitted_at":"2023-04-05T08:25:55Z","title":"LARD -- Landing Approach Runway Detection -- Dataset for Vision Based Landing","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.09938","snapshot_observed_at":"2026-08-02T19:17:08.524144Z","title":"arXiv preprint arXiv:2304.09938 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.524144Z"},"links":{"cited_paper":"/paper/2304.09938","citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:24953bc6b44fb48f31b261e35a8cadf22775d2f771843076e06886d548a39044","observation_id":"14f92cef-f1af-412e-8b89-f858813524c6","resolution":{"observed_at":"2026-08-02T19:17:08.524144Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.530341Z","title":"In: Proceedings of the 44th Digital Avionics Systems Conference (DASC25)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.530341Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:6a5a0878b837341e93dbd35949aecf3d8063dbf9df155456a1d57978ce00984b","observation_id":"2aa37f8d-0c56-42bd-aff5-f0a48e577f60","resolution":{"observed_at":"2026-08-02T19:17:08.530341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.10266","last_updated":"2024-01-19T23:51:05Z","snapshot_observed_at":"2026-08-06T02:20:29.006019Z","submitted_at":"2023-07-17T18:49:46Z","title":"A DPLL(T) Framework for Verifying Deep Neural Networks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.10266","snapshot_observed_at":"2026-08-02T19:17:08.536553Z","title":"arXiv preprint arXiv:2307.10266abs/2307.10266(2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.536553Z"},"links":{"cited_paper":"/paper/2307.10266","citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:89ffdbdc19686022d883b241c1230738fad3f26f78ae3f531df11f548afdc812","observation_id":"de06e761-c490-411d-8040-34dfa718da93","resolution":{"observed_at":"2026-08-02T19:17:08.536553Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.542429Z","title":"In: Proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA17)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.542429Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:0b275e8448f93aa3d23dc55167fe585986b251bd2a81b13f3eb8f5f57483dd8f","observation_id":"568bfc8b-098b-46a7-a0b5-3954a4ad54fe","resolution":{"observed_at":"2026-08-02T19:17:08.542429Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.547615Z","title":"International Journal of Computer Vision88(2), 303–338 (2010)","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.547615Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:d06c36972f357f03ff365fdad2b76eab59441ec563f919743a06638a4bc9db1a","observation_id":"dceeebe9-eace-4cfb-8a15-bcc591dc120a","resolution":{"observed_at":"2026-08-02T19:17:08.547615Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.552925Z","title":"IEEE Transactions on Automatic Control (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.552925Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:cc319d8ee62347775b210d235a73786c1d6e873d5ce3de8cd5facb563ec4018d","observation_id":"c1c2e2ed-39e4-4f40-a311-776e6dffa294","resolution":{"observed_at":"2026-08-02T19:17:08.552925Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.557842Z","title":"In: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC22)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.557842Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:51b7e5f5d41febaee01a613c97658d704ee187534226201593d387e82c882dc8","observation_id":"5dbc3d3a-35c4-489f-b5ce-64c64ba82075","resolution":{"observed_at":"2026-08-02T19:17:08.557842Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.562670Z","title":"In: Proceedings of the 10th Interna- tional Conference on Learning Representations (ICLR22)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.562670Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:fdb9f62c68cfe266ae7c75035868cb79330018c53b99247ed2988cf999cfa820","observation_id":"24ad0eff-0f74-484c-a5c5-8afd6f47dcfa","resolution":{"observed_at":"2026-08-02T19:17:08.562670Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.567367Z","title":"In: Proceedings of the 3rd International Conference on Learning Repre- sentations (ICLR15) (2015)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.567367Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:7dd49a614f05cd97014ad18aeb14c10a80b7cd336aa349db15e307039341fd6b","observation_id":"e06d3c78-c354-45c2-8f02-997531086af2","resolution":{"observed_at":"2026-08-02T19:17:08.567367Z","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-02T19:17:08.572806Z","title":"arXiv preprint arXiv:1810.12715 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.572806Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:06cab2aa6bfb9fe07a8320c9be1b2c3baffeec16f066fe1078253aca6f2a4960","observation_id":"4ccd5854-537a-4cd0-8983-d992c4957833","resolution":{"observed_at":"2026-08-02T19:17:08.572806Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.577937Z","title":"In: Proceedings of the 19th International Conference on Software Engineering and Formal Methods (SEFM21)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.577937Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:e1f5820278bcacd1f528258008e5e9112e9fe70f3821bf854da6ebc324f1bb79","observation_id":"616b9d95-27db-4068-b2c8-a2ef47d2fbf3","resolution":{"observed_at":"2026-08-02T19:17:08.577937Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.582992Z","title":"In: Proceedings of the 32nd British Machine Vision Conference (BMVC21)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.582992Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:4667dcb744caf6eb5b6c88c6c8fe7159842b8654ffb68d486154182620d7e915","observation_id":"aeb65e75-a984-47f3-9c4c-00f978f59a7e","resolution":{"observed_at":"2026-08-02T19:17:08.582992Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.588406Z","title":"In: Proceedings of the 30th In- ternational Joint Conference on Artificial Intelligence (IJCAI21)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.588406Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:2d32dfd2242aea10543e0f861ac38a7f0d8dfcef4c2aa3896115a0e5f034c6de","observation_id":"d4d0be4e-da3a-4071-86a8-736198c79ff3","resolution":{"observed_at":"2026-08-02T19:17:08.588406Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.593455Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.593455Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:18586977e52dfd8a760ab22c6970d0734b145be5fb3f9310c3e0891c6d6331a9","observation_id":"ada2d932-0bd7-4ec5-9f7f-3c1f70d3cde6","resolution":{"observed_at":"2026-08-02T19:17:08.593455Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.599973Z","title":"In: Proceedings of the 29th Inter- national Conference on Computer Aided Verification (CAV17)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.599973Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:2df10a552539b49d0173dcaf2ea4225696e7aa9ae39555792eb645d652d2c6cd","observation_id":"ba071b41-7329-4688-adbd-670788049405","resolution":{"observed_at":"2026-08-02T19:17:08.599973Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.604910Z","title":"In: Proceedings of the 31st International Conference on Computer Aided Verification (CAV19)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.604910Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:40f4599d5ded182e376e68e759f1656c53142cadb0d0030721125ac6ee6dc5ca","observation_id":"b84d4523-a870-4ee1-95d1-3574f6b7816d","resolution":{"observed_at":"2026-08-02T19:17:08.604910Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.610734Z","title":"arXiv preprint 2512.19007 (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.610734Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:5ce51342c09fd31ca2af7d58c6f046216f735a6c0028a3c4002f5fdfa36a7b53","observation_id":"5b7a64d8-7a5e-4980-bdd8-b1ac3b73e087","resolution":{"observed_at":"2026-08-02T19:17:08.610734Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.616161Z","title":"In: 1st Workshop on Formal Verification of Machine Learning (WFVML22) (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.616161Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:74da1645097bab0a2132642a677554eebf03a6b62edc0a6d2f0bc5f15402f0df","observation_id":"36f6ecc8-bf49-4f38-a83e-69517965516d","resolution":{"observed_at":"2026-08-02T19:17:08.616161Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.621075Z","title":"In: Proceed- ings of the 39th AAAI Conference on Artificial Intelligence (AAAI25)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.621075Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:2124baaadf367f3b27bb49c528a8594a685a182971755fbbf573895c9e942d52","observation_id":"039f7f7c-7298-4e9e-8d39-645f79f6b2d8","resolution":{"observed_at":"2026-08-02T19:17:08.621075Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.626416Z","title":"In: Proceedings of the 24th International Symposium on Formal Methods (FM21)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.626416Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:dea557adfdb424a6638bdfe47f340f169ba9fdc3694a6ae748c913fbb61e6373","observation_id":"2052760b-ec7e-44f7-a0ff-068a9435693d","resolution":{"observed_at":"2026-08-02T19:17:08.626416Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.632589Z","title":"In: Proceedings of the 30th Interna- tional Joint Conference on Artificial Intelligence (IJCAI21)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.632589Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:6fba1f7764cd462f7a4fa7aacb9779f53387101848d0a06cb7b5a34e51797d3a","observation_id":"03825c97-08c7-44cc-8b20-02fe6db1dad1","resolution":{"observed_at":"2026-08-02T19:17:08.632589Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.637361Z","title":"In: Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI23)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.637361Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:d49f845ac29dfc3a1fae7077c687163bfb7a021dcad188e0263cffee449448b6","observation_id":"91cee73f-d247-481b-a132-7b69753a1295","resolution":{"observed_at":"2026-08-02T19:17:08.637361Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.23903","last_updated":"2025-09-05T15:41:39Z","snapshot_observed_at":"2026-08-05T13:27:13.023088Z","submitted_at":"2024-10-31T13:05:46Z","title":"Neural Network Verification with PyRAT","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.23903","snapshot_observed_at":"2026-08-02T19:17:08.642165Z","title":"arXiv preprint arXiv:2410.23903 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.642165Z"},"links":{"cited_paper":"/paper/2410.23903","citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:099f467094383c8d08833d9c7a81a2e25dc4936001d36ca94e54dfdfca7f7f78","observation_id":"081769c6-b827-4117-b749-279822a8bda8","resolution":{"observed_at":"2026-08-02T19:17:08.642165Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.646745Z","title":"In: Proceedings of the 13th European Conference on Computer Vision (ECCV 2014)","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.646745Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:19240ae48a8b32799af9efd7d92308f5bc59a5bd9179508995c27bfa63785736","observation_id":"a97d036b-589a-45f9-86f0-2c7ea20b5a71","resolution":{"observed_at":"2026-08-02T19:17:08.646745Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.652725Z","title":"Medical Image Analysis42, 60–88 (2017)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.652725Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:c320a2de443388a1fe5dbd5b23d5cf0730c4d104786a0ed5fd40daf40c9107c3","observation_id":"816a88c3-8df5-4bc8-9959-354bccf96ec9","resolution":{"observed_at":"2026-08-02T19:17:08.652725Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.657598Z","title":"In: Proceedings of the 14th European Con- ference on Computer Vision (ECCV16)","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.657598Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:1517f98d95523de10c3aaadcbaf23ec44b0290983a2851a4916b31518cf9a37f","observation_id":"29527b03-db72-42f5-9096-3b07df7b51d2","resolution":{"observed_at":"2026-08-02T19:17:08.657598Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.663921Z","title":"In: Proceedings of the 14th International Conference on Learning Representations (ICLR26)","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.663921Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:31ba1da98ee52001335b8be0a0fad85d1cded3b541c3904f859271b4c4b5a25c","observation_id":"cdba7ad2-3558-4962-aafd-ca4dcb8317f2","resolution":{"observed_at":"2026-08-02T19:17:08.663921Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1706.07351","last_updated":"2017-06-22T14:59:49Z","snapshot_observed_at":"2026-07-06T05:48:00.958213Z","submitted_at":"2017-06-22T14:59:49Z","title":"An approach to reachability analysis for feed-forward ReLU neural networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1706.07351","snapshot_observed_at":"2026-08-02T19:17:08.668856Z","title":"arXiv preprint 1706.07351 (2017) 18 B","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.668856Z"},"links":{"cited_paper":"/paper/1706.07351","citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:d65d2837cf5c9986a105d659b9a4f9014037647474176a52ae7cc3d2b0960c02","observation_id":"cf44cf16-6188-48aa-a9fe-2d80e53bd8d5","resolution":{"observed_at":"2026-08-02T19:17:08.668856Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.673676Z","title":"In: Proceedings of the 35th International Conference on Computer Aided Verification (CAV23)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.673676Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:e66a316974ab5940a395a60fa25f9dd5b168dac163246f259e5c64369f49ce4c","observation_id":"1f3127d2-354d-47fa-9c53-45eab2c0ce4f","resolution":{"observed_at":"2026-08-02T19:17:08.673676Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.679058Z","title":"IEEE Access11, 33401–33413 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.679058Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:5a0946567771b8d74efa7ceca161c71ae28f6f8a305f291564db4c3cefb45e93","observation_id":"7ed75e1f-1599-4d0e-9638-ebced0ef6db6","resolution":{"observed_at":"2026-08-02T19:17:08.679058Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.683955Z","title":"In: Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART22)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.683955Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:8ecae64bd6acff6f24417586c7292c314288e540e50ce0ac856c6790411213bc","observation_id":"0fdb216b-fcc7-4823-98f9-8f2ecc6cead1","resolution":{"observed_at":"2026-08-02T19:17:08.683955Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.689185Z","title":"In: Proceedings of the 2025 IEEE International Conference on Image Processing (ICIP25)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.689185Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:b3ff8dc636f546fcdbfa719fca05f04f0e92c2b7e91ce932762dc5965887f262","observation_id":"69bc77e8-caf0-4aa6-b4b6-2fe91710452d","resolution":{"observed_at":"2026-08-02T19:17:08.689185Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.694530Z","title":"AI Communications25(2), 117–135 (2012)","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.694530Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:1174f8c26aa7141b09ca9ec938a8c8dbfc50ebedba201a543927e6b1a5e0b707","observation_id":"e8e9f775-f8a5-46ea-9d01-6bd0e76f26d2","resolution":{"observed_at":"2026-08-02T19:17:08.694530Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.699078Z","title":"In: Proceedings of the 32nd Annual Conference on Neural Information Processing Systems (NeurIPS18)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.699078Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:1c93bcc465c6552aa5533f848857cad5c20eb7edd1b20f62c32d4f104c63bfbc","observation_id":"56ba683f-b57c-4084-9eec-d34a95bb0fdd","resolution":{"observed_at":"2026-08-02T19:17:08.699078Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.01295","last_updated":"2024-11-18T09:54:05Z","snapshot_observed_at":"2026-08-06T01:35:41.632344Z","submitted_at":"2024-07-01T13:47:54Z","title":"Formal Verification of Deep Neural Networks for Object Detection","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.01295","snapshot_observed_at":"2026-08-02T19:17:08.704432Z","title":"arXiv preprint arXiv:2407.01295 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.704432Z"},"links":{"cited_paper":"/paper/2407.01295","citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:79b33ad1f340059bfc88f0aea213523cc9f47546e08d5613ac0d11774be175c8","observation_id":"cda2e3c7-c570-472e-8acb-7ba9aceeda5a","resolution":{"observed_at":"2026-08-02T19:17:08.704432Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.709479Z","title":"In: Proceedings of the 29th IEEE Conference on Computer Vision and Pattern Recognition (CVPR16)","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.709479Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:8029ea10b192460c015afb0214586ab6b31c73a69a2222b3b189ce0293aae097","observation_id":"344968e8-401e-4134-9dad-1273d4b53050","resolution":{"observed_at":"2026-08-02T19:17:08.709479Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.713758Z","title":"In: Proceedings of the 30th IEEE Conference on Computer Vision and Pattern Recognition (CVPR17)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.713758Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:ec11244eda894d408326dc5450a8248089e7f5f2f4958583e9c35740ef5aed3a","observation_id":"ef82c4a5-55b5-4bab-9b76-6d0af11c7df1","resolution":{"observed_at":"2026-08-02T19:17:08.713758Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1804.02767","last_updated":"2018-04-08T22:27:57Z","snapshot_observed_at":"2026-08-06T11:09:16.409556Z","submitted_at":"2018-04-08T22:27:57Z","title":"YOLOv3: An Incremental Improvement","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1804.02767","snapshot_observed_at":"2026-08-02T19:17:08.718428Z","title":"arXiv preprint 1804.02767 (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.718428Z"},"links":{"cited_paper":"/paper/1804.02767","citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:240464dec552bbb992fb473965ff35c0b61c64a4898d7a055d78c12de2ebcc7a","observation_id":"b0be5826-018e-4031-aeab-d791dc34a06f","resolution":{"observed_at":"2026-08-02T19:17:08.718428Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.723953Z","title":"In: Proceedings of the 32nd Annual Conference on Neural Information Processing Systems (NeurIPS18)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.723953Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:f1bf7c16aa9c82c833dba6b52b6f1bec7fb79a3d93462cffbec02665dc859e4c","observation_id":"95e7d30f-ef69-4cf9-99b2-3de61827f403","resolution":{"observed_at":"2026-08-02T19:17:08.723953Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.728602Z","title":"Proceedings of the ACM on Programming Languages3(POPL), 41 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.728602Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:41ec523c8d7e0bcad86637c96b58e914ea390b7e8bf990f13e2b07e8261fcfd1","observation_id":"8b69cc8d-38af-4d96-bf27-5943156d97d8","resolution":{"observed_at":"2026-08-02T19:17:08.728602Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.733116Z","title":"In: Proceedings of the 7th International Conference on Learning Representations (ICLR19)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.733116Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:b7a60921444d615f7fc9b6d2d16349ef52da4bbbd7ad6107700bfa0fe2f74e48","observation_id":"4e2651e4-18df-4ab8-b21b-e3b4bdc7d9d5","resolution":{"observed_at":"2026-08-02T19:17:08.733116Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.738375Z","title":"In: Proceedings of the 7th International Conference on Learning Representations (ICLR19) (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.738375Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:04807ca180265b4d45fee0d79269ca331576e611d81b0ff48b1ae8e5757af4a8","observation_id":"20986817-1701-4e77-a8ce-7078f0d4190e","resolution":{"observed_at":"2026-08-02T19:17:08.738375Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.743493Z","title":"In: Proceedings of the 32nd Annual Conference on Neural Information Processing Systems (NeurIPS18)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.743493Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:51c1ed12ab1e0d7b02870ce49a88bdca5cab5c86f30b642ee5d338f80a2d1c34","observation_id":"faef480f-1994-4fba-9071-31d17b6c7bf1","resolution":{"observed_at":"2026-08-02T19:17:08.743493Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.748423Z","title":"In: Proceedings of the 27th USENIX Security Symposium (USENIX18) (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.748423Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:06bb3f97118ceeabc47d92dbe95df7481e660ac88ec01ac1f3ce0ee62980cfe9","observation_id":"d02baf6b-5b97-4512-8b51-4f231b96f9f6","resolution":{"observed_at":"2026-08-02T19:17:08.748423Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.06624","last_updated":"2021-10-31T22:51:18Z","snapshot_observed_at":"2026-08-08T14:50:29.644660Z","submitted_at":"2021-03-11T11:56:54Z","title":"Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.06624","snapshot_observed_at":"2026-08-02T19:17:08.753187Z","title":"arXiv preprint arXiv:2103.06624 (2021) IoUCert: Robustness Verification for Anchor-based Object Detectors 19","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.753187Z"},"links":{"cited_paper":"/paper/2103.06624","citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:3ade9c7d0c06f93ea34ac4f2f5ccd6e72edf16b829b583c68c40e652bbcd9001","observation_id":"583ef8fc-4b3f-4ae2-9f81-88895e271d9e","resolution":{"observed_at":"2026-08-02T19:17:08.753187Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.758170Z","title":"In: Computer Aided Verification","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.758170Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:0843457699daec91b3ae5e521cc541c1c8e9cae5bc8e2efa7adba961b54ad983","observation_id":"a8d7677f-4d1a-47ca-9a8d-dada35b6a11b","resolution":{"observed_at":"2026-08-02T19:17:08.758170Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.763385Z","title":"Proceedings of the 34th Annual Conference on Neural Information Processing Systems (NeurIPS20)33, 1129–1141 (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.763385Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:05836cb36bb1c4d4fee8f852ceeb73515732cedd7a4f17f3adbd15a9870d2a40","observation_id":"5ee32d38-373b-4bf0-83df-b58588e46230","resolution":{"observed_at":"2026-08-02T19:17:08.763385Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.768060Z","title":"In: Proceedings of the 9th International Conference on Learning Representations (ICLR21)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.768060Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:2392f4947a665ff6d0d2e18b440d320e37187945a7bfdd9268d0c2c345be4f1a","observation_id":"51b53229-d933-4ff3-bb0d-61d0c64a7fc1","resolution":{"observed_at":"2026-08-02T19:17:08.768060Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.773379Z","title":"In: Proceedings of the 36th Conference on Neural Information Processing Systems (NeurIPS22)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.773379Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:f86f2661c6aaf099d6fe793557e5420177aa9d8edb53e88c84cae69e11de495c","observation_id":"fa6ea451-38b9-404e-b23a-a0def81bdafe","resolution":{"observed_at":"2026-08-02T19:17:08.773379Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.778572Z","title":"In: Proceedings of the 32nd Annual Conference on Neural Information Processing Systems (NeurIPS18)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.778572Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:b07216af0da6e4181e2a448f16320cccd515412e3a9302669e78b83034ec93fc","observation_id":"acc491ec-ae87-41a2-be3f-60d853ad7073","resolution":{"observed_at":"2026-08-02T19:17:08.778572Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.784352Z","title":"IEEE Transactions on Geoscience and Remote Sensing62, 1–15 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.784352Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:2e93ff8b3d189a18dd3cf0b1d965adea1a1ceafaf90b3b50f17c1b83dcf3d3e2","observation_id":"06fecfb1-2907-4841-a8eb-b85a039a9da0","resolution":{"observed_at":"2026-08-02T19:17:08.784352Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.789383Z","title":"In: Proceedings of the 39th Annual Con- ference on Neural Information Processing Systems (NeurIPS25)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.789383Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:18ebfb7022e96b1fd6149f42f441f63515c768dea860bf96f2a3a2094c53862a","observation_id":"72a30e30-2a16-4daa-b0cc-5951d88ad916","resolution":{"observed_at":"2026-08-02T19:17:08.789383Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2101.00989","last_updated":"2021-01-04T14:03:22Z","snapshot_observed_at":"2026-08-06T23:12:46.966257Z","submitted_at":"2021-01-04T14:03:22Z","title":"Fooling Object Detectors: Adversarial Attacks by Half-Neighbor Masks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2101.00989","snapshot_observed_at":"2026-08-02T19:17:08.794834Z","title":"arXiv preprint arXiv:2101.00989 (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.794834Z"},"links":{"cited_paper":"/paper/2101.00989","citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:6f2e40b5e10c0a1ee2b030906d609b2364de6941eb2ec243655682c891656497","observation_id":"29630317-aba6-4c6d-b7f9-8f50b9aafdc1","resolution":{"observed_at":"2026-08-02T19:17:08.794834Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.799771Z","title":"In: Proceedings of the 38th Annual Conference on Neural Information Processing Systems (NeurIPS24) (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.799771Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:7a1f9e83fc6a521116e69977d38b663926c9c77b649dfb4412c82cd97599f968","observation_id":"7c021698-f76f-4a3c-87c4-185c2b95d2b4","resolution":{"observed_at":"2026-08-02T19:17:08.799771Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.804967Z","title":"In: Proceedings of the 39th Annual Conference on Neural Information Pro- cessing Systems (NeurIPS25)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.804967Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:db1ce98e38a2a26eb991541e0116ded3b30d819d9b1f9440db67f8b44d91bd45","observation_id":"d8d13f52-4add-456d-9867-3a066d49a81e","resolution":{"observed_at":"2026-08-02T19:17:08.804967Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.809509Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.809509Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:6f90d03c139c13b8ff0593766c865645e6dbe59b61b9201f839981c66ca9cbcf","observation_id":"90fcbfaf-a7c1-4573-868c-35512e401524","resolution":{"observed_at":"2026-08-02T19:17:08.809509Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:17:08.814887Z","title":"In the single-object case (m= 1), correctness reduces to having just one predicted box of the correct class matching the ground truth with sufficientIoU and score","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.814887Z"},"links":{"citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:037db33c1bed16a32dabb9ec36b49fd2a8711b23bd357a92d528c82e635847e8","observation_id":"c2882046-34c8-46ca-9bd2-797afef4f413","resolution":{"observed_at":"2026-08-02T19:17:08.814887Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","latest_version":3,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors"},"reference_resolution":{"displayed":74,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":73,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":74},"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 9 August 2026, this Paper Citation Record lists 74 of 74 outbound references and 1 inbound Pith citation observation for arXiv:2603.03043."}