research
∙
05/31/2023
Incremental Randomized Smoothing Certification
Randomized smoothing-based certification is an effective approach for ob...
share
research
∙
04/04/2023
Incremental Verification of Neural Networks
Complete verification of deep neural networks (DNNs) can exactly determi...
research
∙
01/31/2023
Interpreting Robustness Proofs of Deep Neural Networks
In recent years numerous methods have been developed to formally verify ...
research
∙
01/09/2023
On the Minimax Regret for Linear Bandits in a wide variety of Action Spaces
As noted in the works of <cit.>, it has been mentioned that it is an ope...
research
∙
01/07/2023
Markov Chain Concentration with an Application in Reinforcement Learning
Given X_1,· ,X_N random variables whose joint distribution is given as μ...
research
∙
07/23/2022
Exploration in Linear Bandits with Rich Action Sets and its Implications for Inference
We present a non-asymptotic lower bound on the eigenspectrum of the desi...
research
∙
01/19/2022
Critic Algorithms using Cooperative Networks
An algorithm is proposed for policy evaluation in Markov Decision Proces...
research
∙
08/11/2020
HEX and Neurodynamic Programming
Hex is a complex game with a high branching factor. For the first time H...
research
∙
06/30/2020