Pavol Bielik

According to our database, Pavol Bielik authored at least 24 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

COMPL-AI Framework: A Technical Interpretation and LLM Benchmarking Suite for the EU Artificial Intelligence Act.

Philipp Guldimann, Alexander Spiridonov, Robin Staab, Nikola Jovanovic, Mark Vero, Velko Vechev, Anna Gueorguieva, Mislav Balunovic, Nikola Konstantinov, Pavol Bielik, Petar Tsankov, Martin T. Vechev

CoRR, 2024

2023

Toward Mission-Critical AI: Interpretable, Actionable, and Resilient AI.

Igor Linkov, Kelsey Stoddard, Andrew Strelzoff, Stephanie Elisabeth Galaitsi, Jeffrey M. Keisler, Benjamin D. Trump, Alexander Kott, Pavol Bielik, Petar Tsankov

Proceedings of the 15th International Conference on Cyber Conflict: Meeting Reality, 2023

2021

Machine Learning and Synthesis of Robust Programs.

Pavol Bielik

PhD thesis, 2021

Machine Learning for Health: Algorithm Auditing & Quality Control.

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 D. 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

J. Medical Syst., 2021

Robustness certification with generative models.

Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, Martin T. Vechev

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Automated Discovery of Adaptive Attacks on Adversarial Defenses.

Chengyuan Yao, Pavol Bielik, Petar Tsankov, Martin T. Vechev

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Robustness Testing of AI Systems: A Case Study for Traffic Sign Recognition.

Christian Berghoff, Pavol Bielik, Matthias Neu, Petar Tsankov, Arndt von Twickel

Proceedings of the Artificial Intelligence Applications and Innovations, 2021

2020

Adversarial Attacks on Probabilistic Autoregressive Forecasting Models.

Raphaël Dang-Nhu, Gagandeep Singh, Pavol Bielik, Martin T. Vechev

Proceedings of the 37th International Conference on Machine Learning, 2020

Adversarial Robustness for Code.

Pavol Bielik, Martin T. Vechev

Proceedings of the 37th International Conference on Machine Learning, 2020

Guiding Program Synthesis by Learning to Generate Examples.

Larissa Laich, Pavol Bielik, Martin T. Vechev

Proceedings of the 8th International Conference on Learning Representations, 2020

2019

Learning to Infer User Interface Attributes from Images.

Philippe Schlattner, Pavol Bielik, Martin T. Vechev

CoRR, 2019

2018

Robust relational layout synthesis from examples for Android.

Pavol Bielik, Marc Fischer, Martin T. Vechev

Proc. ACM Program. Lang., 2018

Learning to Solve SMT Formulas.

Mislav Balunovic, Pavol Bielik, Martin T. Vechev

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2017

Program Synthesis for Character Level Language Modeling.

Pavol Bielik, Veselin Raychev, Martin T. Vechev

Proceedings of the 5th International Conference on Learning Representations, 2017

Learning a Static Analyzer from Data.

Pavol Bielik, Veselin Raychev, Martin T. Vechev

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Learning programs from noisy data.

Veselin Raychev, Pavol Bielik, Martin T. Vechev, Andreas Krause

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

SDNRacer: concurrency analysis for software-defined networks.

Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin T. Vechev

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Probabilistic model for code with decision trees.

Veselin Raychev, Pavol Bielik, Martin T. Vechev

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

PHOG: Probabilistic Model for Code.

Pavol Bielik, Veselin Raychev, Martin T. Vechev

Proceedings of the 33nd International Conference on Machine Learning, 2016

2015

SDNRacer: detecting concurrency violations in software-defined networks.

Jeremie Miserez, Pavol Bielik, Ahmed El-Hassany, Laurent Vanbever, Martin T. Vechev

Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015

Programming with "Big Code": Lessons, Techniques and Applications.

Pavol Bielik, Veselin Raychev, Martin T. Vechev

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Scalable race detection for Android applications.

Pavol Bielik, Veselin Raychev, Martin T. Vechev

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2012

Move2Play: an innovative approach to encouraging people to be more physically active.

Pavol Bielik, Michal Tomlein, Peter Krátky, Stefan Mitrík, Michal Barla, Mária Bieliková

Proceedings of the ACM International Health Informatics Symposium, 2012

Advanced Pedometer for Smartphone-based Activity Tracking.

Michal Tomlein, Pavol Bielik, Peter Krátky, Stefan Mitrík, Michal Barla, Mária Bieliková

Proceedings of the HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, Vilamoura, Algarve, Portugal, 1, 2012