Video From 18w5208: Theory and Practice of Satisfiability Solving
Nina Narodytska, VMware Research
Tuesday, August 28, 2018 17:07 - 17:41
Formal Analysis of Deep Binarized Neural Networks

©2023 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.