Picture for Arasu Arun

Arasu Arun

Verde: Verification via Refereed Delegation for Machine Learning Programs

Add code
Feb 26, 2025
Viaarxiv icon