Fine-Grained Neural Network Abstraction for Efficient Formal Verification. - Zhaosen Wen; Weikai Miao; Min Zhang 002 (SEKE, 2021)