David J. Lee
![david.jpeg](./images/david.jpeg)
I'm a graduate student in CS at Cornell specializing in machine learning and programming languages. I will be graduating in August 2024.
I am actively looking for industry roles. If you know of an open position that would be a good fit, send me a message!
At Cornell, I worked with Kevin Ellis on systems that integrate machine learning with symbolic reasoning. In particular, my recent work focused on generating novel and diverse training datasets for code generation models, using ideas from novelty search. I also worked on synthesizing graphical programs for ARC-AGI, a challenging AI benchmark.
As an undergrad at Williams, I worked on adaptive quotient filters, concurrent program analysis, and knot theory. My thesis was advised by Shikha Singh and Sam McCauley.
!["Some L-systems found by novelty search"](./images/lsys.png)