TY  - RPRT
TI  - LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
AU  - Weidi Xu
AU  - Jingwei Wang
AU  - Lele Xie
AU  - Jianshan He
AU  - Hongting Zhou
AU  - Taifeng Wang
AU  - Xiaopei Wan
AU  - Jingdong Chen
AU  - Chao Qu
AU  - Wei Chu
PY  - 2025
UR  - https://arxiv.org/abs/2309.15458
ID  - 2309.15458
ER  -