Deepak Narayan Gadde

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (2)Tool Use & Agents (2)Natural Language Processing (1)Eval Frameworks & Benchmarks (1)

Frequent co-authors

Sivaram Pothireddypalli (2)Aman Kumar (2)Ashish Raman (1)Vaisakh Naduvodi Viswambharan (1)

Papers (2)

Mar 3, 2026

Sivaram Pothireddypalli +31w ago

Agentic AI-based Coverage Closure for Formal Verification

LLMs can now autonomously identify and patch coverage holes in formal verification, potentially revolutionizing IC development workflows.

Sivaram Pothireddypalli, Ashish Raman, Deepak Narayan Gadde +1

Code Generation & Program Synthesis Natural Language Processing Tool Use & Agents

Aman Kumar +41w ago

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

Saarthi's new rulebook and GraphRAG integration boost formal verification accuracy by 70% and cut iteration counts in half, hinting at a path to domain-specific AGI.

Aman Kumar, Deepak Narayan Gadde, Vaisakh Naduvodi Viswambharan +2

Code Generation & Program Synthesis Eval Frameworks & Benchmarks Tool Use & Agents

Search

Deepak Narayan Gadde

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (2)