Neuro-symbolic Learning Yielding Logical Constraints - Li, Zenan; Huang, Yunpeng; Li, Zhaoyu; Yao, Yuan; Xu, Jingwei; Chen, Taolue; Ma, Xiaoxing; Lu, Jian (Advances in Neural Information Processing Systems, 2023)