Klas Leino

According to our database1, Klas Leino authored at least 20 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Recipe for Improved Certifiable Robustness.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023
Is Certifying 𝓁<sub>p</sub> Robustness Still Worthwhile?
CoRR, 2023

A Recipe for Improved Certifiable Robustness: Capacity and Data.
CoRR, 2023

Scaling in Depth: Unlocking Robustness Certification on ImageNet.
CoRR, 2023

Limitations of Piecewise Linearity for Efficient Robustness Certification.
CoRR, 2023

Unlocking Deterministic Robustness Certification on ImageNet.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

On the Perils of Cascading Robust Classifiers.
Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022
Degradation Attacks on Certifiably Robust Neural Networks.
Trans. Mach. Learn. Res., 2022

Selective Ensembles for Consistent Predictions.
Proceedings of the Tenth International Conference on Learning Representations, 2022

Self-correcting Neural Networks for Safe Classification.
Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2021
Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair.
CoRR, 2021

Relaxing Local Robustness.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Exploring Conceptual Soundness with TruLens.
Proceedings of the NeurIPS 2021 Competitions and Demonstrations Track, 2021

Machine Learning Explainability and Robustness: Connected at the Hip.
Proceedings of the KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2021

Globally-Robust Neural Networks.
Proceedings of the 38th International Conference on Machine Learning, 2021

Fast Geometric Projections for Local Robustness Certification.
Proceedings of the 9th International Conference on Learning Representations, 2021

2020
Stolen Memories: Leveraging Model Memorization for Calibrated White-Box Membership Inference.
Proceedings of the 29th USENIX Security Symposium, 2020

Influence Paths for Characterizing Subject-Verb Number Agreement in LSTM Language Models.
Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

2019
Feature-Wise Bias Amplification.
Proceedings of the 7th International Conference on Learning Representations, 2019

2018
Influence-Directed Explanations for Deep Convolutional Networks.
Proceedings of the IEEE International Test Conference, 2018


  Loading...