This post takes a look back at an NSF grant proposed in fall 2017: what we did, what's changed since then, and what's still relevant today.
NSF Retrospective: Applying discrete reasoning steps in solving natural language processing tasks by Greg Durrett
Posted on December 31, 2022
Prior program synthesis approaches typically produce short and simple programs. We scale program synthesis to more complex programs, leveraging multimodal specifications consisting of both natural language and I/O examples.
Multimodal Program Synthesis by Xi Ye
Posted on October 25, 2021