Bielik, Pavol

9 publications

NeurIPSW 2022 Just Avoid Robust Inaccuracy: Boosting Robustness Without Sacrificing Accuracy Yannick Merkli, Pavol Bielik, Petar Tsankov, Martin Vechev

NeurIPS 2021 Automated Discovery of Adaptive Attacks on Adversarial Defenses Chengyuan Yao, Pavol Bielik, Petar Tsankov, Martin Vechev

ICMLW 2021 Automated Discovery of Adaptive Attacks on Adversarial Defenses Chengyuan Yao, Pavol Bielik, Petar Tsankov, Martin Vechev

ICML 2020 Adversarial Attacks on Probabilistic Autoregressive Forecasting Models Raphaël Dang-Nhu, Gagandeep Singh, Pavol Bielik, Martin Vechev

ICML 2020 Adversarial Robustness for Code Pavol Bielik, Martin Vechev

ICLR 2020 Guiding Program Synthesis by Learning to Generate Examples Larissa Laich, Pavol Bielik, Martin Vechev

NeurIPS 2018 Learning to Solve SMT Formulas Mislav Balunovic, Pavol Bielik, Martin Vechev

ICLR 2017 Program Synthesis for Character Level Language Modeling Pavol Bielik, Veselin Raychev, Martin T. Vechev

ICML 2016 PHOG: Probabilistic Model for Code Pavol Bielik, Veselin Raychev, Martin Vechev