Meta data
- BibTeX key
- conf/nips/JiaR20
- entry type
- inproceedings
- booktitle
- NeurIPS
- year
- 2020
- crossref
- conf/nips/2020
- ee
- https://proceedings.neurips.cc/paper/2020/hash/1385974ed5904a438616ff7bdb3f7439-Abstract.html
- url
- http://dblp.uni-trier.de/db/conf/nips/neurips2020.html#JiaR20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/nips/JiaR20
%A Jia, Kai
%A Rinard, Martin C.
%B NeurIPS
%D 2020
%E Larochelle, Hugo
%E Ranzato, Marc'Aurelio
%E Hadsell, Raia
%E Balcan, Maria-Florina
%E Lin, Hsuan-Tien
%K dblp
%T Efficient Exact Verification of Binarized Neural Networks.
%U http://dblp.uni-trier.de/db/conf/nips/neurips2020.html#JiaR20
@inproceedings{conf/nips/JiaR20,
added-at = {2022-04-29T00:00:00.000+0200},
author = {Jia, Kai and Rinard, Martin C.},
biburl = {https://www.bibsonomy.org/bibtex/2b3ae4fbe3e240d01413ddd53904c0307/dblp},
booktitle = {NeurIPS},
crossref = {conf/nips/2020},
editor = {Larochelle, Hugo and Ranzato, Marc'Aurelio and Hadsell, Raia and Balcan, Maria-Florina and Lin, Hsuan-Tien},
ee = {https://proceedings.neurips.cc/paper/2020/hash/1385974ed5904a438616ff7bdb3f7439-Abstract.html},
interhash = {890b43418cc752cc536c962db907e7ce},
intrahash = {b3ae4fbe3e240d01413ddd53904c0307},
keywords = {dblp},
timestamp = {2024-04-09T23:16:36.000+0200},
title = {Efficient Exact Verification of Binarized Neural Networks.},
url = {http://dblp.uni-trier.de/db/conf/nips/neurips2020.html#JiaR20},
year = 2020
}