Li, Weng, Tong, 2022. CoNSoLe: Convex Neural Symbolic Learning.