Yuehao Liu

School of Computer Science and Technology , Xidian University

1 paper in the IJCAI proceedings

IJCAI 2025

Neuron Similarity-Based Neural Network Verification via Abstraction and Refinement

with Yansong Dong, Liang Zhao, Wensheng Wang, Cong Tian

doi:10.24963/ijcai.2025/51

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings