%0 Conference Paper %1 conf/aaai/LechnerZCHR23 %A Lechner, Mathias %A Zikelic, Dorde %A Chatterjee, Krishnendu %A Henzinger, Thomas A. %A Rus, Daniela %B AAAI %D 2023 %E Williams, Brian %E Chen, Yiling %E Neville, Jennifer %I AAAI Press %K dblp %P 14964-14973 %T Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2023.html#LechnerZCHR23 %@ 978-1-57735-880-0

@inproceedings{conf/aaai/LechnerZCHR23, added-at = {2023-09-04T00:00:00.000+0200}, author = {Lechner, Mathias and Zikelic, Dorde and Chatterjee, Krishnendu and Henzinger, Thomas A. and Rus, Daniela}, biburl = {https://www.bibsonomy.org/bibtex/2d03c9677517c052dca6fa76beff28533/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2023}, editor = {Williams, Brian and Chen, Yiling and Neville, Jennifer}, ee = {https://doi.org/10.1609/aaai.v37i12.26747}, interhash = {d7e4593d7ecbec483f7c9a14d1049432}, intrahash = {d03c9677517c052dca6fa76beff28533}, isbn = {978-1-57735-880-0}, keywords = {dblp}, pages = {14964-14973}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:07:47.000+0200}, title = {Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2023.html#LechnerZCHR23}, year = 2023 }