Luca Laurenti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
10
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Error Bounds for Gaussian Process Regression Under Bounded Support Noise with Applications to Safety Certification. | Robert Reed, Luca Laurenti, Morteza Lahijanian |
| 2025 | UAI | Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs. | Chun-Wei Kong, Luca Laurenti, Jay W. McMahon, Morteza Lahijanian |
| 2024 | FM | Adversarial Robustness Certification for Bayesian Neural Networks. | Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska |
| 2023 | ICML | BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. | Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti |
| 2022 | IJCAI | Individual Fairness Guarantees for Neural Networks. | Elias Benussi, Andrea Patan, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska |
| 2021 | AISTATS | Bayesian Inference with Certifiable Adversarial Robustness. | Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang, Marta Kwiatkowska |
| 2021 | UAI | Certification of iterative predictions in Bayesian neural networks. | Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska |
| 2020 | AISTATS | Adversarial Robustness Guarantees for Classification with Gaussian Processes. | Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts |
| 2020 | EMNLP | Assessing Robustness of Text Classification through Maximal Safe Radius Computation. | Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska |
| 2020 | ICRA | Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. | Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska |
| 2020 | UAI | Probabilistic Safety for Bayesian Neural Networks. | Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska |
| 2019 | AAAI | Robustness Guarantees for Bayesian Inference with Gaussian Processes. | Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane |
| 2019 | IJCAI | Statistical Guarantees for the Robustness of Bayesian Neural Networks. | Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker |
| 2017 | CAV | Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. | Luca Cardelli, Milan Ceska, Martin Frnzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby |
| 2016 | DNA | Programming Discrete Distributions with Chemical Reaction Networks. | Luca Cardelli, Marta Kwiatkowska, Luca Laurenti |