no code implementations • 11 Mar 2024 • Stefan Balauca, Mark Niklas Müller, Yuhao Mao, Maximilian Baader, Marc Fischer, Martin Vechev
Training neural networks with high certified accuracy against adversarial examples remains an open problem despite significant efforts.