Scholar

Yue Chen Li

Google Scholar ID: k_fF0LcAAAAJ

Massachusetts Institute of Technology

Google Scholar↗

Citations & Impact

All-time

Citations

3

H-index

1

i10-index

0

Publications

2

Co-authors

0

Contact

No contact links provided.

Publications

1 items

Dafny as Verification-Aware Intermediate Language for Code Generation

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)