Yazar
Tomer Arnon
1 cilt bulundu.
Cilt sonuçları
Algorithms for Verifying Deep Neural Networks
Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett · Now Publishers
Sayfa sayısı yok · 2021
Mathematics
Yükleniyor
Yükleniyor
Yazar
1 cilt bulundu.
Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett · Now Publishers
Sayfa sayısı yok · 2021
Mathematics