Kevin Ellis
cs.cornell.edu · 1,130 words · saved by 1 readers
Computer scientist working in artificial intelligence and program synthesis, with the goal of better combining reasoning and learning.
Assistant Professor, Cornell University, Computer Science Email: kellis@cornell.edu Office: CIS 486 Research areas and selected papers: AI and program synthesis: World Models: ExoPredicator , AutumnBench , PoE-World , VisualPredicator , WorldCoder Abstract Reasoning: ARCPrize’24 Library Learning: Librarian , DreamCoder AI and cognitive science: LLMs+Bayes: NeurIPS’23 Human grammar: Nature Comms ’22 Prospective Students/Postdocs Curriculum Vitae Google Scholar Github Students / other collaborators Simon Alford Wasu (Top) Piriyakulkij Atharv Sonwane Alumni: Hao Tang , PhD, now at Microsoft Resea
related reading
- Introduction to Program Synthesispeople.csail.mit.edu
- As Rocks May Think | Eric Jangevjang.com
- 2006.08381arxiv.org
- Program Synthesis with Large Language Modelsarxiv.org
- Explore | alphaXivalphaxiv.org
- Deep learning as program synthesis — LessWronglesswrong.com
- Program Synthesis Explained — James Bornholtcs.utexas.edu
- Programming in the Age of Intelligent Machinesbreandan.net
- Andrej Karpathy — AGI is still a decade awaydwarkesh.com
- [2112.02969] Jigsaw: Large Language Models meet Program Synthesisarxiv.org
- Group | Sherry Tongshuang Wucs.cmu.edu
- Kartik Chandracs.stanford.edu