LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints.

Weidi Xu, Jingwei Wang, Lele Xie, Jianshan He, Hongting Zhou, Taifeng Wang, Xiaopei Wan, Jingdong Chen, Chao Qu, Wei Chu

Browse the full ICLR paper archive.