CoNSoLe: Convex Neural Symbolic Learning - Li, Haoran; Weng, Yang; Tong, Hanghang (Advances in Neural Information Processing Systems, 2022)