Marta Kwiatkowska
33 papers · 2018–2025 · 10 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+12 more ↓ Show less ↑
π£ Hot Topic Early Bird π Conference Polyglot (10) π Interdisciplinary Bridge π§ Keyword Pioneer π Academic Marathon (7)
πΊοΈ
Taxonomy Completionist
(47)
π
Interdisciplinary Bridge
π
Conference Polyglot
(10)
π§¬
Topic Evolution
π
Keyword Champion
(2)
ποΈ
Keyword Collector
(147)
β‘
Prolific Year
(9)
π
Conference Pioneer
π
Century Club
(33)
π₯
Unstoppable
(8)
π
Trend Setter
β
The Questioner
Conferences
IJCAI (12)
ICML (4)
AISTATS (3)
JMLR (3)
UAI (3)
AAAI (2)
CVPR (2)
NIPS (2)
EMNLP (1)
L4DC (1)
Top co-authors
Keywords
adversarial robustness
(9)
bayesian neural network
(4)
uncertainty quantification
(4)
adversarial example
(4)
adversarial attack
(3)
probabilistic circuit
(3)
causal inference
(3)
adversarial learning
(3)
robust learning
(3)
neural network
(3)
sample complexity
(3)
game theory
(3)
stochastic game
(3)
neural network verification
(3)
adversarial perturbation
(2)
gaussian process
(2)
markov decision process
(2)
branch and bound
(2)
pac learning
(2)
robust classification
(2)
Papers
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
JMLR 2025
Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
IJCAI 2025
Learning Decision Policies with Instrumental Variables through Double Machine Learning
ICML 2024
HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms
L4DC 2024
The Trembling-Hand Problem for LTLf Planning
IJCAI 2024
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees
IJCAI 2023
Compositional Probabilistic and Causal Inference using Tractable Circuit Models
AISTATS 2023
Adversarial Robustness Guarantees for Gaussian Processes
JMLR 2022
Individual Fairness Guarantees for Neural Networks
IJCAI 2022
Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits
IJCAI 2022
Learning Dynamics and Generalization in Deep Reinforcement Learning
ICML 2022
Tractable Uncertainty for Structure Learning
ICML 2022
Finite-horizon equilibria for neuro-symbolic concurrent stochastic games
UAI 2022
Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks
IJCAI 2022
The King Is Naked: On the Notion of Robustness for Natural Language Processing
AAAI 2022
When are Local Queries Useful for Robust Learning?
NIPS 2022
Certification of iterative predictions in Bayesian neural networks
UAI 2021
On the Hardness of Robust Classification
JMLR 2021
Bayesian Inference with Certifiable Adversarial Robustness
AISTATS 2021
On Guaranteed Optimal Robust Explanations for NLP Models
IJCAI 2021
Provable Guarantees on the Robustness of Decision Rules to Causal Interventions
IJCAI 2021
Adversarial Robustness Guarantees for Classification with Gaussian Processes
AISTATS 2020
Invariant Causal Prediction for Block MDPs
ICML 2020
Assessing Robustness of Text Classification through Maximal Safe Radius Computation
EMNLP 2020
Robustness Guarantees for Deep Neural Networks on Videos
CVPR 2020
Probabilistic Safety for Bayesian Neural Networks
UAI 2020
Statistical Guarantees for the Robustness of Bayesian Neural Networks
IJCAI 2019
Robustness Guarantees for Bayesian Inference with Gaussian Processes
AAAI 2019
Robustness of 3D Deep Learning in an Adversarial Setting
CVPR 2019
Probabilistic Strategy Logic
IJCAI 2019
On the Hardness of Robust Classification
NIPS 2019
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance
IJCAI 2019
Reachability Analysis of Deep Neural Networks with Provable Guarantees
IJCAI 2018