Maximilian Baader
Maximilian Baader
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
Certifying geometric robustness of neural networks
M Balunović, M Baader, G Singh, T Gehr, M Vechev
Advances in Neural Information Processing Systems 32, 2019
602019
Silq: A high-level quantum language with safe uncomputation and intuitive semantics
B Bichsel, M Baader, T Gehr, M Vechev
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
342020
Certified Defense to Image Transformations via Randomized Smoothing
M Fischer, M Baader, M Vechev
Advances in Neural Information Processing Systems 33, 2020
18*2020
Universal approximation with certified networks
M Baader, M Mirman, M Vechev
International Conference on Learning Representations, 2020
142020
Efficient Certification of Spatial Robustness
A Ruoss, M Baader, M Balunović, M Vechev
AAAI Conference on Artificial Intelligence 35, 2021
72021
Scalable Certified Segmentation via Randomized Smoothing
M Fischer, M Baader, M Vechev
International Conference on Machine Learning, 3340-3351, 2021
22021
Certified Defenses: Why Tighter Relaxations May Hurt Training?
N Jovanović, M Balunović, M Baader, M Vechev
arXiv preprint arXiv:2102.06700, 2021
22021
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
12021
Latent Space Smoothing for Individually Fair Representations
M Peychev, A Ruoss, M Balunović, M Baader, M Vechev
arXiv preprint arXiv:2111.13650, 2021
2021
ERAN User Manual
G Singh, M Balunovic, A Ruoss, C Müller, J Maurer, A Hoffmann, ...
The system can't perform the operation now. Try again later.
Articles 1–10