Matthew Wicker

49 papers A* 10A 4Journal 33Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Towards Poisoning Robustness Certification for Natural Language Generation. CoRR Mihnea Ghitu, Matthew Wicker
2026	J	`jnl`	Variational Routing: A Scalable Bayesian Framework for Calibrated Mixture-of-Experts Transformers. CoRR Albus Yizhuo Li, Matthew Wicker
2025	J	`jnl`	Abstract Gradient Training: A Unified Certification Framework for Data Poisoning, Unlearning, and Differential Privacy. CoRR Philip Sosnin, Matthew Wicker, Josh Collyer, Calvin Tsay
2025	A	`conf`	Certifiably Quantisation-Robust training and inference of Neural Networks. AISTATS Hue Dang, Matthew Wicker, Goetz Botterweck, Andrea Patane
2025	A*	`conf`	Certification for Differentially Private Prediction in Gradient-Based Training. ICML Matthew Wicker, Philip Sosnin, Igor Shilov, Adrianna Janik, Mark Niklas Müller, Yves-Alexandre de Montjoye, Adrian Weller, Calvin Tsay
2025	J	`jnl`	Certified Robustness to Data Poisoning in Gradient-Based Training. Trans. Mach. Learn. Res. Philip Sosnin, Mark Niklas Müller, Maximilian Baader, Calvin Tsay, Matthew Wicker
2025	J	`jnl`	Model Guidance via Robust Feature Attribution. CoRR Mihnea Ghitu, Matthew Wicker, Vihari Piratla
2025	J	`jnl`	Model Guidance via Robust Feature Attribution. Trans. Mach. Learn. Res. Mihnea Ghitu, Vihari Piratla, Matthew Wicker
2025	J	`jnl`	On the Robustness of Bayesian Neural Networks to Adversarial Attacks. IEEE Trans. Neural Networks Learn. Syst. Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti, Matthew Wicker
2025	J	`jnl`	Provably Safe Model Updates. CoRR Leo Elmecker-Plakolm, Pierre Fasterling, Philip Sosnin, Calvin Tsay, Matthew Wicker
2024	—	`conf`	Adversarial Robustness Certification for Bayesian Neural Networks. FM (1) Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska
2024	J	`jnl`	Certificates of Differential Privacy and Unlearning for Gradient-Based Training. CoRR Matthew Wicker, Philip Sosnin, Adrianna Janik, Mark Niklas Müller, Adrian Weller, Calvin Tsay
2024	J	`jnl`	Certified Robustness to Data Poisoning in Gradient-Based Training. CoRR Philip Sosnin, Mark Niklas Müller, Maximilian Baader, Calvin Tsay, Matthew Wicker
2024	J	`jnl`	Probabilistic reach-avoid for Bayesian neural networks. Artif. Intell. Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2023	J	`jnl`	Adversarial Robustness Certification for Bayesian Neural Networks. CoRR Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska
2023	A*	`conf`	Certification of Distributional Individual Fairness. NeurIPS Matthew Wicker, Vihari Piratla, Adrian Weller
2023	J	`jnl`	Certification of Distributional Individual Fairness. CoRR Matthew Wicker, Vihari Piratla, Adrian Weller
2023	J	`jnl`	Individual Fairness in Bayesian Neural Networks. CoRR Alice Doherty, Matthew Wicker, Luca Laurenti, Andrea Patane
2023	J	`jnl`	Probabilistic Reach-Avoid for Bayesian Neural Networks. CoRR Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2023	A*	`conf`	Robust Explanation Constraints for Neural Networks. ICLR Matthew Wicker, Juyeon Heo, Luca Costabello, Adrian Weller
2023	J	`jnl`	Robust Learning from Explanations. CoRR Juyeon Heo, Vihari Piratla, Matthew Wicker, Adrian Weller
2023	A*	`conf`	Use perturbations when learning from explanations. NeurIPS Juyeon Heo, Vihari Piratla, Matthew Wicker, Adrian Weller
2022	J	`jnl`	Emergent Linguistic Structures in Neural Networks are Fragile. CoRR Emanuele La Malfa, Matthew Wicker, Marta Kiatkowska
2022	A*	`conf`	Individual Fairness Guarantees for Neural Networks. IJCAI Elias Benussi, Andrea Patanè, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska
2022	J	`jnl`	Individual Fairness Guarantees for Neural Networks. CoRR Elias Benussi, Andrea Patane, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska
2022	J	`jnl`	On the Robustness of Bayesian Neural Networks to Adversarial Attacks. CoRR Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti, Matthew Wicker
2022	J	`jnl`	Robust Explanation Constraints for Neural Networks. CoRR Matthew Wicker, Juyeon Heo, Luca Costabello, Adrian Weller
2022	A*	`conf`	Tractable Uncertainty for Structure Learning. ICML Benjie Wang, Matthew Wicker, Marta Kwiatkowska
2022	J	`jnl`	Tractable Uncertainty for Structure Learning. CoRR Benjie Wang, Matthew Wicker, Marta Kwiatkowska
2021	A	`conf`	Bayesian Inference with Certifiable Adversarial Robustness. AISTATS Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang, Marta Kwiatkowska
2021	J	`jnl`	Bayesian Inference with Certifiable Adversarial Robustness. CoRR Matthew Wicker, Luca Laurenti, Andrea Patane, Zhoutong Chen, Zheng Zhang, Marta Kwiatkowska
2021	J	`jnl`	Certification of Iterative Predictions in Bayesian Neural Networks. CoRR Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2021	A	`conf`	Certification of iterative predictions in Bayesian neural networks. UAI Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2020	J	`jnl`	A game-based approximate verification of deep neural networks with provable guarantees. Theor. Comput. Sci. Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska
2020	J	`jnl`	Gradient-Free Adversarial Attacks for Bayesian Neural Networks. CoRR Matthew Yuan, Matthew Wicker, Luca Laurenti
2020	A	`conf`	Probabilistic Safety for Bayesian Neural Networks. UAI Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska
2020	J	`jnl`	Probabilistic Safety for Bayesian Neural Networks. CoRR Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska
2020	A*	`conf`	Robustness of Bayesian Neural Networks to Gradient-Based Attacks. NeurIPS Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patané, Luca Bortolussi, Guido Sanguinetti
2020	J	`jnl`	Robustness of Bayesian Neural Networks to Gradient-Based Attacks. CoRR Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patane, Luca Bortolussi, Guido Sanguinetti
2020	A*	`conf`	Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. ICRA Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska
2019	A*	`conf`	Robustness of 3D Deep Learning in an Adversarial Setting. CVPR Matthew Wicker, Marta Kwiatkowska
2019	J	`jnl`	Robustness of 3D Deep Learning in an Adversarial Setting. CoRR Matthew Wicker, Marta Kwiatkowska
2019	A*	`conf`	Statistical Guarantees for the Robustness of Bayesian Neural Networks. IJCAI Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker
2019	J	`jnl`	Statistical Guarantees for the Robustness of Bayesian Neural Networks. CoRR Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker
2019	J	`jnl`	Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. CoRR Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska
2018	J	`jnl`	A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees. CoRR Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska
2018	J	`jnl`	Efficient Learning of Optimal Markov Network Topology with k-Tree Modeling. CoRR Liang Ding, Di Chang, Russell L. Malmberg, Aaron Martínez, David Robinson, Matthew Wicker, Hongfei Yan, Liming Cai
2018	—	`conf`	Feature-Guided Black-Box Safety Testing of Deep Neural Networks. TACAS (1) Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska
2017	J	`jnl`	Feature-Guided Black-Box Safety Testing of Deep Neural Networks. CoRR Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska