McGill University, Mila Quebec AI Institute; University of Toronto; University of Waterloo
Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si
Towards Reliable Neural Specifications