Associate Professor, New York University
2 papers at NeurIPS 2025
We introduce evaluations that reveal limitations in how diffusion models erase concepts.
We present VeriThoughts, a dataset for reasoning-based Verilog Code generation; we also present a new benchmark based on formal verification, and a suite of small-scale models specialized for Verilog generation.
