← Authors

Marta Kwiatkowska

33 papers · 2018–2025 · 10 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (12) 🌈 Renaissance Researcher (8) 🐣 Hot Topic Early Bird πŸƒ Academic Marathon (7) 🧭 Keyword Pioneer πŸ—ΊοΈ 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

Luca Laurenti (9) Andrea Patane (7) Benjie Wang (6) Matthew Wicker (6) Varun Kanade (4) James Worrell (4) Luca Cardelli (4) Pascale Gourdeau (4) Clare Lyle (3) Nicola Paoletti (3)

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