Understanding Neural Network Binarization with Forward and Backward Proximal Quantizers - Lu, Yiwei; Yu, Yaoliang; Li, Xinlin; Partovi Nia, Vahid (Advances in Neural Information Processing Systems, 2023)