| 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 | 16 | 2021 |
| Bayesian framework for gradient leakage M Balunović, DI Dimitrov, R Staab, M Vechev arXiv preprint arXiv:2111.04706, 2021 | 14 | 2021 |
| 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 | 4 | 2022 |
| Shared certificates for neural network verification M Fischer, C Sprecher, DI Dimitrov, G Singh, M Vechev Computer Aided Verification: 34th International Conference, CAV 2022, Haifa …, 2022 | 3 | 2022 |
| Data Leakage in Federated Averaging DI Dimitrov, M Balunovic, N Konstantinov, M Vechev Transactions on Machine Learning Research, 2022 | 2 | 2022 |
| Provably robust adversarial examples DI Dimitrov, G Singh, T Gehr, M Vechev International Conference on Learning Representations (ICLR 2022), 2022 | 2 | 2022 |
| FARE: Provably Fair Representation Learning N Jovanović, M Balunović, DI Dimitrov, M Vechev arXiv preprint arXiv:2210.07213, 2022 | | 2022 |
| Data Leakage in Tabular Federated Learning M Vero, M Balunović, DI Dimitrov, M Vechev arXiv preprint arXiv:2210.01785, 2022 | | 2022 |
| Image Inpainting with Gaussian Processes DI Dimitrov | | |
Martin VechevProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
