Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
Certified Robustness via Sparse Second-Order Cone Relaxations
Mohammadreza Maleki, Daniel Sadig, Rushendra Sidibomma +3
Certified robustness is critical for deploying neural networks in safety-sensitive settings, but computing exact certificates typically requires solving nonconvex optimization prob…
cs.LG2026
CEAR: Certified Ensemble Adversarial Robustness in DNNs
Daniel Sadig, Mohammadreza Maleki, Hamed Karimi +1
Deep Neural Networks (DNNs) are highly susceptible to adversarial perturbations, leading to extensive research on robustness for safety-critical applications. State-of-the-art empi…