27 citations · 94 across the 13 of their papers we have counts for
Showing cs.LGShow all
3 papers · 1 filter
cs.LG2022★ 7 cited
A Tool for Neural Network Global Robustness Certification and Training
Zhilu Wang, Yixuan Wang, Feisi Fu +4
With the increment of interest in leveraging machine learning technology in safety-critical systems, the robustness of neural networks under external disturbance receives more and…
cs.LG2020★ 1 cited
Adversarial Training and Provable Robustness: A Tale of Two Objectives
Jiameng Fan, Wenchao Li
We propose a principled framework that combines adversarial training and provable robustness verification for training certifiably robust neural networks. We formulate the training…
cs.LG2019★ 16 cited
Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation
Jiameng Fan, Wenchao Li
An important facet of reinforcement learning (RL) has to do with how the agent goes about exploring the environment. Traditional exploration strategies typically focus on efficienc…