There has been a great deal of recent interest in binarized neural networks, especially
because of their explainability. At the same time, automatic differentiation algorithms such as …