Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective - Zhang, Bohang; Jiang, Du; He, Di; Wang, Liwei (Advances in Neural Information Processing Systems, 2022)