Verde: Verification via Refereed Delegation for Machine Learning Programs
Paper
•
2502.19405
•
Published
•
8
Marc Brinkmann
marc-gensyn
AI & ML interests
None yet
Organizations
None yet
authored
a
paper
7 months ago