Master Thesis Exploring Formal Guarantees for Neural Network Optimizations · Bosch Group