Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications.
Chenglong Wang, Rudy Bunel, Krishnamurthy Dvijotham, Po-Sen Huang, Edward Grefenstette, Pushmeet Kohli
Browse the full CVPR paper archive.
Chenglong Wang, Rudy Bunel, Krishnamurthy Dvijotham, Po-Sen Huang, Edward Grefenstette, Pushmeet Kohli
Browse the full CVPR paper archive.