This page shows all presentations of this author published in EasyChair Smart Slide.
VeNuS: Neural Network Robustness Specifications via Verifier-Guided Optimization
Anan Kabaha and Dana Drachsler Cohen