3 papers
stat.ML2026
Large Data Limits of Laplace Learning for Gaussian Measure Data in Infinite Dimensions
Zhengang Zhong, Yury Korolev, Matthew Thorpe
Laplace learning is a semi-supervised method, a solution for finding missing labels from a partially labeled dataset utilizing the geometry given by the unlabeled data points. The…
cs.AI2026
Kernel-Based Learning of Safety Barriers
Oliver Schön, Zhengang Zhong, Sadegh Soudjani
The rapid integration of AI algorithms in safety-critical applications such as autonomous driving and healthcare is raising significant concerns about the ability to meet stringent…
eess.SY2024
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
Oliver Schön, Zhengang Zhong, Sadegh Soudjani
Algorithmic verification of realistic systems to satisfy safety and other temporal requirements has suffered from poor scalability of the employed formal approaches. To design syst…