@misc{indiciae19239365c416,
  title = {Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification},
  author = {Vaisakh Naduvodi Viswambharan and Keerthan Kopparam Radhakrishna and Deepak Narayan Gadde and Aman Kumar},
  year = {2026},
  doi = {10.1109/icicdt69693.2026.11669279},
  url = {https://arxiv.org/abs/2605.06434},
  note = {Source identifier: 2605.06434}
}