Luca Laurenti
16 papers · 2019–2025 · 9 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
🏃 Academic Marathon (6) 🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (9) 🐝 Cross-Pollinator (14)
🏃
Academic Marathon
(6)
🧭
Keyword Pioneer
🏆
Keyword Champion
(3)
🗃️
Keyword Collector
(66)
💎
Century Club
(16)
🔥
Unstoppable
(7)
🚀
Conference Pioneer
Conferences
UAI (3)
AAAI (2)
AISTATS (2)
IJCAI (2)
L4DC (2)
NIPS (2)
EMNLP (1)
ICML (1)
JMLR (1)
Top co-authors
Keywords
bayesian neural network
(6)
adversarial robustness
(6)
uncertainty quantification
(3)
safety certification
(3)
branch and bound
(2)
gaussian process
(2)
neural network
(2)
bound propagation
(2)
adversarial example
(2)
posterior robustness
(2)
optimal control
(1)
posterior distribution
(1)
text classification
(1)
variational inference
(1)
markov decision process
(1)
model uncertainty
(1)
bayesian inference
(1)
posterior estimation
(1)
mahalanobis distance
(1)
gaussian process regression
(1)
Papers
Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs
UAI 2025
Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
L4DC 2025
Error Bounds for Gaussian Process Regression Under Bounded Support Noise with Applications to Safety Certification
AAAI 2025
Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances
L4DC 2024
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
ICML 2023
Adversarial Robustness Guarantees for Gaussian Processes
JMLR 2022
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
NIPS 2022
Individual Fairness Guarantees for Neural Networks
IJCAI 2022
Certification of iterative predictions in Bayesian neural networks
UAI 2021
Bayesian Inference with Certifiable Adversarial Robustness
AISTATS 2021
Robustness of Bayesian Neural Networks to Gradient-Based Attacks
NIPS 2020
Adversarial Robustness Guarantees for Classification with Gaussian Processes
AISTATS 2020
Assessing Robustness of Text Classification through Maximal Safe Radius Computation
EMNLP 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