Learning Symbolic Expressions: Mixed-Integer Formulations, Cuts, and Heuristics - BizPub.ai