Registered user since Thu 9 Nov 2023
I’m a PhD student from the University of Queensland and supervised by Dr. Guangdong Bai. My research interests focus on neural network verification.
Affiliation:The University of Queensland
Personal website: https://zhongkuima.github.io/
Research interests:Neural Network Verification
Using general profile