TY  - RPRT
TI  - Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification
AU  - Vaisakh Naduvodi Viswambharan
AU  - Keerthan Kopparam Radhakrishna
AU  - Deepak Narayan Gadde
AU  - Aman Kumar
PY  - 2026
DO  - 10.1109/icicdt69693.2026.11669279
UR  - https://arxiv.org/abs/2605.06434
ID  - 2605.06434
ER  -