About#
I’m a second-year PhD student at the University of Queensland (UQ). I’m fortunate to be supervised by A/Prof. Guangdong Bai.
My current research focuses on neural network verification, especially verifying neural networks by over-approximating convex hulls, i.e., constructing linear constraints for the non-linear neural networks.
I’m a one hundred percent math amateur, and I’m interested in various mathematical models, especially those related to neural networks.
My Study Life