For some, doing math in school was the worst punishment they could think of. For others, it was like snapping their fingers.

Frustrated by the AI industry’s claims of proving math results without offering transparency, a team of leading academics has ...

Abstract: In this paper, we introduce a novel framework for simultaneously learning and verifying certificates for uncertain nonlinear control affine systems, utilizing robust control Lyapunov barrier ...

Abstract: While many approaches were developed for obtaining worst-case complexity bounds for first-order optimization methods in the last years, there remain theoretical gaps in cases where no such ...