| Lamp: Extracting text from gradients with language model priors M Balunovic, D Dimitrov, N Jovanović, M Vechev Advances in Neural Information Processing Systems 35, 7641-7654, 2022 | 73* | 2022 |
| Bayesian framework for gradient leakage M Balunović, DI Dimitrov, R Staab, M Vechev The Tenth International Conference on Learning Representations, ICLR 2022, 2021 | 54 | 2021 |
| Fast and precise certification of transformers G Bonaert, DI Dimitrov, M Baader, M Vechev Proceedings of the 42nd ACM SIGPLAN international conference on programming …, 2021 | 39 | 2021 |
| Data leakage in federated averaging DI Dimitrov, M Balunovic, N Konstantinov, M Vechev Transactions on Machine Learning Research, 2022 | 34 | 2022 |
| TabLeak: Tabular data leakage in federated learning M Vero, M Balunović, DI Dimitrov, M Vechev Proceedings of the 40th International Conference on Machine Learning 202 …, 2023 | 21* | 2023 |
| Group and attack: Auditing differential privacy J Lokna, A Paradis, DI Dimitrov, M Vechev Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | 16 | 2023 |
| Shared certificates for neural network verification M Fischer, C Sprecher, DI Dimitrov, G Singh, M Vechev International Conference on Computer Aided Verification, 127-148, 2022 | 16 | 2022 |
| Provably robust adversarial examples DI Dimitrov, G Singh, T Gehr, M Vechev The Tenth International Conference on Learning Representations, ICLR 2022, 2020 | 13 | 2020 |
| Fare: Provably fair representation learning with practical certificates N Jovanović, M Balunovic, DI Dimitrov, M Vechev International Conference on Machine Learning, 15401-15420, 2023 | 12* | 2023 |
| Hiding in Plain Sight: Disguising Data Stealing Attacks in Federated Learning K Garov, DI Dimitrov, N Jovanović, M Vechev The Twelfth International Conference on Learning Representations, ICLR 2024, 2024 | 8 | 2024 |
| Spear: Exact gradient inversion of batches in federated learning DI Dimitrov, M Baader, M Müller, M Vechev Advances in Neural Information Processing Systems 37, 106768-106799, 2024 | 6 | 2024 |
| Dager: Exact gradient inversion for large language models I Petrov, DI Dimitrov, M Baader, M Müller, M Vechev Advances in Neural Information Processing Systems 37, 87801-87830, 2024 | 1 | 2024 |
| GRAIN: Exact Graph Reconstruction from Gradients M Drencheva, I Petrov, M Baader, DI Dimitrov, M Vechev The 13th International Conference on Learning Representations, ICLR 2025, 2025 | | 2025 |
| BgGPT 1.0: Extending English-centric LLMs to other languages A Alexandrov, V Raychev, DI Dimitrov, C Zhang, M Vechev, K Toutanova arXiv preprint arXiv:2412.10893, 2024 | | 2024 |
| Constraint-Based Synthetic Data Generation for LLM Mathematical Reasoning T Fedoseev, DI Dimitrov, T Gehr, M Vechev The 4th Workshop on Mathematical Reasoning and AI at NeurIPS'24, 0 | | |
| Image Inpainting with Gaussian Processes DI Dimitrov | | |
Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;Verified email at inf.ethz.ch
