Ant Group; INFLY TECH (Shanghai) Co., Ltd; BioMap Research
Weidi Xu, Jingwei Wang, Lele Xie, Jianshan He, Hongting Zhou, Taifeng Wang, Xiaopei Wan, Jingdong Chen, Chao Qu, Wei Chu
Variational Inference
LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints