This talk summarizes my recent research on learning-based, verifiable smart grids which collaboratively integrates machine learning, formal methods, and quantum computing to enable resilient power system operations with high levels of renewable energy penetration.