Picture for Keerthan Kopparam Radhakrishna

Keerthan Kopparam Radhakrishna

Saarthi: The First AI Formal Verification Engineer

Add code
Feb 23, 2025
Viaarxiv icon