An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. - Ye Tao 008; Wanwei Liu; Fu Song; Zhen Liang; Ji Wang 001; Hongxu Zhu (ATVA (1), 2023)

AutoRIC: Automated Neural Network Repairing Based on Constrained Optimization. - Xinyu Sun; Wanwei Liu; Shangwen Wang; Tingyu Chen; Ye Tao 008; Xiaoguang Mao (ACM Trans. Softw. Eng. Methodol., 2025)