Pavol Bielik
6 papers
· 2016–2021
· 3 conferences
· across top CS/AI conferences
Achievements
πΊοΈ
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
Adversarial Robustness for Code
ICML 2020
Learning to Solve SMT Formulas
NIPS 2018
PHOG: Probabilistic Model for Code
ICML 2016