Wenjie Ruan

3 papers in the IJCAI proceedings

IJCAI 2024

PRASS: Probabilistic Risk-averse Robust Learning with Stochastic Search

with Tianle Zhang, Yanghao Zhang, Ronghui Mu, Jiaxu Liu, Jonathan Fieldsend

doi:10.24963/ijcai.2024/62

Details PDF

IJCAI 2019

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance

with Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska

doi:10.24963/ijcai.2019/824

Details PDF

IJCAI 2018

Reachability Analysis of Deep Neural Networks with Provable Guarantees

with Xiaowei Huang, Marta Kwiatkowska

doi:10.24963/ijcai.2018/368

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings