@inproceedings{HK:AITP9,
  author    = {Holden E., K. and Korovin, K.},
  title     = {{SMAC} and {XGBoost} your Theorem Prover},
  booktitle = {4th Conference on Artificial Intelligence and Theorem Proving},
  year      = {2019},
  pages     = {93-96},
  editor    = {T. Hales and C. Kaliszyk and R. Kumar and S. Schulz and J. Urban},
  publisher = {AITP},
}