- Joined
- Not public
- How they joined
- Directly
- Before Cognition
- TransluceResearch Resident
- Status
- Current
- States on personal site: "I am building Devin at Cognition and previously worked on oversight models for LLMs at Transluce."2026
- Current role is Research Resident at Transluce.
- At MIT researched distributed systems (PDOS group at CSAIL), perception (McDermott Lab) and formal verification (PLV group at CSAIL), per personal site links.2026
- Past employers listed on personal site: Netic, Jane Street, Amazon Science's Automated Reasoning Group, Genesis Therapeutics, and Gomu (Coinbase Ventures-backed startup).2026
- The paper proposes guiding an LLM to first generate an opaque intermediate representation in the verification-aware language Dafny that can be automatically validated against agreed-on specifications, then compiling the correct Dafny program to the target language, with all user-system interactions via natural language and Dafny code never exposed.Jan 10, 2025
- Yue Chen Li has a contribution at POPL 2025 titled "Dafny as Verification-Aware Intermediate Language for Code Generation".2025
- Was Gomu's first intern (summer 2022) under co-founders Spencer Yang and Kenneth Tiong, building a solo MVP for indexing Solana NFTs while learning Rust from scratch.Aug 2022Last Friday, I came to the end of my internship at Gomu.co. Thanks so much to Spencer Yang and Kenneth Tiong for taking me on as Gomu’s first intern and entrusting me with creating an MVP for indexing NFTs on the Solana chain solo. There was never a dull moment in the past 3 months as I picked up Rust from scratch, worked with columnar and experimental databases for the first time, and worked on tackling the massive data volume and SDK changes every other week. I had a blast learning from and bouncing ideas off (and ping pong balls with) others as I worked on my own tasks and integrated them w
- Yue Chen Li competed for Singapore at IOI 2021, his first time at the IOI.2021
- Yue Chen Li was a member of Singapore's Second Team at IOI 2021.2021
- Yue Chen Li earned a Bronze medal (unofficial) at IOI 2021.2021
- Yue Chen Li's Singapore Second Team teammates at IOI 2021 were James Sng, Lim Rui Yuan, and Yaw Chur Zhe.2021
- Singapore's first team at IOI 2021 consisted of Ashley Aragorn Khoo, Shen Xing Yang, Tan Si Jie, and Tan Yi Kai.2021
Engineer #4 on the Agents & Platform team Backed 3x by Founders Fund & Greylock, building the AI revenue engine for essential service industries
- Developed LLM/heuristic-based refactor tools and improved domain-specific language to shrink config files by 20% - Engineered performance-oriented historical marketdata testbed creation and execution tools for strategy backtesting
Held office hours and assisted with designing problem sets for 6.S057 Verified Software Engineering
Parallel and Distributed Operating Systems
- MISTI Global Teaching Labs program that challenges students to bridge cultural and language barriers learn through teaching - Developed and taught lessons in Computer Science, Mathematics, and Chemistry to students of Graf-Friedrich-Schule Gymnasium
Designed rubrics and graded assignments for 18.404 Theory of Computation working with the teaching team
- Researched and developed automated reasoning-assisted LLM-based code generation systems with applied scientists - Reviewed and replicated state-of-the-art automated reasoning-assisted code generation literature and benchmarks
Excited to join the crew! Loving the energy in my first few weeks here –
Last Friday, I came to the end of my internship at Gomu.co. Thanks so much to Spencer Yang and Kenneth Tiong for taking me on as Gomu’s first intern and entrusting me with creating an MVP for indexing NFTs on the Solana chain solo. There was never a dull moment in the past 3 months as I picked up Rust from scratch, worked with columnar and experimental databases for the first time, and worked on tackling the massive data volume and SDK changes every other week. I had a blast learning from and bouncing ideas off (and ping pong balls with) others as I worked on my own tasks and integrated them w
Excited to join the crew! Loving the energy in my first few weeks here –
Thanks to everyone who has tried out Loci over the past month! We're excited to share some updates after taking into account your feedback: Once again, we're grateful for our strongest supporters along the way and all our users around the world. Please don't hesitate to reach out if you have any feedback, questions, or suggestions — Wern Jie L. and I would be happy to hear them out!
linkedin.com/posts/yue-chen-li_technology-collaboration-whiteboard-activity-6915607147640754176-vvRgnotedWern Jie L. and I are thrilled to share that we have won the Bronze Award under the Student Techblazer category of Techblazer Awards 2021 for our product Loci! Loci is a collaborative online whiteboard designed for fast, responsive real-time syncing and compatibility with all platforms via any modern browser. No sign-in is required to get started — everyone can get on board quickly and enjoy learning, working, and socialising together online through an intuitive interface. Stay tuned for our launch next month! Thank you to everyone who has supported us on this incredible journey!
linkedin.com/posts/yue-chen-li_sgtech-imda-techblazerawards2021-activity-6892765784280563712-F1dvnotedExcited to join the crew! Loving the energy in my first few weeks here –
