ML Anthology

Balunović, Mislav

26 publications

ICLR 2025 Language Models Are Advanced Anonymizers Robin Staab, Mark Vero, Mislav Balunovic, Martin Vechev
NeurIPS 2025 MathArena: Evaluating LLMs on Uncontaminated Math Competitions Mislav Balunovic, Jasper Dekoninck, Ivo Petrov, Nikola Jovanović, Martin Vechev
ICML 2025 MathConstruct: Challenging LLM Reasoning with Constructive Proofs Mislav Balunovic, Jasper Dekoninck, Nikola Jovanović, Ivo Petrov, Martin Vechev
ICLRW 2025 MathConstruct: Challenging LLM Reasoning with Constructive Proofs Jasper Dekoninck, Mislav Balunovic, Nikola Jovanović, Ivo Petrov, Martin Vechev
ICMLW 2024 AI Agents with Formal Security Guarantees Mislav Balunovic, Luca Beurer-Kellner, Marc Fischer, Martin Vechev
NeurIPS 2024 AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents Edoardo Debenedetti, Jie Zhang, Mislav Balunovic, Luca Beurer-Kellner, Marc Fischer, Florian Tramèr
ICLR 2024 Beyond Memorization: Violating Privacy via Inference with Large Language Models Robin Staab, Mark Vero, Mislav Balunovic, Martin Vechev
ICML 2024 CuTS: Customizable Tabular Synthetic Data Generation Mark Vero, Mislav Balunovic, Martin Vechev
ICLRW 2024 Large Language Models Are Anonymizers Robin Staab, Mark Vero, Mislav Balunovic, Martin Vechev
ICML 2023 FARE: Provably Fair Representation Learning with Practical Certificates Nikola Jovanović, Mislav Balunovic, Dimitar Iliev Dimitrov, Martin Vechev
ICML 2023 TabLeak: Tabular Data Leakage in Federated Learning Mark Vero, Mislav Balunovic, Dimitar Iliev Dimitrov, Martin Vechev
ICLR 2022 Bayesian Framework for Gradient Leakage Mislav Balunovic, Dimitar Iliev Dimitrov, Robin Staab, Martin Vechev
TMLR 2022 Data Leakage in Federated Averaging Dimitar Iliev Dimitrov, Mislav Balunovic, Nikola Konstantinov, Martin Vechev
NeurIPSW 2022 FARE: Provably Fair Representation Learning Nikola Jovanović, Mislav Balunovic, Dimitar Iliev Dimitrov, Martin Vechev
ICLR 2022 Fair Normalizing Flows Mislav Balunovic, Anian Ruoss, Martin Vechev
NeurIPS 2022 LAMP: Extracting Text from Gradients with Language Model Priors Mislav Balunovic, Dimitar Dimitrov, Nikola Jovanović, Martin Vechev
ECCV 2022 Latent Space Smoothing for Individually Fair Representations Momchil Peychev, Anian Ruoss, Mislav Balunović, Maximilian Baader, Martin Vechev
TMLR 2022 On the Paradox of Certified Training Nikola Jovanović, Mislav Balunovic, Maximilian Baader, Martin Vechev
ICLR 2021 Certify or Predict: Boosting Certified Robustness with Compositional Architectures Mark Niklas Mueller, Mislav Balunovic, Martin Vechev
AAAI 2021 Efficient Certification of Spatial Robustness Anian Ruoss, Maximilian Baader, Mislav Balunovic, Martin T. Vechev
ICCV 2021 Robustness Certification for Point Cloud Models Tobias Lorenz, Anian Ruoss, Mislav Balunović, Gagandeep Singh, Martin Vechev
ICLR 2020 Adversarial Training and Provable Defenses: Bridging the Gap Mislav Balunovic, Martin Vechev
NeurIPS 2020 Learning Certified Individually Fair Representations Anian Ruoss, Mislav Balunovic, Marc Fischer, Martin Vechev
NeurIPS 2019 Certifying Geometric Robustness of Neural Networks Mislav Balunovic, Maximilian Baader, Gagandeep Singh, Timon Gehr, Martin Vechev
ICML 2019 DL2: Training and Querying Neural Networks with Logic Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin Vechev
NeurIPS 2018 Learning to Solve SMT Formulas Mislav Balunovic, Pavol Bielik, Martin Vechev