Pavol Bielik

CTO, LatticeFlow

Joined

October 2016

Names

Pavol Bielik (Preferred)

Emails

****@inf.ethz.ch (Confirmed)

****@latticeflow.ai (Confirmed)

Personal Links

Homepage

Google Scholar

DBLP

Career & Education History

CTO

LatticeFlow (latticeflow.ai)

2020 – Present

PhD student

Department of Computer Science, Swiss Federal Institute of Technology (inf.ethz.ch)

2014 – 2020

Advisors, Relations & Conflicts

Coauthor

Veselin Raychev

2016 – Present

Coauthor

Martin Vechev

2016 – Present

Coauthor

Andreas Krause

2016 – Present

Expertise

No areas of expertise listed

Publications

Just Avoid Robust Inaccuracy: Boosting Robustness Without Sacrificing Accuracy
Yannick Merkli, Pavol Bielik, PETAR TSANKOV, Martin Vechev
- Published: 21 Nov 2022, Last Modified: 05 May 2023
- TSRML2022
- Readers: Everyone
Just Avoid Robust Inaccuracy: Boosting Robustness Without Sacrificing Accuracy
Yannick Merkli, Pavol Bielik, PETAR TSANKOV, Martin Vechev
- Published: 01 Feb 2023, Last Modified: 13 Feb 2023
- Submitted to ICLR 2023
- Readers: Everyone
Avoiding Robust Misclassifications for Improved Robustness without Accuracy Loss
Yannick Merkli, Pavol Bielik, PETAR TSANKOV, Martin Vechev
- Published: 28 Jan 2022, Last Modified: 13 Feb 2023
- ICLR 2022 Submitted
- Readers: Everyone
Automated Discovery of Adaptive Attacks on Adversarial Defenses
Chengyuan Yao, Pavol Bielik, PETAR TSANKOV, Martin Vechev
- Published: 09 Nov 2021, Last Modified: 26 May 2025
- NeurIPS 2021 Poster
- Readers: Everyone
Automated Discovery of Adaptive Attacks on Adversarial Defenses
Chengyuan Yao, Pavol Bielik, Petar Tsankov, Martin Vechev
- Published: 14 Jul 2021, Last Modified: 30 Dec 2025
- AutoML@ICML2021 Oral
- Readers: Everyone
Learning to Solve SMT Formulas
Mislav Balunovic, Pavol Bielik, Martin T. Vechev
- 2018 (modified: 11 Nov 2022)
- NeurIPS 2018
- Readers: Everyone
Robust relational layout synthesis from examples for Android
Pavol Bielik, Marc Fischer, Martin T. Vechev
- 2018 (modified: 23 Jan 2025)
- Proc. ACM Program. Lang. 2018
- Readers: Everyone
Learning a Static Analyzer from Data
Pavol Bielik, Veselin Raychev, Martin T. Vechev
- 2017 (modified: 23 Jan 2025)
- CAV (1) 2017
- Readers: Everyone
PHOG: Probabilistic Model for Code
Pavol Bielik, Veselin Raychev, Martin T. Vechev
- 2016 (modified: 11 Nov 2022)
- ICML 2016
- Readers: Everyone
Learning programs from noisy data
Veselin Raychev, Pavol Bielik, Martin T. Vechev, Andreas Krause
- 2016 (modified: 26 Jan 2025)
- POPL 2016
- Readers: Everyone

View all 14 publications

Pavol Bielik

Names

Emails

Personal Links

Career & Education History

Advisors, Relations & Conflicts

Expertise

Publications

Co-Authors