@inproceedings{ChoiSGDfomlas20,
  author    = {Arthur Choi and Andy Shih and Anchal Goyanka and Adnan Darwiche},
  title     = {On Symbolically Encoding the Behavior of Random Forests},
  booktitle = {3rd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS)}
  month     = {july},
  year      = {2020},
  url       = "https://cs.stanford.edu/~andyshih/assets/pdf/CSGDfomlas20.pdf",
  keywords  = {workshop}
}