@misc{indiciae347acd75cbe4,
  title = {Verde: Verification via Refereed Delegation for Machine Learning Programs},
  author = {Arasu Arun and Adam St. Arnaud and Alexey Titov and Brian Wilcox and Viktor Kolobaric and Marc Brinkmann and Oguzhan Ersoy and Ben Fielding and Joseph Bonneau},
  year = {2025},
  url = {https://arxiv.org/abs/2502.19405},
  note = {Source identifier: 2502.19405}
}