Weihua Xiao

Postdoc, Tandon School, New York University

Joined

March 2025

Names

Weihua Xiao (Preferred)

Emails

****@nyu.edu (Confirmed)

Personal Links

Career & Education History

Postdoc

Tandon School, New York University (nyu.edu)

2024 – 2026

Advisors, Relations & Conflicts

Postdoc Advisor

2024 – 2026

Postdoc Advisor

2024 – 2026

Expertise

LLM For EDA

2024 – 2026

Logic Synthesis

2019 – 2024

Publications

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
Patrick Yubeaton, Andre Nakkab, Weihua Xiao, Luca Collini, Ramesh Karri, Chinmay Hegde, Siddharth Garg
- NeurIPS 2025 Datasets and Benchmarks Track poster
- Readers: Everyone

Co-Authors