@misc{indiciaeb1d01814cbc6,
  title = {Knowing When to Stop: Evaluation and Verification of Conformity to Output-size Specifications},
  author = {Chenglong Wang and Rudy Bunel and Krishnamurthy Dvijotham and Po-Sen Huang and Edward Grefenstette and Pushmeet Kohli},
  year = {2019},
  url = {https://arxiv.org/abs/1904.12004},
  note = {Source identifier: 1904.12004}
}