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

Amit, Noga

  1. Models That Prove Their Own Correctness
    2024/05/24 by Noga Amit, Amit, Noga, Shafi Goldwasser +6 · 2 voices
    Computer Science · #cs.LG #cs.CC #cs.SE