About
Hello, my name is Yuhao Mao. Starting September 2023, I join SRI lab at ETH Zürich as a PhD student. I got my master’s degree in Computer Science at ETH Zürich and my Bachelor’s degree in math and finance at CKC Honors College, Zhejiang University. I worked (or am still working) with Dr. G. Zhou, Dr. S. Ji (Bachelor thesis advisor), Dr. X. Zhang, Dr. Y. Zhang and Dr. M. Vechev (PhD advisor), list sorted by time.
My favorite formula includes:
\[e^{\pi i}=-1\] \[\hat{f}(\xi) = \int_{-\infty}^{\infty}f(x)e^{2\pi i x\xi}dx\]Find my CV here.
Feel free to contact me if you have any questions or interests.
Working Ethics
I solemnly swear that I put 120% effort into making the proofs in all my publications, including those I am not the (co-)first author, correct, rigorous and readable.
Publication
All publications are peer-reviewed in top-tier conferences/journals. Equal contributions are marked by *.
Trustworthy Artificial Intelligence
- Stefan Balauca, Mark Niklas Müller, Yuhao Mao, Maximilian Baader, Marc Fischer, Martin Vechev, Overcoming the Paradox of Certified Training with Gaussian Smoothing, preprint.
- Yuhao Mao, Mark Niklas Müller, Marc Fischer, Martin Vechev, Understanding Certified Training with Interval Bound Propagation, The Twelfth International Conference on Learning Representations (ICLR’24).
- Max Baader*, Mark Niklas Müller*, Yuhao Mao, Martin Vechev, Expressivity of ReLU-Networks under Convex Relaxations, The Twelfth International Conference on Learning Representations (ICLR’24).
- Yuhao Mao, Mark Niklas Müller, Marc Fischer, Martin Vechev, Connecting Certified and Adversarial Training, The Thirty-seventh Conference on Neural Information Processing Systems (NeuIPS’23).
- Yuyou Gan*, Yuhao Mao*, Xuhong Zhang, Shouling Ji, Yuwen Pu, Meng Han, Jianwei Yin, Ting Wang, ``Is your explanation stable?’’: A Robustness Evaluation Framework for Feature Attribution, ACM SIGSAC Conference on Computer and Communications Security 2022 (CCS’22).
- Yuhao Mao, Chong Fu, Saizhuo Wang, Shouling Ji, Xuhong Zhang, Zhenguang Liu, Jun Zhou, Alex X. Liu, Raheem Beyah, Ting Wang, Transfer Attack Revisited: A Large-Scale Empirical Study in Real Computer Vision Settings, IEEE Symposium on Security & Privacy 2022 (SP’22).
Artificial Intelligence for Science
- Chenhao Chu, Yuhao Mao, Hua Wang, Transfer Learning Assisted Fast Design Migration Over Technology Nodes: A Study on Transformer Matching Network, IEEE MTT-S International Microwave Symposium 2024 (IMS’24).
Talk
- Training Certifiably Robust Neural Networks. January 2024 at Zhejiang University, China. [Slide]
Teaching
- Rigorous Software Engineering (Bachelor), Spring 2024, ETH Zürich, Teaching Assistant.
- Reliable and Trustworthy Artificial Intelligence (Master), Fall 2023, ETH Zürich, Teaching Assistant.
- Computational Intelligence Lab (Master), Spring 2023, ETH Zürich, Teaching Assistant.
- Introduction to Machine Learning (Bachelor), Spring 2023, ETH Zürich, Teaching Assistant.