Nina Narodytska, Video: Formal Analysis of Deep Binarized Neural Networks
Nina Narodytska, Video: Formal Analysis of Deep Binarized Neural Networks
Nina Narodytska, Formal Analysis of Deep Binarized Neural Networks, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video