Ramesh Karri

2

Papers

19

Total Citations

Papers (2)

Retrieval-Guided Reinforcement Learning for Boolean Circuit Minimization

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification

NeurIPS 2025arXiv