TY  - RPRT
TI  - Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers
AU  - Varun Bharti
AU  - Shashwat Jha
AU  - Dhruv Kumar
AU  - Pankaj Jalote
PY  - 2025
UR  - https://arxiv.org/abs/2508.00419
ID  - 2508.00419
ER  -