LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints - Xu, Weidi; Wang, Jingwei; Xie, Lele; He, Jianshan; Zhou, Hongting; Wang, Taifeng; Wan, Xiaopei; Chen, Jingdong; Qu, Chao; Chu, Wei (International Conference on Learning Representations, 2024)