APA (7th ed.) Citation

Arun, A., Arnaud, A. S., Titov, A., Wilcox, B., Kolobaric, V., Brinkmann, M., . . . Bonneau, J. (2025). Verde: Verification via Refereed Delegation for Machine Learning Programs.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Arun, Arasu, et al. Verde: Verification via Refereed Delegation for Machine Learning Programs. 2025.