TY  - RPRT
TI  - ClassInvGen: Class Invariant Synthesis using Large Language Models
AU  - Chuyue Sun
AU  - Viraj Agashe
AU  - Saikat Chakraborty
AU  - Jubi Taneja
AU  - Clark Barrett
AU  - David Dill
AU  - Xiaokang Qiu
AU  - Shuvendu K. Lahiri
PY  - 2025
UR  - https://arxiv.org/abs/2502.18917
ID  - 2502.18917
ER  -