Arnaud, Adam St.

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)