3 papers
math-ph2026
Continuous and Differentiable Neural Network Representations of the Surfzone Sea-Surface from Lidar Point Clouds
David R. Culver, Matthias Morzfeld, Falk Feddersen
Ocean waves are often analyzed via sea-surface observations. Multi-beam scanning lidar enables two-dimensional measurements of the water surface via sequenced point clouds…
cs.LG2026
Certification-Enhanced Generalization Bounds
Leo Elmecker-Plakolm, Matthew Wicker
We investigate the use of formal methods to provide tight and sound generalization bounds for learning algorithms. By casting the traditional notion of algorithmic stability as a s…
cs.LG2025
Provably Safe Model Updates
Leo Elmecker-Plakolm, Pierre Fasterling, Philip Sosnin +2
Safety-critical environments are inherently dynamic. Distribution shifts, emerging vulnerabilities, and evolving requirements demand continuous updates to machine learning models.…