TY  - RPRT
TI  - Saarthi: The First AI Formal Verification Engineer
AU  - Aman Kumar
AU  - Deepak Narayan Gadde
AU  - Keerthan Kopparam Radhakrishna
AU  - Djones Lettnin
PY  - 2025
UR  - https://arxiv.org/abs/2502.16662
ID  - 2502.16662
ER  -