A Surrogate Objective Framework for Prediction+Programming with Soft Constraints - Yan, Kai; Yan, Jie; Luo, Chuan; Chen, Liting; Lin, Qingwei; Zhang, Dongmei (Advances in Neural Information Processing Systems, 2021)