@article{xia2023data,
  title={Data-Driven Template-Free Invariant Generation},
  author={Xia, Yuan and Deshmukh, Jyotirmoy V and Raghothaman, Mukund and Ravi, Srivatsan},
  journal={arXiv preprint arXiv:2312.17527},
  year={2023}
}