Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu 0002. Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper. In David Z. Pan, editor, Proceedings of the International Conference on Computer-Aided Design, ICCAD 2019, Westminster, CO, USA, November 4-7, 2019. pages 1-8, ACM, 2019. [doi]

This author has not been identified. Look up 'Jiameng Fan' in GoogleThis author has not been identified. Look up 'Chao Huang' in GoogleThis author has not been identified. Look up 'Wenchao Li' in GoogleThis author has not been identified. Look up 'Xin Chen' in GoogleThis author has not been identified. Look up 'Qi Zhu 0002' in Google

runs on WebDSL