Skip to content

Klas Leino

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

6

Active years

2018–2024

Best venue rank

A*

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2024ICLRA Recipe for Improved Certifiable Robustness.Kai Hu, Klas Leino, Zifan Wang, Matt Fredrikson
2023ICLROn the Perils of Cascading Robust Classifiers.Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina S. Pasareanu, Matt Fredrikson
2022CAVSelf-correcting Neural Networks for Safe Classification.Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
2022ICLRSelective Ensembles for Consistent Predictions.Emily Black, Klas Leino, Matt Fredrikson
2021ICLRFast Geometric Projections for Local Robustness Certification.Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
2021ICMLGlobally-Robust Neural Networks.Klas Leino, Zifan Wang, Matt Fredrikson
2021KDDMachine Learning Explainability and Robustness: Connected at the Hip.Anupam Datta, Matt Fredrikson, Klas Leino, Kaiji Lu, Shayak Sen, Zifan Wang
2020ACLInfluence Paths for Characterizing Subject-Verb Number Agreement in LSTM Language Models.Kaiji Lu, Piotr Mardziel, Klas Leino, Matt Fredrikson, Anupam Datta
2019ICLRFeature-Wise Bias Amplification.Klas Leino, Emily Black, Matt Fredrikson, Shayak Sen, Anupam Datta
2018ITCInfluence-Directed Explanations for Deep Convolutional Networks.Klas Leino, Shayak Sen, Anupam Datta, Matt Fredrikson, Linyi Li