Arasu Arun

arasuarun's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored a paper 4 months ago

Verde: Verification via Refereed Delegation for Machine Learning Programs

Paper • 2502.19405 • Published Feb 26, 2025 • 8