We gratefully acknowledge support from
the Simons Foundation and member institutions.

Chenglong Wang, Rudy Bunel, Po-Sen Huang... are qualified to endorse.

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

Chenglong Wang: Is registered as an author of this paper.
Can endorse for cs.AI, cs.HC, cs.LG, cs.PL. (why?)
Rudy Bunel: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CV, cs.LG. (why?)
Po-Sen Huang: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CL, cs.CR, cs.CV, cs.CY, cs.LG, cs.MM, cs.NE, cs.SD, stat.ML. (why?)
Edward Grefenstette: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CL, cs.LG, cs.LO, cs.NE. (why?)

Krishnamurthy Dvijotham and Pushmeet Kohli are not registered as owners of this paper. (why?)