杨鹏飞 李仁觉 李建林 黄成超 王靖一0004 孙军0001 白雪0001 张丽君0001 通过伪区域引导细化改进神经网络验证。 2020 abs/2010.07722 CoRR公司 https://arxiv.org/abs/2010.07722 db/journals/corr/corr2010.html#abs-2010-07722