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