Papers
Safety Analysis of Deep Neural Networks
IJCAI 2021
Thinking Fast and Slow in AI
AAAI 2021
Value Alignment Verification
ICML 2021
Provably Safe PAC-MDP Exploration Using Analogies
AISTATS 2021
Hidden Cost of Randomized Smoothing
AISTATS 2021
Robust and Private Learning of Halfspaces
AISTATS 2021