Guoqing Wang

PhD student, Computer Science, Peking University

Joined

May 2025

Names

Guoqing Wang (Preferred)

Emails

****@stu.pku.edu.cn (Confirmed)

Personal Links

Google Scholar

DBLP

Career & Education History

PhD student

Computer Science, Peking University (stu.pku.edu.cn)

2022 – 2027

Advisors, Relations & Conflicts

PhD Advisor

Dan Hao

2022 – 2027

Expertise

code-related task

2022 – 2025

Publications

From Cryptic to Clear-Training on LLM Explanations to Detect Smart Contract Vulnerabilities
Yizhou Chen, Zeyu Sun, Guoqing Wang, Qingyuan Liang, Xiao Yu, Dan Hao
- OpenReview Archive Direct Upload
- Readers: Everyone
Gpass: a Goal-adaptive Neural Theorem Prover based on Coq for Automated Formal Verification
Yizhou Chen, Zeyu Sun, Guoqing Wang, Dan Hao
- OpenReview Archive Direct Upload
- Readers: Everyone
Improving smart contract security with contrastive learning-based vulnerability detection
Yizhou Chen, Zeyu Sun, Guoqing Wang, Dan Hao
- OpenReview Archive Direct Upload
- Readers: Everyone
GramTrans: A Better Code Representation Approach in Code Generation
Zhao Zhang, Qingyuan Liang, Zeyu Sun, Yizhou Chen, Guoqing Wang, Yican Sun, Lu Zhang, Ge Li, Yingfei Xiong
- CoRR 2025
- Readers: Everyone
Directional Diffusion-Style Code Editing Pre-Training
Qingyuan Liang, Zeyu Sun, Qihao Zhu, Junhao Hu, Yifan Zhao, Yizhou Chen, Mingxuan Zhu, Guoqing Wang, Lu Zhang
- IEEE Trans. Software Eng. 2025
- Readers: Everyone
Prompt Alchemy: Automatic Prompt Refinement for Enhancing Code Generation
Sixiang Ye, Zeyu Sun, Guoqing Wang, Liwei Guo, Qingyuan Liang, Zheng Li, Yong Liu
- IEEE Trans. Software Eng. 2025
- Readers: Everyone
Automatically Learning a Precise Measurement for Fault Diagnosis Capability of Test Cases
Yifan Zhao, Zeyu Sun, Guoqing Wang, Qingyuan Liang, Yakun Zhang, Yiling Lou, Dan Hao, Lu Zhang
- ACM Trans. Softw. Eng. Methodol. 2025
- Readers: Everyone
Is It Hard to Generate Holistic Commit Message?
Guoqing Wang, Zeyu Sun, Jinhao Dong, Yuxia Zhang, Mingxuan Zhu, Qingyuan Liang, Dan Hao
- ACM Trans. Softw. Eng. Methodol. 2025
- Readers: Everyone
Gpass: A Goal-Adaptive Neural Theorem Prover Based on Coq for Automated Formal Verification
Yizhou Chen, Zeyu Sun, Guoqing Wang, Dan Hao
- ICSE 2025
- Readers: Everyone

View all 15 publications