ML Anthology

Towards Efficient Verification of Quantized Neural Networks

Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett
AAAI 2024 pp. 21152-21160
doi:10.1609/AAAI.V38I19.30108 /aaai/2024/huang2024aaai-efficient/
AAAI Semantic Scholar

Cite

Text

Huang et al. "Towards Efficient Verification of Quantized Neural Networks." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I19.30108

Markdown

[Huang et al. "Towards Efficient Verification of Quantized Neural Networks." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/huang2024aaai-efficient/) doi:10.1609/AAAI.V38I19.30108

BibTeX

@inproceedings{huang2024aaai-efficient,
  title     = {{Towards Efficient Verification of Quantized Neural Networks}},
  author    = {Huang, Pei and Wu, Haoze and Yang, Yuting and Daukantas, Ieva and Wu, Min and Zhang, Yedi and Barrett, Clark W.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {21152-21160},
  doi       = {10.1609/AAAI.V38I19.30108},
  url       = {https://mlanthology.org/aaai/2024/huang2024aaai-efficient/}
}