Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu 0001, Taolue Chen, Xiaoxing Ma, Jian Lu 0001. Neuro-symbolic Learning Yielding Logical Constraints. In Alice Oh, Tristan Naumann, Amir Globerson, Kate Saenko, Moritz Hardt, Sergey Levine, editors, Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023. 2023. [doi]
Abstract is missing.