Hey, I’m Yue Chen1 / YC. I build more reliable, capable agents at Netic and recently graduated with a degree in Math & CS/CogSci from MIT, where I researched distributed systems, perception, and formal verification.
I’m interested in artificial intelligence, systems, and programming languages, especially in building trustworthy agents that hold up in messy, real-world conditions.
Previously, I worked at Jane Street, Amazon Science’s Automated Reasoning Group, Genesis Therapeutics, and Gomu. I’ve published research on verified code generation with LLMs and improving parallel SAT solvers, worked on molecular dynamics systems and GNN architectures, and built a collaborative online whiteboard, Loci. I was a medallist at the International Olympiad in Informatics in a past life on the sunny island of Singapore.
Nowadays, I also enjoy2 breaking, juggling3, and playing the drums. I like learning languages4, listening to copious amounts of music, reading, hiking, and traveling.
Man is condemned to be free — Jean-Paul Sartre
my first name has 2 words; I don’t have a middle name. ‘Yue’ is pronounced /ye/ but /juːˈeɪ/ gets you pretty close ↩︎
not really in any particular order, and not all at once (yet) ↩︎
I’m most comfortable with balls, but I’m working on clubs, knives, and diabolos ↩︎
speak to me in English, Chinese, and (will do my best) German! ↩︎