DeepMind; University of Washington; University of Oxford
Chenglong Wang; Rudy Bunel; Krishnamurthy Dvijotham; Po-Sen Huang; Edward Grefenstette; Pushmeet Kohli
Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications