Latticethe structure behind the noise

Papers Digest Topics Selected Labs Collections FAQ

Created by Flynn Lachendro

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Ashish Raman | Lattice

Ashish Raman

Papers on Lattice

1

Total citations

0

Topics

3

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Natural Language Processing (1)Tool Use & Agents (1)

Frequent co-authors

Sivaram Pothireddypalli (1)Deepak Narayan Gadde (1)Aman Kumar (1)

Papers (1)

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