Provably Correct Training Of Neural Network Controllers Simons Institute