Learning Symbolic Expressions: Mixed-Integer Formulations, Cuts, and Heuristics | Read Paper on Bytez