Yunhan Xing

According to our database, Yunhan Xing authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks.

Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming

ACM Trans. Softw. Eng. Methodol., June, 2024