52 citations · 63 across the 4 of their papers we have counts for
1 paper · 2 filters
Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar +2
We develop the first (to the best of our knowledge) provably correct neural networks for a precise computational task, with the proof of correctness generated by an automated verif…