vix.ing · top · new · best · stats · spec

Arun, Arasu

  1. Verde: Verification via Refereed Delegation for Machine Learning Programs
    2025/02/26 by Arun, Arasu, Arnaud, Adam St., Titov, Alexey +6 · 6 citations
    #FOS: Computer and information sciences #Machine Learning (cs.LG)