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
Cascading Robustness Verification: Toward Efficient Model-Agnostic Certification
Mohammadreza Maleki, Rushendra Sidibomma, Arman Adibi +1
Certifying neural network robustness against adversarial examples is challenging, as formal guarantees often require solving non-convex problems. Hence, incomplete verifiers are wi…