Verde: Verification via Refereed Delegation for Machine Learning Programs
Paper
•
2502.19405
•
Published
•
2
Brian W
bjw999
AI & ML interests
None yet
Organizations
authored
a
paper
3 months ago