Yujie Zhao

1. PRO-V-R1: Reasoning Enhanced Programming Agent for RTL Verification
   2025/06/13 by Yujie Zhao, Zhijing Wu, Zhao, Yujie +14 · 3 citations
   Computer Science · Engineering · #Advanced Control Systems Optimization #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Hardware Architecture (cs.AR) #Real-Time Systems Scheduling