Yican Sun
Scholar

Yican Sun

Google Scholar ID: 7NTrKz4AAAAJ
Ph.D. Student, Peking University
Program SynthesisProgram VerificationComputational Complexity
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
381
 
H-index
9
 
i10-index
8
 
Publications
13
 
Co-authors
17
list available
Contact
No contact links provided.
Publications
3 items
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
2025
Cited
0
Proof Strategy Extraction from LLMs for Enhancing Symbolic Provers
2025
Cited
0
GramTrans: A Better Code Representation Approach in Code Generation
2025
Cited
0
Resume (English only)
Co-authors
17 total
Yingfei Xiong
Yingfei Xiong
Associate Professor, Peking University
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Amir Goharshady
Amir Goharshady
Associate Professor, University of Oxford
Krishnendu Chatterjee
Krishnendu Chatterjee
Professor, IST Austria
Hongfei Fu
Hongfei Fu
Shanghai Jiao Tong University
Lu Zhang
Lu Zhang
Peking University
Qihao Zhu
Qihao Zhu
Peking University