REFTY: Refinement Types for Valid Deep Learning Models.

Yanjie Gao, Zhengxian Li, Haoxiang Lin, Hongyu Zhang, Ming Wu, Mao Yang

Browse the full ICSE paper archive.