Leino, Klas

9 publications

ICLR 2024 A Recipe for Improved Certifiable Robustness Kai Hu, Klas Leino, Zifan Wang, Matt Fredrikson

ICLR 2023 On the Perils of Cascading Robust Classifiers Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina Pasareanu, Matt Fredrikson

NeurIPS 2023 Unlocking Deterministic Robustness Certification on ImageNet Kai Hu, Andy Zou, Zifan Wang, Klas Leino, Matt Fredrikson

TMLR 2022 Degradation Attacks on Certifiably Robust Neural Networks Klas Leino, Chi Zhang, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina Pasareanu

ICLR 2022 Selective Ensembles for Consistent Predictions Emily Black, Klas Leino, Matt Fredrikson

ICLR 2021 Fast Geometric Projections for Local Robustness Certification Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina Pasareanu

ICML 2021 Globally-Robust Neural Networks Klas Leino, Zifan Wang, Matt Fredrikson

NeurIPS 2021 Relaxing Local Robustness Klas Leino, Matt Fredrikson

ICLR 2019 Feature-Wise Bias Amplification Klas Leino, Emily Black, Matt Fredrikson, Shayak Sen, Anupam Datta