Zeqiri, Mustafa

2 publications

ICLR 2023 Efficient Certified Training and Robustness Verification of Neural ODEs Mustafa Zeqiri, Mark Niklas Mueller, Marc Fischer, Martin Vechev

NeurIPSW 2022 Efficient Robustness Verification of Neural Ordinary Differential Equations Mustafa Zeqiri, Mark Niklas Mueller, Marc Fischer, Martin Vechev