@misc{indiciae9ffea8353f83,
  title = {Verifying Tree Ensembles by Reasoning about Potential Instances},
  author = {Laurens Devos and Wannes Meert and Jesse Davis},
  year = {2021},
  doi = {10.1137/1.9781611976700.51},
  url = {https://arxiv.org/abs/2001.11905},
  note = {Source identifier: 2001.11905}
}