TY  - RPRT
TI  - Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification
AU  - Aman Kumar
AU  - Deepak Narayan Gadde
AU  - Luu Danh Minh
AU  - Vaisakh Naduvodi Viswambharan
AU  - Keerthan Kopparam Radhakrishna
AU  - Sivaram Pothireddypalli
PY  - 2026
UR  - https://arxiv.org/abs/2603.03175
ID  - 2603.03175
ER  -