TY  - RPRT
TI  - Verde: Verification via Refereed Delegation for Machine Learning Programs
AU  - Arasu Arun
AU  - Adam St. Arnaud
AU  - Alexey Titov
AU  - Brian Wilcox
AU  - Viktor Kolobaric
AU  - Marc Brinkmann
AU  - Oguzhan Ersoy
AU  - Ben Fielding
AU  - Joseph Bonneau
PY  - 2025
UR  - https://arxiv.org/abs/2502.19405
ID  - 2502.19405
ER  -