arxiv:2502.19405
Arasu Arun
arasuarun
AI & ML interests
None yet
Recent Activity
authored
a paper
about 2 months ago
Verde: Verification via Refereed Delegation for Machine Learning
Programs
Organizations
