NoCohen66/Verification4ObjectDetection

🩺🛣️ IBP IoU an approach for the formal verificaion of object detection models.

语言：Jupyter Notebook · GitHub 星标：9 · Fork：0

话题：formal-verification · machine-learning · safety-critical-systems

在 GitHub 上查看原仓库