@inproceedings{sun2025classinvgen,
    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},
    booktitle={The 8th International Symposium on AI Verification},
    series={Lecture Notes in Computer Science},
    volume={15947},
    pages={64--96},
    year={2025},
    publisher={Springer},
    doi={10.1007/978-3-031-99991-8_4},
    url={https://link.springer.com/chapter/10.1007/978-3-031-99991-8_4}
  }