TY  - RPRT
TI  - DeepDyve: Dynamic Verification for Deep Neural Networks
AU  - Yu Li
AU  - Min Li
AU  - Bo Luo
AU  - Ye Tian
AU  - Qiang Xu
PY  - 2020
DO  - 10.1145/3372297.3423338
UR  - https://arxiv.org/abs/2009.09663
ID  - 2009.09663
ER  -