Unleashing the Power of Data through Neurosymbolic Program Synthesis

In today’s data-rich world, there is a growing need for tools that can help people extract, query, and utilize this data in an effective manner. This talk will focus on programming abstractions and synthesis algorithms that help people unleash the power of data by facilitating convenient data extraction and visualization. From a technical perspective, the talk will showcase synergies between programming languages tools (such as type systems and program analysis) and modern NLP techniques, and it will shed light on how this synergy enables a new science of neurosymbolic programming.