Zhao Zhang
Scholar

Zhao Zhang

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