Yue Li
Research Resident at Transluce
San Francisco, California, United States
Summary
👤
Senior🎓
Top SchoolYue Li is a software engineer based in San Francisco with eight years of experience at the intersection of AI, systems, and programming languages. They’ve worked across applied ML and verification—from building LLM-assisted code generation at AWS and developing AI revenue engines at Netic to verified hardware and compiler research at MIT CSAIL. Yue blends rigorous formal methods (Coq-based model checking and verified compilers) with practical ML and systems engineering, having implemented production-facing Rust services and large-scale data pipelines. Their background includes hands-on molecular ML and audio modeling research, teaching and tutoring roles, and an ability to translate academic proof techniques into reliable production systems. An under-the-radar strength is shipping end-to-end solutions that bridge low-level verification and high-level ML workflows, making them especially effective at building trustworthy, high-performance AI infrastructure.
9 years of coding experience
3 years of employment as a software developer
Bachelor of Science - BS Mathematics, Bachelor of Science - BS Mathematics at Massachusetts Institute of TechnologyNUS High School Diploma (High Distinction) Honours in Mathematics, NUS High School Diploma (High Distinction) Honours in Mathematics at NUS High School of Mathematics & ScienceNon-Graduating Programme, Non-Graduating Programme at National University of Singapore
Chinese, English, German
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (16)
golang8
kitty8
python8
opengl8
vt1008
text-files7
terminfo7
lego-mindstorms-ev37
go7
verification6
gpu6
dafny5
programming-language4
youtube3
code-behind2
Programming languages (8)
Github contributions (5)
l-yc/deal
Jan 2019 - Sep 2020
Text-based slide creator/viewer using the pug preprocessor
Contributions:2 PRs, 30 pushes, 3 branches in 1 year 9 months
slidepugcreatorpreprocessorviewer
l-yc/dotfiles
Nov 2021 - Jul 2026
Contributions:16 pushes, 2 branches in 4 years 8 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.