Training Neural Machines with Trace-Based Supervision. - Matthew Mirman; Dimitar Dimitrov 004; Pavle Djordjevic; Timon Gehr; Martin T. Vechev (ICML, 2018)