Eckert, Franziska

2 publications

ICLR 2023 Certified Training: Small Boxes Are All You Need Mark Niklas Mueller, Franziska Eckert, Marc Fischer, Martin Vechev

NeurIPSW 2022 Certified Training: Small Boxes Are All You Need Mark Niklas Mueller, Franziska Eckert, Marc Fischer, Martin Vechev