KR2ML: Knowledge Representation Meets Machine LearningVeronika ThostKartik Talamadupulaet al.2020NeurIPS 2020