Ramesh Karri
- Papers
- 5
Cite
Notes
Only stored in your browser.
5papers
Authored papers
5VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
arXiv 2025
CRAKEN: Cybersecurity LLM Agent with Knowledge-Based Execution
arXiv 2025
EnIGMA: Enhanced Interactive Generative Model Agent for CTF Challenges
arXiv 2024
NYU CTF Bench: A Scalable Open-Source Benchmark Dataset for Evaluating LLMs in Offensive Security
arXiv 2024
Benchmarking Large Language Models for Automated Verilog RTL Code Generation
arXiv 2022
Affiliations
No known affiliations.
Frequent co-authors
10from 5 papers
Brendan Dolan-Gavitt
Farshad Khorrami
Haoran Xi
Kimberly Milner
Meet Udeshi
Minghao Shao
Muhammad Shafique
Prashanth Krishnamurthy
Siddharth Garg
Sofija Jancheska