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

Julien Girard-Satabin

  1. Neural Network Verification is a Programming Language Challenge
    2025/01/10 by Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin +8 · 1 voice · 2 citations
    Computer Science · #cs.PL #cs.LG #cs.LO