@inproceedings{xia2025fmcad,
  title     = {Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models},
  author    = {Xia, Yuan and Pingle, Aabha and Sur, Deepayan and Deshmukh, Jyotirmoy V. and Raghothaman, Mukund and Ravi, Srivatsan},
  booktitle = {Proceedings of the 25th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2025)},
  note      = {Accepted, to appear},
  year      = {2025}
}