Showing cs.LGShow all
2 papers · 1 filter
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.…