Wael Fatnassi

1. BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic
   2022/11/22 by Wael Fatnassi, Haitham Khedr, Fatnassi, Wael +5 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Machine Learning (cs.LG) #Machine Learning and Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering