Klas Leino

30 papers A* 10A 1Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2024 A* conf
A Recipe for Improved Certifiable Robustness.
ICLR
Kai Hu, Klas Leino, Zifan Wang, Matt Fredrikson
2023 J jnl
A Recipe for Improved Certifiable Robustness: Capacity and Data.
CoRR
Kai Hu, Klas Leino, Zifan Wang, Matt Fredrikson
2023 J jnl
Is Certifying ๐“
CoRR
Ravi Mangal, Klas Leino, Zifan Wang, Kai Hu, Weicheng Yu, Corina S. Pasareanu, Anupam Datta, Matt Fredrikson
2023 J jnl
Limitations of Piecewise Linearity for Efficient Robustness Certification.
CoRR
Klas Leino
2023 A* conf
On the Perils of Cascading Robust Classifiers.
ICLR
Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina S. Pasareanu, Matt Fredrikson
2023 J jnl
Scaling in Depth: Unlocking Robustness Certification on ImageNet.
CoRR
Kai Hu, Andy Zou, Zifan Wang, Klas Leino, Matt Fredrikson
2023 A* conf
Unlocking Deterministic Robustness Certification on ImageNet.
NeurIPS
Kai Hu, Andy Zou, Zifan Wang, Klas Leino, Matt Fredrikson
2022 J jnl
Degradation Attacks on Certifiably Robust Neural Networks.
Trans. Mach. Learn. Res.
Klas Leino, Chi Zhang, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
2022 โ€” โ€”
Identifying, Analyzing, and Addressing Weaknesses in Deep Networks: Foundations for Conceptually Sound Neural Networks
Klas Leino
2022 J jnl
On the Perils of Cascading Robust Classifiers.
CoRR
Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina S. Pasareanu, Matt Fredrikson
2022 A* conf
Selective Ensembles for Consistent Predictions.
ICLR
Emily Black, Klas Leino, Matt Fredrikson
2022 โ€” conf
Self-correcting Neural Networks for Safe Classification.
NSV/FoMLAS@CAV
Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
2021 โ€” conf
Exploring Conceptual Soundness with TruLens.
NeurIPS (Competition and Demos)
Anupam Datta, Matt Fredrikson, Klas Leino, Kaiji Lu, Shayak Sen, Ricardo Shih, Zifan Wang
2021 A* conf
Fast Geometric Projections for Local Robustness Certification.
ICLR
Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
2021 A* conf
Globally-Robust Neural Networks.
ICML
Klas Leino, Zifan Wang, Matt Fredrikson
2021 J jnl
Globally-Robust Neural Networks.
CoRR
Klas Leino, Zifan Wang, Matt Fredrikson
2021 A* conf
Machine Learning Explainability and Robustness: Connected at the Hip.
KDD
Anupam Datta, Matt Fredrikson, Klas Leino, Kaiji Lu, Shayak Sen, Zifan Wang
2021 A* conf
Relaxing Local Robustness.
NeurIPS
Klas Leino, Matt Fredrikson
2021 J jnl
Relaxing Local Robustness.
CoRR
Klas Leino, Matt Fredrikson
2021 J jnl
Selective Ensembles for Consistent Predictions.
CoRR
Emily Black, Klas Leino, Matt Fredrikson
2021 J jnl
Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair.
CoRR
Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
2020 J jnl
Fast Geometric Projections for Local Robustness Certification.
CoRR
Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
2020 A* conf
Influence Paths for Characterizing Subject-Verb Number Agreement in LSTM Language Models.
ACL
Kaiji Lu, Piotr Mardziel, Klas Leino, Matt Fredrikson, Anupam Datta
2020 J jnl
Influence Paths for Characterizing Subject-Verb Number Agreement in LSTM Language Models.
CoRR
Kaiji Lu, Piotr Mardziel, Klas Leino, Matt Fredrikson, Anupam Datta
2020 A* conf
Stolen Memories: Leveraging Model Memorization for Calibrated White-Box Membership Inference.
USENIX Security Symposium
Klas Leino, Matt Fredrikson
2019 โ€” conf
Feature-Wise Bias Amplification.
ICLR (Poster)
Klas Leino, Emily Black, Matt Fredrikson, Shayak Sen, Anupam Datta
2019 J jnl
Stolen Memories: Leveraging Model Memorization for Calibrated White-Box Membership Inference.
CoRR
Klas Leino, Matt Fredrikson
2018 J jnl
Feature-Wise Bias Amplification.
CoRR
Klas Leino, Matt Fredrikson, Emily Black, Shayak Sen, Anupam Datta
2018 A conf
Influence-Directed Explanations for Deep Convolutional Networks.
ITC
Klas Leino, Shayak Sen, Anupam Datta, Matt Fredrikson, Linyi Li
2018 J jnl
Influence-Directed Explanations for Deep Convolutional Networks.
CoRR
Klas Leino, Linyi Li, Shayak Sen, Anupam Datta, Matt Fredrikson