Discovering Symbolic Models from Deep Learning with Inductive Biases Miles Cranmer 1 Alvaro Sanchez-Gonzalez