Pavol Bielik
6 papers · 2016–2021 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (16) 🐣 Hot Topic Early Bird
📈
Trend Setter
Venues
Top co-authors
Research topics
Artificial Intelligence
(5)
Machine Learning
(5)
Learning Types · Machine Learning
(4)
Core AI
(3)
Application Areas
(2)
Bayesian & Probabilistic
(2)
Core Methods
(2)
Computer Science
(1)
Data Science & Analytics
(1)
Deep Learning
(1)
Mathematics & Optimization
(1)
Foundations
(1)
Learning Types · Deep Learning
(1)
Methods
(1)
Optimization
(1)
Keywords
adversarial attack
(3)
program synthesis
(2)
symbolic reasoning
(1)
model robustness
(1)
code generation
(1)
policy learning
(1)
formal verification
(1)
monte carlo estimation
(1)
time series forecasting
(1)
generative model
(1)
probabilistic 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
NeurIPS 2021
Adversarial Attacks on Probabilistic Autoregressive Forecasting Models
ICML 2020
Adversarial Robustness for Code
ICML 2020
Guiding Program Synthesis by Learning to Generate Examples
ICLR 2020
Learning to Solve SMT Formulas
NeurIPS 2018
PHOG: Probabilistic Model for Code
ICML 2016