TY  - RPRT
TI  - Learning Symbolic Expressions: Mixed-Integer Formulations, Cuts, and Heuristics
AU  - Jongeun Kim
AU  - Sven Leyffer
AU  - Prasanna Balaprakash
PY  - 2021
UR  - https://arxiv.org/abs/2102.08351
ID  - 2102.08351
ER  -