@misc{indiciaed34f5b9cc079,
  title = {Data-Driven Template-Free Invariant Generation},
  author = {Yuan Xia and Jyotirmoy V. Deshmukh and Mukund Raghothaman and Srivatsan Ravi},
  year = {2023},
  url = {https://arxiv.org/abs/2312.17527},
  note = {Source identifier: 2312.17527}
}