Pavol Bielik - RankMe

29 papers A* 9A 2Misc 1Journal 9Unranked 7

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	COMPL-AI Framework: A Technical Interpretation and LLM Benchmarking Suite for the EU Artificial Intelligence Act. CoRR 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
2023	—	`conf`	Toward Mission-Critical AI: Interpretable, Actionable, and Resilient AI. CyCon Igor Linkov, Kelsey Stoddard, Andrew Strelzoff, Stephanie Elisabeth Galaitsi, Jeffrey M. Keisler, Benjamin D. Trump, Alexander Kott, Pavol Bielik, Petar Tsankov
2021	A*	`conf`	Automated Discovery of Adaptive Attacks on Adversarial Defenses. NeurIPS Chengyuan Yao, Pavol Bielik, Petar Tsankov, Martin T. Vechev
2021	J	`jnl`	Automated Discovery of Adaptive Attacks on Adversarial Defenses. CoRR Chengyuan Yao, Pavol Bielik, Petar Tsankov, Martin T. Vechev
2021	—	`—`	Machine Learning and Synthesis of Robust Programs. Pavol Bielik
2021	J	`jnl`	Machine Learning for Health: Algorithm Auditing & Quality Control. J. Medical Syst. 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
2021	Misc	`conf`	Robustness Testing of AI Systems: A Case Study for Traffic Sign Recognition. AIAI Christian Berghoff, Pavol Bielik, Matthias Neu, Petar Tsankov, Arndt von Twickel
2021	A*	`conf`	Robustness certification with generative models. PLDI Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, Martin T. Vechev
2021	J	`jnl`	Robustness testing of AI systems: A case study for traffic sign recognition. CoRR Christian Berghoff, Pavol Bielik, Matthias Neu, Petar Tsankov, Arndt von Twickel
2020	A*	`conf`	Adversarial Attacks on Probabilistic Autoregressive Forecasting Models. ICML Raphaël Dang-Nhu, Gagandeep Singh, Pavol Bielik, Martin T. Vechev
2020	J	`jnl`	Adversarial Attacks on Probabilistic Autoregressive Forecasting Models. CoRR Raphaël Dang-Nhu, Gagandeep Singh, Pavol Bielik, Martin T. Vechev
2020	A*	`conf`	Adversarial Robustness for Code. ICML Pavol Bielik, Martin T. Vechev
2020	J	`jnl`	Adversarial Robustness for Code. CoRR Pavol Bielik, Martin T. Vechev
2020	A*	`conf`	Guiding Program Synthesis by Learning to Generate Examples. ICLR Larissa Laich, Pavol Bielik, Martin T. Vechev
2019	J	`jnl`	Learning to Infer User Interface Attributes from Images. CoRR Philippe Schlattner, Pavol Bielik, Martin T. Vechev
2018	A*	`conf`	Learning to Solve SMT Formulas. NeurIPS Mislav Balunovic, Pavol Bielik, Martin T. Vechev
2018	J	`jnl`	Robust relational layout synthesis from examples for Android. Proc. ACM Program. Lang. Pavol Bielik, Marc Fischer, Martin T. Vechev
2017	—	`conf`	Learning a Static Analyzer from Data. CAV (1) Pavol Bielik, Veselin Raychev, Martin T. Vechev
2017	—	`conf`	Program Synthesis for Character Level Language Modeling. ICLR (Poster) Pavol Bielik, Veselin Raychev, Martin T. Vechev
2016	J	`jnl`	Learning a Static Analyzer from Data. CoRR Pavol Bielik, Veselin Raychev, Martin T. Vechev
2016	A*	`conf`	Learning programs from noisy data. POPL Veselin Raychev, Pavol Bielik, Martin T. Vechev, Andreas Krause
2016	A*	`conf`	PHOG: Probabilistic Model for Code. ICML Pavol Bielik, Veselin Raychev, Martin T. Vechev
2016	A	`conf`	Probabilistic model for code with decision trees. OOPSLA Veselin Raychev, Pavol Bielik, Martin T. Vechev
2016	A*	`conf`	SDNRacer: concurrency analysis for software-defined networks. PLDI Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin T. Vechev
2015	—	`conf`	Programming with "Big Code": Lessons, Techniques and Applications. SNAPL Pavol Bielik, Veselin Raychev, Martin T. Vechev
2015	—	`conf`	SDNRacer: detecting concurrency violations in software-defined networks. SOSR Jeremie Miserez, Pavol Bielik, Ahmed El-Hassany, Laurent Vanbever, Martin T. Vechev
2015	A	`conf`	Scalable race detection for Android applications. OOPSLA Pavol Bielik, Veselin Raychev, Martin T. Vechev
2012	—	`conf`	Advanced Pedometer for Smartphone-based Activity Tracking. HEALTHINF Michal Tomlein, Pavol Bielik, Peter Krátky, Stefan Mitrík, Michal Barla, Mária Bieliková
2012	—	`conf`	Move2Play: an innovative approach to encouraging people to be more physically active. IHI Pavol Bielik, Michal Tomlein, Peter Krátky, Stefan Mitrík, Michal Barla, Mária Bieliková