Keerthan Kopparam Radhakrishna

According to our database1, Keerthan Kopparam Radhakrishna authored at least 2 papers in 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

Saarthi: The First AI Formal Verification Engineer.
CoRR, February, 2025


  Loading...