Symbolic Techniques for Deep Learning: Challenges and Opportunities. - Belinda Fang; Elaine Yang; Fei Xie (CoRR, 2020)