Keerthan Kopparam Radhakrishna

According to our database, Keerthan Kopparam Radhakrishna authored at least 4 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification.

Vaisakh Naduvodi Viswambharan, Keerthan Kopparam Radhakrishna, Deepak Narayan Gadde, Aman Kumar

CoRR, May, 2026

Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification.

Aman Kumar, Deepak Narayan Gadde, Luu Danh Minh, Vaisakh Naduvodi Viswambharan, Keerthan Kopparam Radhakrishna, Sivaram Pothireddypalli

CoRR, March, 2026

2025

Saarthi: The First AI Formal Verification Engineer.

Aman Kumar, Deepak Narayan Gadde, Keerthan Kopparam Radhakrishna, Djones Lettnin

CoRR, February, 2025

Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification.

Deepak Narayan Gadde, Keerthan Kopparam Radhakrishna, Vaisakh Naduvodi Viswambharan, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon

Proceedings of the 38th SBC/SBMicro/IEEE Symposium on Integrated Circuits and Systems Design, 2025