SignProx: One-bit Proximal Algorithm for Nonconvex Stochastic Optimization | IEEE Conference Publication | IEEE Xplore