Registered user since Thu 9 Nov 2023
Name:Zhongkui Ma
Bio:
I’m a PhD student from the University of Queensland and supervised by Dr. Guangdong Bai. My research interests focus on neural network verification.
Country:Australia
Affiliation:The University of Queensland
Personal website: https://zhongkuima.github.io/
GitHub: https://github.com/ZhongkuiMa
Research interests:Neural Network Verification
Contributions
2024
POPL 2024-profile
View general profile
View general profile