arxiv:2502.19405
Alex
algs7
AI & ML interests
None yet
Recent Activity
authored
a paper
2 days ago
Verde: Verification via Refereed Delegation for Machine Learning
Programs
Organizations
None yet
Papers
1
models
0
None public yet
datasets
0
None public yet