Scholar
Yican Sun
Google Scholar ID: 7NTrKz4AAAAJ
Ph.D. Student, Peking University
Program Synthesis
Program Verification
Computational Complexity
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
381
H-index
9
i10-index
8
Publications
13
Co-authors
17
list available
Publications
4 items
On Reasoning-Centric LLM-based Automated Theorem Proving
2026
Cited
0
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
Co-authors
12 total
Yingfei Xiong
Associate Professor, Peking University
Amir Goharshady
Associate Professor, University of Oxford
Krishnendu Chatterjee
Professor, IST Austria
Hongfei Fu
Shanghai Jiao Tong University
Lu Zhang
Peking University
Qihao Zhu
Peking University
Zeyu Sun
Institute of Software, Chinese Academy of Sciences
Lili Mou
University of Alberta
