Vaisakh Naduvodi Viswambharan

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Eval Frameworks & Benchmarks (1)Tool Use & Agents (1)

Frequent co-authors

Aman Kumar (1)Deepak Narayan Gadde (1)Keerthan Kopparam Radhakrishna (1)Sivaram Pothireddypalli (1)

Papers (1)

Mar 3, 2026

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

Vaisakh Naduvodi Viswambharan

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)