Saarthi: The First AI Formal Verification Engineer

Author(s):
Aman Kumar, Deepak Narayan Gadde, Keerthan Kopparam Radhakrishna, Djones Lettnin