GPU-Accelerated Verification of Machine Learning Models for Power Systems

Samuel Chevalier, Ilgiz Murzakhanov, Spyros Chatzivasileiadis

Computational tools for rigorously verifying the performance of large-scale machine learning (ML) models have progressed significantly in recent years. The most successful solvers…