David J. Lee

david.jpeg

I am a second year computer science Ph.D. student at Cornell. I am fortunate to be advised by Kevin Ellis.

I am broadly interested in systems that integrate machine learning with symbolic reasoning. My recent work has focused on probabilistic program synthesis. In my current project, I am developing techniques for data-efficient neural program synthesis.

As an undergrad at Williams ('21), I worked on probabilistic data structures, concurrent program synthesis, and knot theory. My thesis was advised by Sam McCauley and Shikha Singh.

Publications

  • Telescoping Filter: A Practical Adaptive Filter (Paper, Code).
    David J. Lee, Samuel McCauley, Shikha Singh, and Max Stein.
    European Symposium on Algorithms (ESA), 2021.
  • A Practical Adaptive Quotient Filter (Thesis).
    David J. Lee. Undergraduate thesis, 2021. Advised by Shikha Singh and Sam McCauley.
  • Virtual Multicrossings and Petal Diagrams for Virtual Knots and Links (Paper).
    Colin Adams, Chaim Even-Zohar, Jonah Greenberg, Reuben Kaufman, David Lee, Darin Li, Dustin Ping, Theodore Sandstrom, and Xiwen Wang.
    Journal of Knot Theory and its Ramifications, 2021.