Deepak Narayan Gadde on Muck Rack

Deepak Narayan Gadde

As seen in: Medium
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile

Get in touch with Deepak Narayan

Contact Deepak Narayan, search articles and posts on X, monitor coverage, and track replies from one place.

Learn more about Muck Rack

Actions

Share this page

Is this you?

As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile

Articles

Computer Science > Artificial Intelligence

|
By Vaisakh Naduvodi, Deepak Narayan Gadde, Keerthan Kopparam Radhakrishna
| arxiv.org
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (680) Issue with article?

[2603.03147] Agentic AI-based Coverage Closure for Formal Verification

|
By Deepak Narayan, Deepak Narayan Gadde, Ashish Raman
| arxiv.org
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (642) Issue with article?

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic

|
By Vaisakh Naduvodi, Deepak Narayan, Deepak Narayan Gadde, Vaisakh Naduvodi Viswambharan
| arxiv.org
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (654) Issue with article?
See all 6 articles
 •  Privacy  •  Terms  •  Security and Legal  •   •   •   • 

© 2026 Muck Rack

SOC 2® Certified