BOMaster Thesis Exploring Formal Guarantees for Neural Network OptimizationsboschgroupView →Full time