Weihua Xiao

1. VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
   2025/05/16 by Patrick Yubeaton, Andre Nakkab, Yubeaton, Patrick +11 · 5 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
2. CoEvoP&R: Co-Evolving Placement Objectives with Routing Feedback via Large Language Models
   2026/07/19 by Ruogu Chen, Weihua Xiao, Ramesh Karri +1
   #cs.LG #cs.AI #cs.NE