Kwiatkowska, Marta

36 publications

ICLRW 2025 A Unifying Framework for Causal Imitation Learning with Hidden Confounders Daqian Shao, Thomas Kleine Buening, Marta Kwiatkowska

IJCAI 2025 Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Rajarshi Roy, Yash Pote, Dave Parker, Marta Kwiatkowska

NeurIPS 2025 MIBP-Cert: Certified Training Against Data Perturbations with Mixed-Integer Bilinear Programs Tobias Lorenz, Marta Kwiatkowska, Mario Fritz

JMLR 2025 PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks Xiyue Zhang, Benjie Wang, Marta Kwiatkowska, Huan Zhang

NeurIPS 2025 Strategyproof Reinforcement Learning from Human Feedback Thomas Kleine Buening, Jiarui Gan, Debmalya Mandal, Marta Kwiatkowska

ECML-PKDD 2024 Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks Matthias König, Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn

L4DC 2024 HSVI-Based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska

ICML 2024 Learning Decision Policies with Instrumental Variables Through Double Machine Learning Daqian Shao, Ashkan Soleymani, Francesco Quinzan, Marta Kwiatkowska

IJCAI 2024 The Trembling-Hand Problem for LTLf Planning Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi

AISTATS 2023 Compositional Probabilistic and Causal Inference Using Tractable Circuit Models Benjie Wang, Marta Kwiatkowska

IJCAI 2023 Sample Efficient Model-Free Reinforcement Learning from LTL Specifications with Optimality Guarantees Daqian Shao, Marta Kwiatkowska

JMLR 2022 Adversarial Robustness Guarantees for Gaussian Processes Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska

UAI 2022 Finite-Horizon Equilibria for Neuro-Symbolic Concurrent Stochastic Games Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska

IJCAI 2022 Individual Fairness Guarantees for Neural Networks Elias Benussi, Andrea Patanè, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska

ICML 2022 Learning Dynamics and Generalization in Deep Reinforcement Learning Clare Lyle, Mark Rowland, Will Dabney, Marta Kwiatkowska, Yarin Gal

IJCAI 2022 Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits Hjalmar Wijk, Benjie Wang, Marta Kwiatkowska

IJCAI 2022 Sample Complexity Bounds for Robustly Learning Decision Lists Against Evasion Attacks Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell

NeurIPSW 2022 Symbolic Causal Inference via Operations on Probabilistic Circuits Benjie Wang, Marta Kwiatkowska

AAAI 2022 The King Is Naked: On the Notion of Robustness for Natural Language Processing Emanuele La Malfa, Marta Kwiatkowska

ICML 2022 Tractable Uncertainty for Structure Learning Benjie Wang, Matthew R Wicker, Marta Kwiatkowska

NeurIPS 2022 When Are Local Queries Useful for Robust Learning? Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell

AISTATS 2021 Bayesian Inference with Certifiable Adversarial Robustness Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang, Marta Kwiatkowska

UAI 2021 Certification of Iterative Predictions in Bayesian Neural Networks Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska

IJCAI 2021 On Guaranteed Optimal Robust Explanations for NLP Models Emanuele La Malfa, Rhiannon Michelmore, Agnieszka M. Zbrzezny, Nicola Paoletti, Marta Kwiatkowska

JMLR 2021 On the Hardness of Robust Classification Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell

IJCAI 2021 Provable Guarantees on the Robustness of Decision Rules to Causal Interventions Benjie Wang, Clare Lyle, Marta Kwiatkowska

AISTATS 2020 Adversarial Robustness Guarantees for Classification with Gaussian Processes Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen Roberts

ICML 2020 Invariant Causal Prediction for Block MDPs Amy Zhang, Clare Lyle, Shagun Sodhani, Angelos Filos, Marta Kwiatkowska, Joelle Pineau, Yarin Gal, Doina Precup

UAI 2020 Probabilistic Safety for Bayesian Neural Networks Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska

IJCAI 2019 Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska

NeurIPS 2019 On the Hardness of Robust Classification Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell

IJCAI 2019 Probabilistic Strategy Logic Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin

AAAI 2019 Robustness Guarantees for Bayesian Inference with Gaussian Processes Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane

IJCAI 2019 Statistical Guarantees for the Robustness of Bayesian Neural Networks Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker

IJCAI 2018 Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska

AAAI 2016 Model Checking Probabilistic Knowledge: A PSPACE Case Xiaowei Huang, Marta Kwiatkowska