Mislav Balunović
Mislav Balunović
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
Adversarial Training and Provable Defenses: Bridging the Gap
M Balunovic, M Vechev
International Conference on Learning Representations, 2020
712020
Certifying Geometric Robustness of Neural Networks
M Balunovic, M Baader, G Singh, T Gehr, M Vechev
Advances in Neural Information Processing Systems, 15287-15297, 2019
602019
Learning to fuzz from symbolic execution with application to smart contracts
J He, M Balunović, N Ambroladze, P Tsankov, M Vechev
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
592019
DL2: Training and Querying Neural Networks with Logic
M Fischer, M Balunovic, D Drachsler-Cohen, T Gehr, C Zhang, M Vechev
International Conference on Machine Learning, 1931-1941, 2019
582019
Learning to solve SMT formulas
M Balunovic, P Bielik, M Vechev
Advances in Neural Information Processing Systems, 10317-10328, 2018
452018
Learning certified individually fair representations
A Ruoss, M Balunović, M Fischer, M Vechev
arXiv preprint arXiv:2002.10312, 2020
182020
Scalable Polyhedral Verification of Recurrent Neural Networks
W Ryou, J Chen, M Balunovic, G Singh, A Dan, M Vechev
International Conference on Computer Aided Verification, 225-248, 2021
7*2021
Efficient certification of spatial robustness
A Ruoss, M Baader, M Balunović, M Vechev
arXiv preprint arXiv:2009.09318, 2020
72020
Robustness Certification for Point Cloud Models
T Lorenz, A Ruoss, M Balunović, G Singh, M Vechev
arXiv preprint arXiv:2103.16652, 2021
32021
Certified Defenses: Why Tighter Relaxations May Hurt Training?
N Jovanović, M Balunović, M Baader, M Vechev
arXiv preprint arXiv:2102.06700, 2021
22021
Fair Normalizing Flows
M Balunović, A Ruoss, M Vechev
arXiv preprint arXiv:2106.05937, 2021
12021
Bayesian Framework for Gradient Leakage
M Balunović, DI Dimitrov, R Staab, M Vechev
arXiv preprint arXiv:2111.04706, 2021
2021
Certify or Predict: Boosting Certified Robustness with Compositional Architectures
MN Mueller, M Balunovic, M Vechev
International Conference on Learning Representations, 2020
2020
Certifying Neural Network Audio Classifiers
W Ryou, M Balunovic, G Singh, M Vechev
2019
Learning to solve SMT formulas
M Balunović, P Bielik, M Vechev
Advances in Neural Information Processing Systems 31, 10317-10328, 2019
2019
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–16