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

Chuqin Geng is qualified to endorse.

Learning Minimal Neural Specifications

Chuqin Geng: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CV, cs.CY, cs.LG, cs.LO, cs.PL, cs.SE. (why?)

Zhaoyue Wang, Haolin Ye and Xujie Si are not registered as owners of this paper. (why?)