@misc{indiciae07e3622f051c,
  title = {Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification},
  author = {Aman Kumar and Deepak Narayan Gadde and Luu Danh Minh and Vaisakh Naduvodi Viswambharan and Keerthan Kopparam Radhakrishna and Sivaram Pothireddypalli},
  year = {2026},
  url = {https://arxiv.org/abs/2603.03175},
  note = {Source identifier: 2603.03175}
}