Luca Laurenti
18 papers · 2019–2026 · 9 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (33) π Academic Marathon Β· Sprint π Conference Polyglot Β· Silver π Interdisciplinary Bridge Β· Gold π Keyword Champion (4)
π
Century Club Β· Bronze
ποΈ
Keyword Collector
(90)
π₯
Unstoppable Β· Bronze
π
Conference Pioneer
π
Renaissance Researcher
(6)
π
Trend Setter
Top co-authors
Research topics
Machine Learning
(14)
Artificial Intelligence
(13)
Optimization & Theory
(12)
Core AI
(11)
Learning Types
(6)
Bayesian & Probabilistic Β· Artificial Intelligence
(5)
Deep Learning
(4)
Mathematics & Optimization
(4)
Bayesian & Probabilistic Β· Machine Learning
(4)
Knowledge & Reasoning
(3)
Robotics
(3)
Optimization
(3)
Reasoning
(3)
Systems
(3)
Reinforcement Learning
(2)
Keywords
bayesian neural network
(6)
adversarial robustness
(6)
safety certification
(4)
gaussian process
(3)
uncertainty quantification
(3)
bayesian inference
(2)
branch and bound
(2)
neural network
(2)
error bound
(2)
posterior robustness
(2)
stochastic system
(2)
bound propagation
(2)
adversarial example
(2)
posterior distribution
(1)
markov decision process
(1)
model uncertainty
(1)
text classification
(1)
deep kernel learning
(1)
value iteration
(1)
adversarial training
(1)
Papers
Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection
JMLR 2026
Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
L4DC 2026
Error Bounds for Gaussian Process Regression Under Bounded Support Noise with Applications to Safety Certification
AAAI 2025
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
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
Individual Fairness Guarantees for Neural Networks
IJCAI 2022
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
NeurIPS 2022
Bayesian Inference with Certifiable Adversarial Robustness
AISTATS 2021
Certification of iterative predictions in Bayesian neural networks
UAI 2021
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
Robustness of Bayesian Neural Networks to Gradient-Based Attacks
NeurIPS 2020
Robustness Guarantees for Bayesian Inference with Gaussian Processes
AAAI 2019
Statistical Guarantees for the Robustness of Bayesian Neural Networks
IJCAI 2019