@misc{indiciae8fb61d14a201,
  title = {ML + FV = \$\textbackslash{}heartsuit\$? A Survey on the Application of Machine Learning to Formal Verification},
  author = {Moussa Amrani and Levi Lúcio and Adrien Bibal},
  year = {2018},
  url = {https://arxiv.org/abs/1806.03600},
  note = {Source identifier: 1806.03600}
}