Haiyi Liu, Shaoying Liu, Guangquan Xu, ai Liu, Dingbang Fang. NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification. International Journal of Software Engineering and Knowledge Engineering, 34(2):273-300, February 2024. [doi]
Abstract is missing.