Verde: Verification via Refereed Delegation for Machine Learning Programs

Arasu Arun, Adam St. Arnaud, Alexey Titov +6

Machine learning programs, such as those performing inference, fine-tuning, and training of LLMs, are commonly delegated to untrusted compute providers. To provide correctness guar…