Fine-Grained Neural Network Abstraction for Efficient Formal Verification.

Zhaosen Wen, Weikai Miao, Min Zhang

Browse the full SEKE paper archive.