ML Anthology

Daukantas, Ieva

1 publications

AAAI 2024 Towards Efficient Verification of Quantized Neural Networks Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett