Training Binary Neural Networks via Gaussian Variational Inference and Low-Rank Semidefinite Programming. - Lorenzo Orecchia; Jiawei Hu; Xue He; Wang Mark; Xulei Yang; Min Wu 008; Xue Geng (NeurIPS, 2024)