ADVERSARIAL ROBUSTNESS FOR CODE

von Bielik, Pavol
Veröffentlicht in International Conference on Machine Learning (37. : 2020 : Online) 37th International Conference on Machine Learning (ICML 2020) ; Part 2 of 15 (2021)

Certified Defense to Image Transformations via Randomized Smoothing

von Fischer, Marc
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 11 of 27 (2021)

SCALABLE CERTIFIED SEGMENTATION VIA RANDOMIZED SMOOTHING

von FISCHER, MARC
Veröffentlicht in International Conference on Machine Learning (38. : 2021 : Online) International Conference on Machine Learning (ICML 2021 ; Part 5 of 16 (2022)

Fast and Optimal Sequence-to-Graph Alignment Guided by Seeds

von Ivanov, Pesho
Veröffentlicht in RECOMB (26. : 2022 : La Jolla, Calif.) Research in computational molecular biology (2022)

Automated Discovery of Adaptive Attacks on Adversarial Defenses

von Yao, Chengyuan
Veröffentlicht in NeurIPS (35. : 2021 : Online) 35th Conference on Neural Information Processing Systems (NeurIPS 2021) ; Volume 32 of 36 (2022)

TFIX: LEARNING TO FIX CODING ERRORS WITH A TEXT-TO-TEXT TRANSFORMER

von BERABI, BERKAY
Veröffentlicht in International Conference on Machine Learning (38. : 2021 : Online) International Conference on Machine Learning (ICML 2021 ; Part 2 of 16 (2022)

(De-)Randomized Smoothing for Decision Stump Ensembles

von Horváth, Miklós
Veröffentlicht in NeurIPS (36. : 2022 : New Orleans, La.; Online) 36th Conference on Neural Information Processing Systems (NeurIPS 2022 ; Volume 5 of 50 (2023)

ADVERSARIAL ATTACKS ON PROBABILISTIC AUTOREGRESSIVE FORECASTING MODELS

von Dang-Nhu, Raphaël
Veröffentlicht in International Conference on Machine Learning (37. : 2020 : Online) 37th International Conference on Machine Learning (ICML 2020) ; Part 3 of 15 (2021)

Learning to Configure Computer Networks with Neural Algorithmic Reasoning

von Beurer-Kellner, Luca
Veröffentlicht in NeurIPS (36. : 2022 : New Orleans, La.; Online) 36th Conference on Neural Information Processing Systems (NeurIPS 2022 ; Volume 2 of 50 (2023)

LAMP: Extracting Text from Gradients with Language Model Priors

von Balunovic, Mislav
Veröffentlicht in NeurIPS (36. : 2022 : New Orleans, La.; Online) 36th Conference on Neural Information Processing Systems (NeurIPS 2022 ; Volume 11 of 50 (2023)

LEARNING CERTIFIED INDIVIDUALLY FAIR REPRESENTATIONS

von Ruoss, Anian
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 10 of 27 (2021)

PODS: POLICY OPTIMIZATION VIA DIFFERENTIABLE SIMULATION

von ZAMORA, MIGUEL
Veröffentlicht in International Conference on Machine Learning (38. : 2021 : Online) International Conference on Machine Learning (ICML 2021 ; Part 10 of 16 (2022)

Latent Space Smoothing for Individually Fair Representations

von Peychev, Momchil
Veröffentlicht in ECCV (17. : 2022 : Tel Aviv; Online) Computer vision – ECCV 2022 ; Part 13 (2022)

Scalable Polyhedral Verification of Recurrent Neural Networks

von Ryou, Wonryong
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

AStarix: Fast and Optimal Sequence-to-Graph Alignment

von Ivanov, Pesho
Veröffentlicht in RECOMB (24. : 2020 : Online) Research in computational molecular biology (2020)

Shared Certificates for Neural Network Verification

von Fischer, Marc
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)

PLDI'17 : Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation

Veröffentlicht 2017