@inproceedings{xia2025predicate,
  title     = {LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants},
  author    = {Xia, Yuan and Pingle, Aabha and Sur, Deepayan and Deshmukh, Jyotirmoy V and Raghothaman, Mukund and Ravi, Srivatsan},
  booktitle = {Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing (SAC 2025)},
  year      = {2025}
}