243 citations · 564 across the 13 of their papers we have counts for
4 papers · 1 filter
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Sumanth Dathathri, Krishnamurthy Dvijotham, Alexey Kurakin +8
Convex relaxations have emerged as a promising approach for verifying desirable properties of neural networks like robustness to adversarial perturbations. Widely used Linear Progr…
Plug-and-Play Conversational Models
Andrea Madotto, Etsuko Ishii, Zhaojiang Lin +2
There has been considerable progress made towards conversational models that generate coherent and fluent responses; however, this often involves training large language models on…
Robust Constrained Reinforcement Learning for Continuous Control with Model Misspecification
Daniel J. Mankowitz, Dan A. Calian, Rae Jeong +5
Many real-world physical control systems are required to satisfy constraints upon deployment. Furthermore, real-world systems are often subject to effects such as non-stationarity,…
Counter-example Guided Learning of Bounds on Environment Behavior
Yuxiao Chen, Sumanth Dathathri, Tung Phan-Minh +1
There is a growing interest in building autonomous systems that interact with complex environments. The difficulty associated with obtaining an accurate model for such environments…