Limitations of Piecewise Linearity for Efficient Robustness Certification von Leino, Klas

Volltext bestellen

Self-correcting Neural Networks for Safe Classification von Leino, Klas, Fromherz, Aymeric, Mangal, Ravi, Fredrikson, Matt, Parno, Bryan, Păsăreanu, Corina

Volltext

Limitations of Piecewise Linearity for Efficient Robustness Certification von Leino, Klas

Volltext

Relaxing Local Robustness von Leino, Klas, Fredrikson, Matt

Volltext bestellen

Stolen Memories: Leveraging Model Memorization for Calibrated White-Box Membership Inference von Leino, Klas, Fredrikson, Matt

Volltext bestellen

A Recipe for Improved Certifiable Robustness von Hu, Kai, Leino, Klas, Wang, Zifan, Fredrikson, Matt

Volltext bestellen

Selective Ensembles for Consistent Predictions von Black, Emily, Leino, Klas, Fredrikson, Matt

Volltext bestellen

Unlocking Deterministic Robustness Certification on ImageNet von Hu, Kai, Zou, Andy, Wang, Zifan, Leino, Klas, Fredrikson, Matt

Volltext bestellen

Globally-Robust Neural Networks von Leino, Klas, Wang, Zifan, Fredrikson, Matt

Volltext bestellen

Private model utility by minimizing expected loss under noise von Leino, Klas, Guajardo Merchan, Jorge

Volltext bestellen

Relaxing Local Robustness von Leino, Klas, Fredrikson, Matt

Volltext

Is Certifying $\ell_p$ Robustness Still Worthwhile? von Mangal, Ravi, Leino, Klas, Wang, Zifan, Hu, Kai, Yu, Weicheng, Pasareanu, Corina, Datta, Anupam, Fredrikson, Matt

Volltext bestellen

Stolen Memories: Leveraging Model Memorization for Calibrated White-Box Membership Inference von Leino, Klas, Fredrikson, Matt

Volltext

PRIVATE MODEL UTILITY BY MINIMIZING EXPECTED LOSS UNDER NOISE von LEINO, Klas, GUAJARDO MERCHAN, Jorge

Volltext bestellen

On the Perils of Cascading Robust Classifiers von Mangal, Ravi, Wang, Zifan, Zhang, Chi, Leino, Klas, Pasareanu, Corina, Fredrikson, Matt

Volltext bestellen

A Recipe for Improved Certifiable Robustness von Hu, Kai, Leino, Klas, Wang, Zifan, Fredrikson, Matt

Volltext

Influence Paths for Characterizing Subject-Verb Number Agreement in LSTM Language Models von Lu, Kaiji, Mardziel, Piotr, Leino, Klas, Fedrikson, Matt, Datta, Anupam

Volltext bestellen

Fast Geometric Projections for Local Robustness Certification von Fromherz, Aymeric, Leino, Klas, Fredrikson, Matt, Parno, Bryan, Păsăreanu, Corina

Volltext bestellen

Self-Correcting Neural Networks For Safe Classification von Leino, Klas, Fromherz, Aymeric, Mangal, Ravi, Fredrikson, Matt, Parno, Bryan, Păsăreanu, Corina

Volltext bestellen

Unlocking Deterministic Robustness Certification on ImageNet von Hu, Kai, Zou, Andy, Wang, Zifan, Leino, Klas, Fredrikson, Matt

Volltext