Publications by Matt Fredrikson

Conference

A RECIPE FOR IMPROVED CERTIFIABLE ROBUSTNESS

2024 • 12th International Conference on Learning Representations, ICLR 2024
Hu K, Leino K, Wang Z, Fredrikson M

Conference

ON THE PERILS OF CASCADING ROBUST CLASSIFIERS

2023 • 11th International Conference on Learning Representations, ICLR 2023
Mangal R, Wang Z, Zhang C, Leino K, Păsăreanu C, Fredrikson M

Conference

CONSISTENT COUNTERFACTUALS FOR DEEP MODELS

2022 • ICLR 2022 - 10th International Conference on Learning Representations
Black E, Wang Z, Datta A, Fredrikson M

Journal Article

Degradation Attacks on Certifiably Robust Neural Networks

2022 • Transactions of Machine Learning Research • 1(1):
Leino K, Zhang C, Mangal R, Fredrikson M, Parno B, Pasareanu C

Conference

SELECTIVE ENSEMBLES FOR CONSISTENT PREDICTIONS

2022 • ICLR 2022 - 10th International Conference on Learning Representations
Black E, Leino K, Fredrikson M

Conference

FAST GEOMETRIC PROJECTIONS FOR LOCAL ROBUSTNESS CERTIFICATION

2021 • ICLR 2021 - 9th International Conference on Learning Representations
Fromherz A, Leino K, Fredrikson M, Parno B, Pašăreanu C
Displaying 1 - 25 of 100