@misc{indiciaef913d2f6d40d,
  title = {GPU-Accelerated Verification of Machine Learning Models for Power Systems},
  author = {Samuel Chevalier and Ilgiz Murzakhanov and Spyros Chatzivasileiadis},
  year = {2023},
  url = {https://arxiv.org/abs/2306.10617},
  note = {Source identifier: 2306.10617}
}