Haitham Khedr
Haitham Khedr
About
Publications
Light
Dark
Automatic
Page not found
Perhaps you were looking for one of these?
Latest
Recent & Upcoming Talks
Example Talk
Publications
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation
CertiFair: A Framework for Certified Global Fairness of Neural Networks (AAAI 23')
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic (HSCC 23')
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks (HSCC 22')
PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier (CAV 21')
Welcome to Wowchemy, the website builder for Hugo
Posts
Cite
×