96 citations · 99 across the 11 of their papers we have counts for
1 paper · 1 filter
Yizhak Yisrael Elboher, Omri Isac, Guy Katz +2
Modern verification tools for deep neural networks (DNNs) increasingly rely on abstraction to scale to realistic architectures. In parallel, proof production is becoming a critical…