State Key Lab of Novel Software Technology, Nanjing University, China; Department of Computer Science, University of Toronto, Canada; School of Computing and Mathematical Sciences, Birkbeck, University of London, UK
Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu
Neuro-symbolic learning;logical constraint learning;symbol grounding;difference-of-convex relaxation
Neuro-symbolic Learning Yielding Logical Constraints