Knowing When to Stop: Evaluation and Verification of Conformity to Output-size Specs

Chenglong Wang, Rudy Bunel, Krishnamurthy Dvijotham, Po-Sen Huang, Edward Grefenstette, Pushmeet Kohli

June 2019

Type

Conference paper

Publication

The IEEE Conference on Computer Vision and Pattern Recognition (CVPR)