Xing, H.; Salleb-Aouissi, A.; Verma, N. Automated Symbolic Law Discovery: A Computer Vision Approach. AAAI 2021, 35, 660-668.