Towards Certified Probabilistic Robustness with High Accuracy. - Ruihan Zhang 005; Peixin Zhang 001; Jun Sun 001 (CoRR, 2023)

Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes Errors. - Ruihan Zhang 005; Jun Sun 001 (CAV (2), 2024)

How Does Bayes Error Limit Probabilistic Robust Accuracy. - Ruihan Zhang 005; Jun Sun 001 (CoRR, 2024)

Correct-by-Construction: Certified Individual Fairness through Neural Network Training. - Ruihan Zhang 005; Jun Sun 001 (Proc. ACM Program. Lang., 2025)

A Test Suite for Efficient Robustness Evaluation of Face Recognition Systems. - Ruihan Zhang 005; Jun Sun 001 (CoRR, 2025)

RobFace: A Test Suite for Efficient Robustness Evaluation of Face Recognition Systems. - Ruihan Zhang 005; Jun Sun 001 (IEEE Trans. Reliab., 2025)

Towards Provably Unlearnable Examples via Bayes Error Optimisation. - Ruihan Zhang 005; Jun Sun 001; Ee-Peng Lim; Peixin Zhang 001 (CoRR, 2025)

Optimisation Problems in Constrained Machine Learning. - Ruihan Zhang 005 (AAAI, 2026)

Towards Provably Unlearnable Examples via Bayes Error Optimization. - Ruihan Zhang 005; Jun Sun 001; Ee-Peng Lim; Peixin Zhang 001 (AAAI, 2026)