The IBP IoU approach aims to verify the stability of object detection models using the Intersection over Union (IoU) metric. By implementing perturbations and interval bound propagation, the method ensures that the model remains stable under various conditions. The study evaluates the performance on landing approach runway detection and handwritten digit recognition, showcasing superior accuracy and stability compared to baseline methods. The research addresses the critical need for formal verification in machine learning applications, emphasizing correctness and robustness.
To Another Language
from source content
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Noém... lúc arxiv.org 03-15-2024
https://arxiv.org/pdf/2403.08788.pdfYêu cầu sâu hơn