Garg, Siddharth
23 publications
NeurIPS
2025
VeriThoughts: Enabling Automated Verilog Code Generation Using Reasoning and Formal Verification
NeurIPS
2024
NYU CTF Bench: A Scalable Open-Source Benchmark Dataset for Evaluating LLMs in Offensive Security
NeurIPS
2023
Exploiting Connections Between Lipschitz Structures for Certifiably Robust Deep Equilibrium Models