TY  - RPRT
TI  - Generative AI Augmented Induction-based Formal Verification
AU  - Aman Kumar
AU  - Deepak Narayan Gadde
PY  - 2024
DO  - 10.1109/socc62300.2024.10737803
UR  - https://arxiv.org/abs/2407.18965
ID  - 2407.18965
ER  -