Ye Tao

According to our database, Ye Tao authored at least 2 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

AutoRIC: Automated Neural Network Repairing Based on Constrained Optimization.

Xinyu Sun, Wanwei Liu, Shangwen Wang, Tingyu Chen, Ye Tao, Xiaoguang Mao

ACM Trans. Softw. Eng. Methodol., February, 2025

2023

An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks.

Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu

Proceedings of the Automated Technology for Verification and Analysis, 2023