Pavol Bielik
6 papers · 2016–2021 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (14) π§ Keyword Pioneer π£ Hot Topic Early Bird π Conference Polyglot (3) π Academic Marathon (5)
π
Cross-Pollinator
(11)
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
π
Trend Setter
Conferences
ICML (3)
NIPS (2)
ICLR (1)
Top co-authors
Keywords
adversarial attack
(3)
probabilistic modeling
(1)
symbolic reasoning
(1)
model robustness
(1)
code generation
(1)
policy learning
(1)
program synthesis
(1)
formal verification
(1)
monte carlo estimation
(1)
time series forecasting
(1)
generative model
(1)
tree search
(1)
adversarial defense
(1)
adversarial perturbation
(1)
search space
(1)
smt solving
(1)
ensemble attack
(1)
context-free grammar
(1)
adaptive attack
(1)
neural code model
(1)
Papers
Automated Discovery of Adaptive Attacks on Adversarial Defenses
NIPS 2021
Guiding Program Synthesis by Learning to Generate Examples
ICLR 2020
Adversarial Robustness for Code
ICML 2020
Adversarial Attacks on Probabilistic Autoregressive Forecasting Models
ICML 2020
Learning to Solve SMT Formulas
NIPS 2018
PHOG: Probabilistic Model for Code
ICML 2016