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

Attacks and Defenses for Large Language Models on Coding Tasks

2024 • Proceedings / IEEE International Conference, Automated Software Engineering ; sponsored by IEEE Computer Society, NASA Ames Research Center, in cooperation with AAAI, ACM SIGART and SIGSOFT. IEEE International Automated Software Enginee... • 2268-2272
Zhang C, Wang Z, Zhao R, Mangal R, Fredrikson M, Jia L, Pasareanu CS

Conference

Efficient LLM Jailbreak via Adaptive Dense-to-sparse Constrained Optimization

2024 • Advances in Neural Information Processing Systems • 37:
Hu K, Yu W, Li Y, Yao T, Li X, Liu W, Yu L, Shen Z, Chen K, Fredrikson M

Conference

Improving Alignment and Robustness with Circuit Breakers

2024 • Advances in Neural Information Processing Systems • 37:
Zou A, Phan L, Wang J, Duenas D, Lin M, Andriushchenko M, Wang R, Kolter Z, Fredrikson M, Hendrycks D

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
Displaying 1 - 25 of 105