PPL
Qingyun Zou
Papers (3)
Is Agentic AI Ready for Real-World Hardware Engineering? A Deep Dive with Phoenix-benchHLS-Seek: QoR-Aware Code Generation for High-Level Synthesis via Proxy Comparative Reward Reinforcement LearningReward-Weighted On-Policy Distillation with an Open Property-Equivalence Verifier for NL-to-SVA Generation