Training Binary Neural Networks via Gaussian Variational Inference and Low-Rank Semidefinite Programming - Orecchia, Lorenzo; Hu, Jiawei; He, Xue; Wang, Zhe; Yang, Xulei; Wu, Min; Geng, Xue (Advances in Neural Information Processing Systems, 2024)