Scholar
Zhao Zhang
Google Scholar ID: mSMhpAkAAAAJ
PhD Student, Peking University
Software Engineering
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
7
H-index
2
i10-index
0
Publications
3
Co-authors
7
list available
Publications
1 items
Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
2026
Cited
0
Co-authors
7 total
Yingfei Xiong
Associate Professor, Peking University
Qingyuan Liang
Peking University
Zeyu Sun
Institute of Software, Chinese Academy of Sciences
Qi Luo
Ph.D. Student, HKUST(GZ)
Yizhou Chen
Peking University
Yican Sun
Ph.D. Student, Peking University
Ruyi Ji
University of Michigan
