Pavol Bielik

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 22

Top Topics

Language Modeling

Automated Discovery

Top Venues

Publications

Igor Linkov, Kelsey Stoddard, Andrew Strelzoff, Stephanie Elisabeth Galaitsi, Jeffrey M. Keisler, Benjamin D. Trump, Alexander Kott, Pavol Bielik, Petar Tsankov
Toward Mission-Critical AI: Interpretable, Actionable, and Resilient AI. CyCon (2023)
Luis Oala, Andrew G. Murchison, Pradeep Balachandran, Shruti Choudhary, Jana Fehr, Alixandro Werneck Leite, Peter G. Goldschmidt, Christian Johner, Elora D. M. Schörverth, Rose Nakasi, Martin Meyer, Federico Cabitza, Pat Baird, Carolin Prabhu, Eva Weicken, Xiaoxuan Liu, Markus Wenzel, Steffen Vogler, Darlington Ahiale Akogo, Shada Alsalamah, Emre Kazim, Adriano S. Koshiyama, Sven Piechottka, Sheena Macpherson, Ian Shadforth, Regina Geierhofer, Christian Matek, Joachim Krois, Bruno Sanguinetti, Matthew Arentz, Pavol Bielik, Saúl Calderón Ramírez, Auss Abbood, Nicolas Langer, Stefan Haufe, Ferath Kherif, Sameer Pujari, Wojciech Samek, Thomas Wiegand
Machine Learning for Health: Algorithm Auditing & Quality Control. J. Medical Syst. 45 (12) (2021)
Christian Berghoff, Pavol Bielik, Matthias Neu, Petar Tsankov, Arndt von Twickel
Robustness Testing of AI Systems: A Case Study for Traffic Sign Recognition. AIAI (2021)
Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, Martin T. Vechev
Robustness certification with generative models. PLDI (2021)
Chengyuan Yao, Pavol Bielik, Petar Tsankov, Martin T. Vechev
Automated Discovery of Adaptive Attacks on Adversarial Defenses. NeurIPS (2021)
Chengyuan Yao, Pavol Bielik, Petar Tsankov, Martin T. Vechev
Automated Discovery of Adaptive Attacks on Adversarial Defenses. CoRR (2021)
Christian Berghoff, Pavol Bielik, Matthias Neu, Petar Tsankov, Arndt von Twickel
Robustness testing of AI systems: A case study for traffic sign recognition. CoRR (2021)
Pavol Bielik, Martin T. Vechev
Adversarial Robustness for Code. CoRR (2020)
Raphaël Dang-Nhu, Gagandeep Singh, Pavol Bielik, Martin T. Vechev
Adversarial Attacks on Probabilistic Autoregressive Forecasting Models. ICML (2020)
Larissa Laich, Pavol Bielik, Martin T. Vechev
Guiding Program Synthesis by Learning to Generate Examples. ICLR (2020)
Raphaël Dang-Nhu, Gagandeep Singh, Pavol Bielik, Martin T. Vechev
Adversarial Attacks on Probabilistic Autoregressive Forecasting Models. CoRR (2020)
Pavol Bielik, Martin T. Vechev
Adversarial Robustness for Code. ICML (2020)
Philippe Schlattner, Pavol Bielik, Martin T. Vechev
Learning to Infer User Interface Attributes from Images. CoRR (2019)
Mislav Balunovic, Pavol Bielik, Martin T. Vechev
Learning to Solve SMT Formulas. NeurIPS (2018)
Pavol Bielik, Marc Fischer, Martin T. Vechev
Robust relational layout synthesis from examples for Android. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Pavol Bielik, Veselin Raychev, Martin T. Vechev
Learning a Static Analyzer from Data. CAV (1) (2017)
Pavol Bielik, Veselin Raychev, Martin T. Vechev
Program Synthesis for Character Level Language Modeling. ICLR (Poster) (2017)
Veselin Raychev, Pavol Bielik, Martin T. Vechev, Andreas Krause
Learning programs from noisy data. POPL (2016)
Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin T. Vechev
SDNRacer: concurrency analysis for software-defined networks. PLDI (2016)
Veselin Raychev, Pavol Bielik, Martin T. Vechev
Probabilistic model for code with decision trees. OOPSLA (2016)
Pavol Bielik, Veselin Raychev, Martin T. Vechev
Learning a Static Analyzer from Data. CoRR (2016)
Pavol Bielik, Veselin Raychev, Martin T. Vechev
PHOG: Probabilistic Model for Code. ICML (2016)
Pavol Bielik, Veselin Raychev, Martin T. Vechev
Scalable race detection for Android applications. OOPSLA (2015)
Pavol Bielik, Veselin Raychev, Martin T. Vechev
Programming with "Big Code": Lessons, Techniques and Applications. SNAPL (2015)
Jeremie Miserez, Pavol Bielik, Ahmed El-Hassany, Laurent Vanbever, Martin T. Vechev
SDNRacer: detecting concurrency violations in software-defined networks. SOSR (2015)
Pavol Bielik, Michal Tomlein, Peter Krátky, Stefan Mitrík, Michal Barla, Mária Bieliková
Move2Play: an innovative approach to encouraging people to be more physically active. IHI (2012)
Michal Tomlein, Pavol Bielik, Peter Krátky, Stefan Mitrík, Michal Barla, Mária Bieliková
Advanced Pedometer for Smartphone-based Activity Tracking. HEALTHINF (2012)