Picture for Debangshu Banerjee

Debangshu Banerjee

Relational DNN Verification With Cross Executional Bound Refinement

Add code
May 16, 2024
Viaarxiv icon

When are Bandits Robust to Misspecification?

Oct 13, 2023
Figure 1 for When are Bandits Robust to Misspecification?
Figure 2 for When are Bandits Robust to Misspecification?
Figure 3 for When are Bandits Robust to Misspecification?
Figure 4 for When are Bandits Robust to Misspecification?
Viaarxiv icon

Incremental Randomized Smoothing Certification

Add code
May 31, 2023
Figure 1 for Incremental Randomized Smoothing Certification
Figure 2 for Incremental Randomized Smoothing Certification
Figure 3 for Incremental Randomized Smoothing Certification
Figure 4 for Incremental Randomized Smoothing Certification
Viaarxiv icon

Incremental Verification of Neural Networks

Add code
Apr 04, 2023
Figure 1 for Incremental Verification of Neural Networks
Figure 2 for Incremental Verification of Neural Networks
Figure 3 for Incremental Verification of Neural Networks
Figure 4 for Incremental Verification of Neural Networks
Viaarxiv icon

Interpreting Robustness Proofs of Deep Neural Networks

Jan 31, 2023
Figure 1 for Interpreting Robustness Proofs of Deep Neural Networks
Figure 2 for Interpreting Robustness Proofs of Deep Neural Networks
Figure 3 for Interpreting Robustness Proofs of Deep Neural Networks
Figure 4 for Interpreting Robustness Proofs of Deep Neural Networks
Viaarxiv icon

On the Minimax Regret for Linear Bandits in a wide variety of Action Spaces

Jan 09, 2023
Viaarxiv icon

Markov Chain Concentration with an Application in Reinforcement Learning

Jan 07, 2023
Viaarxiv icon

Exploration in Linear Bandits with Rich Action Sets and its Implications for Inference

Jul 23, 2022
Figure 1 for Exploration in Linear Bandits with Rich Action Sets and its Implications for Inference
Figure 2 for Exploration in Linear Bandits with Rich Action Sets and its Implications for Inference
Figure 3 for Exploration in Linear Bandits with Rich Action Sets and its Implications for Inference
Viaarxiv icon

Critic Algorithms using Cooperative Networks

Add code
Jan 19, 2022
Viaarxiv icon

HEX and Neurodynamic Programming

Aug 11, 2020
Figure 1 for HEX and Neurodynamic Programming
Figure 2 for HEX and Neurodynamic Programming
Figure 3 for HEX and Neurodynamic Programming
Figure 4 for HEX and Neurodynamic Programming
Viaarxiv icon