
Dr Xiyue Zhang
BSc, PhD
Current positions
Lecturer
School of Computer Science
Contact
Press and media
Many of our academics speak to the media as experts in their field of research. If you are a journalist, please contact the University’s Media and PR Team:
Publications
Recent publications
14/06/2024Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
Fast
Fast
Provable Preimage Under-Approximation for Neural Networks
Provable Preimage Under-Approximation for Neural Networks