Verification for Object Detection - IBP IoU.
Noémie CohenMélanie DucoffeRyma BoumazouzaChristophe GabreauClaire PagettiXavier PucelAudrey GalametzPublished in: CoRR (2024)
Keyphrases
- object detection
- pac learnability
- explanation based learning
- domain theory
- human learning
- computer vision
- model checking
- face detection
- object recognition
- multi class
- machine learning
- inference rules
- learning strategies
- pac learning
- sample complexity
- learning tasks
- background knowledge
- training samples
- logic programs
- domain knowledge
- learning environment
- artificial intelligence