Mislav Balunovic

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Beyond Memorization: Violating Privacy via Inference with Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

Programmable Synthetic Tabular Data Generation.

[BibT_eX]

[DOI]

Mark Vero

CoRR, 2023

TabLeak: Tabular Data Leakage in Federated Learning.

[BibT_eX]

[DOI]

Mark Vero

Proceedings of the International Conference on Machine Learning, 2023

FARE: Provably Fair Representation Learning with Practical Certificates.

[BibT_eX]

[DOI]

Nikola Jovanovic

Proceedings of the International Conference on Machine Learning, 2023

2022

On the Paradox of Certified Training.

[BibT_eX]

[DOI]

Trans. Mach. Learn. Res., 2022

Data Leakage in Federated Averaging.

[BibT_eX]

[DOI]

Nikola Konstantinov

Trans. Mach. Learn. Res., 2022

FARE: Provably Fair Representation Learning.

[BibT_eX]

[DOI]

CoRR, 2022

Data Leakage in Tabular Federated Learning.

[BibT_eX]

[DOI]

CoRR, 2022

LAMP: Extracting Text from Gradients with Language Model Priors.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Fair Normalizing Flows.

[BibT_eX]

[DOI]

Anian Ruoss

Proceedings of the Tenth International Conference on Learning Representations, 2022

Bayesian Framework for Gradient Leakage.

[BibT_eX]

[DOI]

Robin Staab

Proceedings of the Tenth International Conference on Learning Representations, 2022

Latent Space Smoothing for Individually Fair Representations.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2022, 2022

2021

Certified Defenses: Why Tighter Relaxations May Hurt Training?

[BibT_eX]

[DOI]

CoRR, 2021

Certify or Predict: Boosting Certified Robustness with Compositional Architectures.

[BibT_eX]

[DOI]

Mark Niklas Müller

Proceedings of the 9th International Conference on Learning Representations, 2021

Robustness Certification for Point Cloud Models.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Scalable Polyhedral Verification of Recurrent Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Efficient Certification of Spatial Robustness.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Fast and Effective Robustness Certification for Recurrent Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2020

Learning Certified Individually Fair Representations.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Adversarial Training and Provable Defenses: Bridging the Gap.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020

2019

Certifying Geometric Robustness of Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

DL2: Training and Querying Neural Networks with Logic.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Machine Learning, 2019

Learning to Fuzz from Symbolic Execution with Application to Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Learning to Solve SMT Formulas.

[BibT_eX]

[DOI]

Pavol Bielik