一句话：面向不同水平编程者的 AI 辅助编程：从显式/隐式意图表达到神经符号技术。
该主题演讲探讨 AI 如何提升各类编程者的编程体验：从需要软件工程与数据整理支持的专业开发者和数据科学家，到需要编写公式的电子表格用户，再到做编程作业遇到困难时需要提示的学生。核心问题是用户如何向 AI 表达自己的意图。演讲指出意图既可以是显式的，例如输入输出示例或自然语言规约；也可以是隐式的，例如用户在遇到 bug 时希望 AI 建议修复，或允许 AI 观察最近几行代码或编辑操作以推荐下一步。演讲围绕这些应用场景与用户体验展开，并介绍支撑这些能力的神经符号（neuro-symbolic）技术路线，即结合符号推理与机器学习的方法来实现意图理解与程序生成。
AI can enhance programming experiences for a diverse set of programmers: from professional developers and data scientists (proficient programmers) who need help in software engineering and data wrangling, all the way to spreadsheet users (low-code programmers) who need help in authoring formulas, and students (novice programmers) who seek hints when stuck with their programming homework. To communicate their need to AI, users can express their intent explicitly—as input-output examples or natural-language specification—or implicitly—where they encounter a bug (and expect AI to suggest a fix), or simply allow AI to observe their last few lines of code or edits (to have it suggest the next steps).
DOI 原文 ·
@inproceedings{paperbot7057,
title = {AI-assisted programming: applications, user experiences, and neuro-symbolic techniques (keynote)},
author = {Sumit Gulwani},
booktitle = {FSE},
year = {2022},
doi = {10.1145/3540250.3569444}
}