Summary
This NSF CAREER project aims to design algorithms and computational tools which rigorously verify the performance of Machine Learning (ML) models built for use in electric power systems. The project will bring transformative change by giving power system engineers the next-generational computational tools they will need to guarantee that ML models cannot have disastrous impacts on the grid. This will be achieved by fusing recent advances from the fields of ML verification and power system optimization, thus capturing the organic connection between the scalable verification approaches emerging
