Celestial Machine Learning - Discovering the Planarity, Heliocentricity, and Orbital Equation of Mars with AI Feynman. - Zi-Yu Khoo; Gokul Rajiv; Abel Yang; Jonathan Sze Choong Low; Stéphane Bressan (iiWAS, 2023)