Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang 0001. Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement. IEEE Trans. on CAD of Integrated Circuits and Systems, 41(11):3898-3909, 2022. [doi]
Abstract is missing.