@misc{indiciae471d574bcccb,
  title = {Saarthi: The First AI Formal Verification Engineer},
  author = {Aman Kumar and Deepak Narayan Gadde and Keerthan Kopparam Radhakrishna and Djones Lettnin},
  year = {2025},
  url = {https://arxiv.org/abs/2502.16662},
  note = {Source identifier: 2502.16662}
}