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

Open Webpage

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

Published: 01 Jan 2024, Last Modified: 28 Sept 2024ICLR 2024EveryoneRevisionsBibTeXCC BY-SA 4.0