IoUCert: Robustness Verification for Anchor-based Object Detectors | Paper Citation Record

Observation 5c54b78f-5678-40a0-8d43-b89a06381288 · outbound

This paper cites In: Proceedings of the 1st and 2nd Workshop on Applied Verification for Continuous and Hybrid Systems.

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 1st and 2nd Workshop on Applied Verification for Continuous and Hybrid Systems

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:07.804821Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a118b52-0d1d-4b00-9dc4-92b86f0ee332 · outbound

This paper cites In: The Visual Computer.

IoUCert: Robustness Verification for Anchor-based Object Detectors In: The Visual Computer

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:07.910211Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc11c437-02fd-4aa3-a110-67a710884edc · outbound

This paper cites In: Integer Pro- gramming and Combinatorial Optimization.

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Integer Pro- gramming and Combinatorial Optimization

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:07.999812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a90c4edd-bc02-4885-9357-4d81a30fb603 · outbound

This paper cites In: Proceedings of the 13th International Symposium on NASA Formal Methods (NFM21).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 13th International Symposium on NASA Formal Methods (NFM21)

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.075178Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15f2a621-ef6d-4c07-a90e-6ca0b45d7600 · outbound

This paper cites In: Proceedings of the 33rd Annual Conference on Neural Information Processing Systems (NeurIPS19), pp.

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 33rd Annual Conference on Neural Information Processing Systems (NeurIPS19), pp

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.150296Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63b51b97-6f95-4650-b2c8-819191aaa01d · outbound

This paper cites In: Proceedings of the 27th European Conference on Artifi- cial Intelligence (ECAI24).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 27th European Conference on Artifi- cial Intelligence (ECAI24)

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.259949Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea46524e-adf3-4b6c-89db-e3e01a66d5c6 · outbound

This paper cites YOLOv4: Optimal Speed and Accuracy of Object Detection.

IoUCert: Robustness Verification for Anchor-based Object Detectors YOLOv4: Optimal Speed and Accuracy of Object Detection

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.367508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f50148a-9276-40e5-ac79-fa4722561f3d · outbound

This paper cites In: Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI20).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI20)

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.464487Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bbe07e87-015f-4fa8-9423-342658839f4a · outbound

This paper cites Cambridge University Press (2004).

IoUCert: Robustness Verification for Anchor-based Object Detectors Cambridge University Press (2004)

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.470471Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc87308d-4288-4ed2-980a-257d92456704 · outbound

This paper cites The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results.

IoUCert: Robustness Verification for Anchor-based Object Detectors The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.476351Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36a95031-417c-4b8b-8c8b-332334df491e · outbound

This paper cites First Three Years of the International Verification of Neural Networks Competition (VNN-COMP).

IoUCert: Robustness Verification for Anchor-based Object Detectors First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.482189Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65d1fa80-a663-48d3-a713-b323c96cffb5 · outbound

This paper cites In: Proceedings of the 39th AAAI Con- ference on Artificial Intelligence (AAAI25).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 39th AAAI Con- ference on Artificial Intelligence (AAAI25)

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.487871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 845b0814-0625-462c-9cf7-92abdaad457f · outbound

This paper cites In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security (CCS 2019).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security (CCS 2019)

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.493596Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a9c24f2-b355-423d-bd1c-3fbb8564bd35 · outbound

This paper cites In: Proceedings of the 40th International Conference on Machine Learning (ICML23).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 40th International Conference on Machine Learning (ICML23)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.499625Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 357b0d46-71d2-4839-a8f2-4f77d29c2567 · outbound

This paper cites In: Proceedings of the 34th Interna- tional Conference on Artificial Neural Networks (ICANN25).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 34th Interna- tional Conference on Artificial Neural Networks (ICANN25)

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.505425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7cfa4bf-4616-4454-93c9-0f2c2f34b5db · outbound

This paper cites Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition.

IoUCert: Robustness Verification for Anchor-based Object Detectors Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.510534Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e0a57a2-354d-4aa6-94d2-4ec9debfe0a8 · outbound

This paper cites Soft Computing28(19), 11647–11665 (2024).

IoUCert: Robustness Verification for Anchor-based Object Detectors Soft Computing28(19), 11647–11665 (2024)

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.518364Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14f92cef-f1af-412e-8b89-f858813524c6 · outbound

This paper cites LARD -- Landing Approach Runway Detection -- Dataset for Vision Based Landing.

IoUCert: Robustness Verification for Anchor-based Object Detectors LARD -- Landing Approach Runway Detection -- Dataset for Vision Based Landing

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.524144Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2aa37f8d-0c56-42bd-aff5-f0a48e577f60 · outbound

This paper cites In: Proceedings of the 44th Digital Avionics Systems Conference (DASC25).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 44th Digital Avionics Systems Conference (DASC25)

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.530341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de06e761-c490-411d-8040-34dfa718da93 · outbound

This paper cites A DPLL(T) Framework for Verifying Deep Neural Networks.

IoUCert: Robustness Verification for Anchor-based Object Detectors A DPLL(T) Framework for Verifying Deep Neural Networks

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.536553Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 568bfc8b-098b-46a7-a0b5-3954a4ad54fe · outbound

This paper cites In: Proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA17).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA17)

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.542429Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dceeebe9-eace-4cfb-8a15-bcc591dc120a · outbound

This paper cites International Journal of Computer Vision88(2), 303–338 (2010).

IoUCert: Robustness Verification for Anchor-based Object Detectors International Journal of Computer Vision88(2), 303–338 (2010)

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.547615Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1c2e2ed-39e4-4f40-a311-776e6dffa294 · outbound

This paper cites IEEE Transactions on Automatic Control (2020).

IoUCert: Robustness Verification for Anchor-based Object Detectors IEEE Transactions on Automatic Control (2020)

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.552925Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5dbc3d3a-35c4-489f-b5ce-64c64ba82075 · outbound

This paper cites In: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC22).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC22)

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.557842Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24ad0eff-0f74-484c-a5c5-8afd6f47dcfa · outbound

This paper cites In: Proceedings of the 10th Interna- tional Conference on Learning Representations (ICLR22).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 10th Interna- tional Conference on Learning Representations (ICLR22)

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.562670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e06d3c78-c354-45c2-8f02-997531086af2 · outbound

This paper cites In: Proceedings of the 3rd International Conference on Learning Repre- sentations (ICLR15) (2015).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 3rd International Conference on Learning Repre- sentations (ICLR15) (2015)

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.567367Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ccd5854-537a-4cd0-8983-d992c4957833 · outbound

This paper cites On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models.

IoUCert: Robustness Verification for Anchor-based Object Detectors On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.572806Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 616b9d95-27db-4068-b2c8-a2ef47d2fbf3 · outbound

This paper cites In: Proceedings of the 19th International Conference on Software Engineering and Formal Methods (SEFM21).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 19th International Conference on Software Engineering and Formal Methods (SEFM21)

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.577937Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aeb65e75-a984-47f3-9c4c-00f978f59a7e · outbound

This paper cites In: Proceedings of the 32nd British Machine Vision Conference (BMVC21).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 32nd British Machine Vision Conference (BMVC21)

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.582992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4d0be4e-da3a-4071-86a8-736198c79ff3 · outbound

This paper cites In: Proceedings of the 30th In- ternational Joint Conference on Artificial Intelligence (IJCAI21).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 30th In- ternational Joint Conference on Artificial Intelligence (IJCAI21)

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.588406Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ada2d932-0bd7-4ec5-9f7f-3c1f70d3cde6 · outbound

This paper cites an unresolved cited work.

IoUCert: Robustness Verification for Anchor-based Object Detectors Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.593455Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba071b41-7329-4688-adbd-670788049405 · outbound

This paper cites In: Proceedings of the 29th Inter- national Conference on Computer Aided Verification (CAV17).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 29th Inter- national Conference on Computer Aided Verification (CAV17)

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.599973Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b84d4523-a870-4ee1-95d1-3574f6b7816d · outbound

This paper cites In: Proceedings of the 31st International Conference on Computer Aided Verification (CAV19).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 31st International Conference on Computer Aided Verification (CAV19)

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.604910Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b7a64d8-7a5e-4980-bdd8-b1ac3b73e087 · outbound

This paper cites arXiv preprint 2512.19007 (2025).

IoUCert: Robustness Verification for Anchor-based Object Detectors arXiv preprint 2512.19007 (2025)

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.610734Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36f6ecc8-bf49-4f38-a83e-69517965516d · outbound

This paper cites In: 1st Workshop on Formal Verification of Machine Learning (WFVML22) (2022).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: 1st Workshop on Formal Verification of Machine Learning (WFVML22) (2022)

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.616161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 039f7f7c-7298-4e9e-8d39-645f79f6b2d8 · outbound

This paper cites In: Proceed- ings of the 39th AAAI Conference on Artificial Intelligence (AAAI25).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceed- ings of the 39th AAAI Conference on Artificial Intelligence (AAAI25)

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.621075Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2052760b-ec7e-44f7-a0ff-068a9435693d · outbound

This paper cites In: Proceedings of the 24th International Symposium on Formal Methods (FM21).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 24th International Symposium on Formal Methods (FM21)

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.626416Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03825c97-08c7-44cc-8b20-02fe6db1dad1 · outbound

This paper cites In: Proceedings of the 30th Interna- tional Joint Conference on Artificial Intelligence (IJCAI21).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 30th Interna- tional Joint Conference on Artificial Intelligence (IJCAI21)

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.632589Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91cee73f-d247-481b-a132-7b69753a1295 · outbound

This paper cites In: Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI23).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI23)

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.637361Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 081769c6-b827-4117-b749-279822a8bda8 · outbound

This paper cites Neural Network Verification with PyRAT.

IoUCert: Robustness Verification for Anchor-based Object Detectors Neural Network Verification with PyRAT

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.642165Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a97d036b-589a-45f9-86f0-2c7ea20b5a71 · outbound

This paper cites In: Proceedings of the 13th European Conference on Computer Vision (ECCV 2014).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 13th European Conference on Computer Vision (ECCV 2014)

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.646745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 816a88c3-8df5-4bc8-9959-354bccf96ec9 · outbound

This paper cites Medical Image Analysis42, 60–88 (2017).

IoUCert: Robustness Verification for Anchor-based Object Detectors Medical Image Analysis42, 60–88 (2017)

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.652725Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29527b03-db72-42f5-9096-3b07df7b51d2 · outbound

This paper cites In: Proceedings of the 14th European Con- ference on Computer Vision (ECCV16).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 14th European Con- ference on Computer Vision (ECCV16)

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.657598Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cdba7ad2-3558-4962-aafd-ca4dcb8317f2 · outbound

This paper cites In: Proceedings of the 14th International Conference on Learning Representations (ICLR26).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 14th International Conference on Learning Representations (ICLR26)

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.663921Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf44cf16-6188-48aa-a9fe-2d80e53bd8d5 · outbound

This paper cites An approach to reachability analysis for feed-forward ReLU neural networks.

IoUCert: Robustness Verification for Anchor-based Object Detectors An approach to reachability analysis for feed-forward ReLU neural networks

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.668856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f3127d2-354d-47fa-9c53-45eab2c0ce4f · outbound

This paper cites In: Proceedings of the 35th International Conference on Computer Aided Verification (CAV23).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 35th International Conference on Computer Aided Verification (CAV23)

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.673676Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ed75e1f-1599-4d0e-9638-ebced0ef6db6 · outbound

This paper cites IEEE Access11, 33401–33413 (2023).

IoUCert: Robustness Verification for Anchor-based Object Detectors IEEE Access11, 33401–33413 (2023)

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.679058Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0fdb216b-fcc7-4823-98f9-8f2ecc6cead1 · outbound

This paper cites In: Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART22).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART22)

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.683955Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69bc77e8-caf0-4aa6-b4b6-2fe91710452d · outbound

This paper cites In: Proceedings of the 2025 IEEE International Conference on Image Processing (ICIP25).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 2025 IEEE International Conference on Image Processing (ICIP25)

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.689185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8e9f775-f8a5-46ea-9d01-6bd0e76f26d2 · outbound

This paper cites AI Communications25(2), 117–135 (2012).

IoUCert: Robustness Verification for Anchor-based Object Detectors AI Communications25(2), 117–135 (2012)

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.694530Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56ba683f-b57c-4084-9eec-d34a95bb0fdd · outbound

This paper cites In: Proceedings of the 32nd Annual Conference on Neural Information Processing Systems (NeurIPS18).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 32nd Annual Conference on Neural Information Processing Systems (NeurIPS18)

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.699078Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cda2e3c7-c570-472e-8acb-7ba9aceeda5a · outbound

This paper cites Formal Verification of Deep Neural Networks for Object Detection.

IoUCert: Robustness Verification for Anchor-based Object Detectors Formal Verification of Deep Neural Networks for Object Detection

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.704432Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 344968e8-401e-4134-9dad-1273d4b53050 · outbound

This paper cites In: Proceedings of the 29th IEEE Conference on Computer Vision and Pattern Recognition (CVPR16).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 29th IEEE Conference on Computer Vision and Pattern Recognition (CVPR16)

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.709479Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef82c4a5-55b5-4bab-9b76-6d0af11c7df1 · outbound

This paper cites In: Proceedings of the 30th IEEE Conference on Computer Vision and Pattern Recognition (CVPR17).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 30th IEEE Conference on Computer Vision and Pattern Recognition (CVPR17)

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.713758Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0be5826-018e-4031-aeab-d791dc34a06f · outbound

This paper cites YOLOv3: An Incremental Improvement.

IoUCert: Robustness Verification for Anchor-based Object Detectors YOLOv3: An Incremental Improvement

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.718428Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95e7d30f-ef69-4cf9-99b2-3de61827f403 · outbound

This paper cites In: Proceedings of the 32nd Annual Conference on Neural Information Processing Systems (NeurIPS18).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 32nd Annual Conference on Neural Information Processing Systems (NeurIPS18)

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.723953Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b69cc8d-38af-4d96-bf27-5943156d97d8 · outbound

This paper cites Proceedings of the ACM on Programming Languages3(POPL), 41 (2019).

IoUCert: Robustness Verification for Anchor-based Object Detectors Proceedings of the ACM on Programming Languages3(POPL), 41 (2019)

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.728602Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e2651e4-18df-4ab8-b21b-e3b4bdc7d9d5 · outbound

This paper cites In: Proceedings of the 7th International Conference on Learning Representations (ICLR19).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 7th International Conference on Learning Representations (ICLR19)

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.733116Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20986817-1701-4e77-a8ce-7078f0d4190e · outbound

This paper cites In: Proceedings of the 7th International Conference on Learning Representations (ICLR19) (2019).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 7th International Conference on Learning Representations (ICLR19) (2019)

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.738375Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation faef480f-1994-4fba-9071-31d17b6c7bf1 · outbound

This paper cites In: Proceedings of the 32nd Annual Conference on Neural Information Processing Systems (NeurIPS18).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 32nd Annual Conference on Neural Information Processing Systems (NeurIPS18)

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.743493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d02baf6b-5b97-4512-8b51-4f231b96f9f6 · outbound

This paper cites In: Proceedings of the 27th USENIX Security Symposium (USENIX18) (2018).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 27th USENIX Security Symposium (USENIX18) (2018)

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.748423Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 583ef8fc-4b3f-4ae2-9f81-88895e271d9e · outbound

This paper cites Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification.

IoUCert: Robustness Verification for Anchor-based Object Detectors Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.753187Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8d7677f-4d1a-47ca-9a8d-dada35b6a11b · outbound

This paper cites In: Computer Aided Verification.

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Computer Aided Verification

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.758170Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ee32d38-373b-4bf0-83df-b58588e46230 · outbound

This paper cites Proceedings of the 34th Annual Conference on Neural Information Processing Systems (NeurIPS20)33, 1129–1141 (2020).

IoUCert: Robustness Verification for Anchor-based Object Detectors Proceedings of the 34th Annual Conference on Neural Information Processing Systems (NeurIPS20)33, 1129–1141 (2020)

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.763385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51b53229-d933-4ff3-bb0d-61d0c64a7fc1 · outbound

This paper cites In: Proceedings of the 9th International Conference on Learning Representations (ICLR21).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 9th International Conference on Learning Representations (ICLR21)

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.768060Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa6ea451-38b9-404e-b23a-a0def81bdafe · outbound

This paper cites In: Proceedings of the 36th Conference on Neural Information Processing Systems (NeurIPS22).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 36th Conference on Neural Information Processing Systems (NeurIPS22)

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.773379Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation acc491ec-ae87-41a2-be3f-60d853ad7073 · outbound

This paper cites In: Proceedings of the 32nd Annual Conference on Neural Information Processing Systems (NeurIPS18).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 32nd Annual Conference on Neural Information Processing Systems (NeurIPS18)

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.778572Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06fecfb1-2907-4841-a8eb-b85a039a9da0 · outbound

This paper cites IEEE Transactions on Geoscience and Remote Sensing62, 1–15 (2024).

IoUCert: Robustness Verification for Anchor-based Object Detectors IEEE Transactions on Geoscience and Remote Sensing62, 1–15 (2024)

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.784352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72a30e30-2a16-4daa-b0cc-5951d88ad916 · outbound

This paper cites In: Proceedings of the 39th Annual Con- ference on Neural Information Processing Systems (NeurIPS25).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 39th Annual Con- ference on Neural Information Processing Systems (NeurIPS25)

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.789383Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29630317-aba6-4c6d-b7f9-8f50b9aafdc1 · outbound

This paper cites Fooling Object Detectors: Adversarial Attacks by Half-Neighbor Masks.

IoUCert: Robustness Verification for Anchor-based Object Detectors Fooling Object Detectors: Adversarial Attacks by Half-Neighbor Masks

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.794834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c021698-f76f-4a3c-87c4-185c2b95d2b4 · outbound

This paper cites In: Proceedings of the 38th Annual Conference on Neural Information Processing Systems (NeurIPS24) (2024).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 38th Annual Conference on Neural Information Processing Systems (NeurIPS24) (2024)

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.799771Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8d13f52-4add-456d-9867-3a066d49a81e · outbound

This paper cites In: Proceedings of the 39th Annual Conference on Neural Information Pro- cessing Systems (NeurIPS25).

IoUCert: Robustness Verification for Anchor-based Object Detectors In: Proceedings of the 39th Annual Conference on Neural Information Pro- cessing Systems (NeurIPS25)

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.804967Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90fcbfaf-a7c1-4573-868c-35512e401524 · outbound

This paper cites an unresolved cited work.

IoUCert: Robustness Verification for Anchor-based Object Detectors Unresolved cited work

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.809509Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2882046-34c8-46ca-9bd2-797afef4f413 · outbound

This paper cites 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.

IoUCert: Robustness Verification for Anchor-based Object Detectors 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

Reference 74

Resolution: malformed identifier; no resolver link, observed 2026-08-02T19:17:08.814887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers