Here is the full list of CS Colloquium talks for next week. All talks will be recorded. ~~~~~ Speaker: Xinyun Chen, University of California, Berkeley Date: Monday, March 21, 2022 Time: 12:30pm EST Location: CS 105 Host: Jia Deng Event page: [ https://www.cs.princeton.edu/events/26175 | https://www.cs.princeton.edu/events/26175 ] This talk will be live-streamed at [ https://mediacentrallive.princeton.edu/ | https://mediacentrallive.princeton.edu/ ] Title: Learning-Based Program Synthesis: Learning for Program Synthesis and Program Synthesis for Learning Abstract: With the advancement of modern technologies, programming becomes ubiquitous not only among professional software developers, but also for general computer users. However, gaining programming expertise is time-consuming and challenging. Therefore, program synthesis has many applications, where the computer automatically synthesizes programs from specifications such as natural language descriptions and input-output examples. In this talk, I will present my work on learning-based program synthesis, where I have developed deep learning techniques for various program synthesis problems. Despite the remarkable success of deep neural networks for many domains, including natural language processing and computer vision, existing deep neural networks are still insufficient for handling challenging symbolic reasoning and generalization problems. My learning-based program synthesis research lies in two folds: (1) learning to synthesize programs from potentially ambiguous and complex specifications; and (2) neural-symbolic learning for language understanding. I will first talk about program synthesis applications, where my work demonstrates the applicability of learning-based program synthesizers for production usage. I will then present my work on neural-symbolic frameworks that integrate symbolic components into neural networks, which achieve better reasoning and generalization capabilities. In closing, I will discuss the challenges and opportunities of further improving the complexity and generalizability of learning-based program synthesis for future work. Bio: Xinyun Chen is a Ph.D. candidate at UC Berkeley, working with Prof. Dawn Song. Her research lies at the intersection of deep learning, programming languages, and security. Her recent research focuses on learning-based program synthesis and adversarial machine learning. She received the Facebook Fellowship in 2020, and Rising Stars in Machine Learning in 2021. Her work SpreadsheetCoder for spreadsheet formula prediction was integrated into Google Sheets, and she was part of the AlphaCode team when she interned at DeepMind. ~~~~~ Speaker: Sherry Tongshuang Wu, University of Washington Date: Tuesday, March 22, 2022 Time: 12:30pm EST Location: CS 105 Hosts: Andrés Monroy-Hernández & Adam Finkelstein Event page: [ https://www.cs.princeton.edu/events/26176 | https://www.cs.princeton.edu/events/26176 ] This talk will be live-streamed at [ https://mediacentrallive.princeton.edu/ | https://mediacentrallive.princeton.edu/ ] Title: Interactive AI Model Debugging and Correction Abstract: Research in Artificial Intelligence (AI) has advanced at an incredible pace, to the point where it is making its way into our everyday lives, explicitly and behind the scenes. However, beneath their impressive progress, many AI models hide deficiencies that amplify social biases or even cause fatal accidents. How do we identify, improve, and cope with imperfect models, while still benefiting from their use? I will discuss my work empowering humans to interact with AI models in order to debug and correct them. I will describe both (1) how I help experts run scalable and testable analyses on models in development, and (2) how I help end users collaborate with deployed AI in a transparent and controllable way. In my final remarks, I will discuss my future research perspectives on building human-centered AI through data-centric approaches. Bio: Sherry Tongshuang Wu is a final year Ph.D. Candidate in Computer Science & Engineering at the University of Washington, advised by Jeffrey Heer and Dan Weld. She received her B.Eng in CSE from the Hong Kong University of Science and Technology. Her research lies at the intersection of Human-Computer Interaction (HCI) and Natural Language Processing (NLP), and aims to empower humans to debug and correct AI models interactively, both when the model is under active development, and after it is deployed for end users. Sherry has authored 19 papers in top-tier NLP, HCI and Visualization conferences and journals such as ACL, CHI, TOCHI, TVCG, etc, including a best paper award (top-1) and an honorable mention (top-3). You can find out more about her at https://homes.cs.washington.edu/~wtshuang/.