70 citations · 197 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LG2021
Comment on Stochastic Polyak Step-Size: Performance of ALI-G
Leonard Berrada, Andrew Zisserman, M. Pawan Kumar
This is a short note on the performance of the ALI-G algorithm (Berrada et al., 2020) as reported in (Loizou et al., 2021). ALI-G (Berrada et al., 2020) and SPS (Loizou et al., 202…
cs.LG2021★ 4 cited
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham +5
Most real world applications require dealing with stochasticity like sensor noise or predictive uncertainty, where formal specifications of desired behavior are inherently probabil…