@misc{indiciae1ef18040635f,
  title = {Learning Symbolic Expressions: Mixed-Integer Formulations, Cuts, and Heuristics},
  author = {Jongeun Kim and Sven Leyffer and Prasanna Balaprakash},
  year = {2021},
  url = {https://arxiv.org/abs/2102.08351},
  note = {Source identifier: 2102.08351}
}