TY  - RPRT
TI  - Knowing When to Stop: Evaluation and Verification of Conformity to Output-size Specifications
AU  - Chenglong Wang
AU  - Rudy Bunel
AU  - Krishnamurthy Dvijotham
AU  - Po-Sen Huang
AU  - Edward Grefenstette
AU  - Pushmeet Kohli
PY  - 2019
UR  - https://arxiv.org/abs/1904.12004
ID  - 1904.12004
ER  -