Mali, A., Ororbia, A. G., Kifer, D. and Giles, C. L. (2021) “Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units”, *Proceedings of the AAAI Conference on Artificial Intelligence*, 35(6), pp. 5006-5015. doi: 10.1609/aaai.v35i6.16634.