Verde: Verification via Refereed Delegation for Machine Learning Programs. - Arasu Arun; Adam St. Arnaud; Alexey Titov; Brian Wilcox; Viktor Kolobaric; Marc Brinkmann; Oguzhan Ersoy; Ben Fielding; Joseph Bonneau (CoRR, 2025)