ML Anthology

Dong, Yansong

1 publications

IJCAI 2025 Neuron Similarity-Based Neural Network Verification via Abstraction and Refinement Yuehao Liu, Yansong Dong, Liang Zhao, Wensheng Wang, Cong Tian