@misc{indiciae23800a545281,
  title = {ClassInvGen: Class Invariant Synthesis using Large Language Models},
  author = {Chuyue Sun and Viraj Agashe and Saikat Chakraborty and Jubi Taneja and Clark Barrett and David Dill and Xiaokang Qiu and Shuvendu K. Lahiri},
  year = {2025},
  url = {https://arxiv.org/abs/2502.18917},
  note = {Source identifier: 2502.18917}
}