Scholar
Yue Chen Li
Google Scholar ID: k_fF0LcAAAAJ
Massachusetts Institute of Technology
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
3
H-index
1
i10-index
0
Publications
2
Co-authors
0
Publications
1 items
Dafny as Verification-Aware Intermediate Language for Code Generation
2025
Cited
0
