Verde: Verification via Refereed Delegation for Machine Learning Programs Paper • 2502.19405 • Published Feb 26 • 2