Mislav Balunovic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
8
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICLR | Language Models are Advanced Anonymizers. | Robin Staab, Mark Vero, Mislav Balunovic, Martin T. Vechev |
| 2025 | ICML | MathConstruct: Challenging LLM Reasoning with Constructive Proofs. | Mislav Balunovic, Jasper Dekoninck, Nikola Jovanovic, Ivo Petrov, Martin T. Vechev |
| 2024 | ICLR | Beyond Memorization: Violating Privacy via Inference with Large Language Models. | Robin Staab, Mark Vero, Mislav Balunovic, Martin T. Vechev |
| 2024 | ICML | CuTS: Customizable Tabular Synthetic Data Generation. | Mark Vero, Mislav Balunovic, Martin T. Vechev |
| 2024 | SP | From Principle to Practice: Vertical Data Minimization for Machine Learning. | Robin Staab, Nikola Jovanovic, Mislav Balunovic, Martin T. Vechev |
| 2023 | ICML | FARE: Provably Fair Representation Learning with Practical Certificates. | Nikola Jovanovic, Mislav Balunovic, Dimitar Iliev Dimitrov, Martin T. Vechev |
| 2023 | ICML | TabLeak: Tabular Data Leakage in Federated Learning. | Mark Vero, Mislav Balunovic, Dimitar Iliev Dimitrov, Martin T. Vechev |
| 2022 | ECCV | Latent Space Smoothing for Individually Fair Representations. | Momchil Peychev, Anian Ruoss, Mislav Balunovic, Maximilian Baader, Martin T. Vechev |
| 2022 | ICLR | Bayesian Framework for Gradient Leakage. | Mislav Balunovic, Dimitar Iliev Dimitrov, Robin Staab, Martin T. Vechev |
| 2022 | ICLR | Fair Normalizing Flows. | Mislav Balunovic, Anian Ruoss, Martin T. Vechev |
| 2021 | AAAI | Efficient Certification of Spatial Robustness. | Anian Ruoss, Maximilian Baader, Mislav Balunovic, Martin T. Vechev |
| 2021 | CAV | Scalable Polyhedral Verification of Recurrent Neural Networks. | Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh, Andrei Marian Dan, Martin T. Vechev |
| 2021 | ICCV | Robustness Certification for Point Cloud Models. | Tobias Lorenz, Anian Ruoss, Mislav Balunovic, Gagandeep Singh, Martin T. Vechev |
| 2021 | ICLR | Certify or Predict: Boosting Certified Robustness with Compositional Architectures. | Mark Niklas Mller, Mislav Balunovic, Martin T. Vechev |
| 2020 | ICLR | Adversarial Training and Provable Defenses: Bridging the Gap. | Mislav Balunovic, Martin T. Vechev |
| 2019 | CCS | Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. | Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, Martin T. Vechev |
| 2019 | ICML | DL2: Training and Querying Neural Networks with Logic. | Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin T. Vechev |