Contract And Conquer: How to Provably Compute Adversarial Examples for a Black-Box Model? | ScienceToStartup | ScienceToStartup