Personal information

Activities

Education and qualifications (1)

National University of Defense Technology: Changsha, CN

2021-09-01 to present
Education
Source: Self-asserted source
Ye Tao

Works (2)

AutoRIC: Automated Neural Network Repairing Based on Constrained Optimization

ACM Transactions on Software Engineering and Methodology
2025-02-28 | Journal article
Contributors: Xinyu Sun; Wanwei Liu; Shangwen Wang; Tingyu Chen; Ye Tao; Xiaoguang Mao
Source: check_circle
Crossref

An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks

2023 | Book chapter
Contributors: Ye Tao; Wanwei Liu; Fu Song; Zhen Liang; Ji Wang; Hongxu Zhu
Source: check_circle
Crossref