%0 Journal Article %1 journals/corr/abs-2011-02948 %A Amir, Guy %A Wu, Haoze %A Barrett, Clark W. %A Katz, Guy %D 2020 %J CoRR %K dblp %T An SMT-Based Approach for Verifying Binarized Neural Networks. %U http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-02948 %V abs/2011.02948

@article{journals/corr/abs-2011-02948, added-at = {2020-11-09T00:00:00.000+0100}, author = {Amir, Guy and Wu, Haoze and Barrett, Clark W. and Katz, Guy}, biburl = {https://www.bibsonomy.org/bibtex/2724d04541bcd9a8c68b645761bd4e76c/dblp}, ee = {https://arxiv.org/abs/2011.02948}, interhash = {ba836b76ffa800fb86079cae259ccbcb}, intrahash = {724d04541bcd9a8c68b645761bd4e76c}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-11-10T11:35:02.000+0100}, title = {An SMT-Based Approach for Verifying Binarized Neural Networks.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-02948}, volume = {abs/2011.02948}, year = 2020 }