BinaryRelax: A Relaxation Approach For Training Deep Neural Networks With Quantized Weights
Preprint
Abstract
We propose BinaryRelax, a simple two-phase algorithm, for training deep neural networks with quantized weights. The set constraint that characterizes the quantization of weights is not imposed until the late stage of training, and a sequence of \emph{pseudo} quantized weights is maintained. Specifically, we relax the hard constraint into a continuous regularizer via Moreau envelope, which turns out to be the squared Euclidean distance to the set of quantized weights. The pseudo quantized weights are obtained by linearly interpolating between the float weights and their quantizations. A continuation strategy is adopted to push the weights towards the quantized state by gradually increasing the regularization parameter. In the second phase, exact quantization scheme with a small learning rate is invoked to guarantee fully quantized weights. We test BinaryRelax on the benchmark CIFAR and ImageNet color image datasets to demonstrate the superiority of the relaxed quantization approach and the improved accuracy over the state-of-the-art training methods. Finally, we prove the convergence of BinaryRelax under an approximate orthogonality condition.Keywords
All Related Versions
This publication has 20 references indexed in Scilit:
- Convergence of Stochastic Proximal Gradient AlgorithmApplied Mathematics & Optimization, 2019
- Generalized Proximal Smoothing for Phase RetrievalMicroscopy and Microanalysis, 2019
- Deep relaxation: partial differential equations for optimizing deep neural networksResearch in the Mathematical Sciences, 2018
- Weighted-Entropy-Based Quantization for Deep Neural Networks2017
- Deep Learning with Low Precision by Half-Wave Gaussian Quantization2017
- XNOR-Net: ImageNet Classification Using Binary Convolutional Neural Networks2016
- Deep Residual Learning for Image Recognition2016
- Iteratively reweighted algorithms for compressive sensingInternational Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2008
- Robust uncertainty principles: exact signal reconstruction from highly incomplete frequency informationIEEE Transactions on Information Theory, 2006
- Least squares quantization in PCMIEEE Transactions on Information Theory, 1982