CAREER: Robustness of Inductive Reasoning Engines

职业：归纳推理引擎的鲁棒性

• 批准号: 1846327
• 负责人: Roopsha Samanta
• 金额: $ 58万
• 依托单位: Purdue University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2019
• 资助国家: 美国
• 起止时间: 2019-03-01 至 2024-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1846327&HistoricalAwards=false
• 关键词: CAREER; Robustness; Inductive; Reasoning; Engines

The past decade has seen a renaissance in the field of machine learning and simultaneously witnessed an explosion of interest in the related area of Programming by Example (PBE). While both fields have enjoyed spectacular successes, their algorithms can be brittle and can drive applications to unexpected failures. The cause of many failures in both machine-learning and PBE systems can be traced back to their shared task of inductive reasoning: learning some artifact in a hypothesis space from a set of examples. Since examples are inherently incomplete specifications, there can be a large number of artifacts that fit a set of examples but fail to generalize to an unseen example. This project advocates for a more principled approach to constructing such inductive reasoning engines based on a formal characterization of their reliability. The project casts the problem of reliability of these systems as one of robustness: is the change in the artifact learnt acceptable, or, at least predictable, in the presence of small changes to the set of examples? The project integrates concepts from formal methods, logic, relational reasoning, and computational learning theory to develop new foundations, algorithms and tools for the design and analysis of robust inductive reasoning engines. The multi-faceted project will impact formal methods and programming languages (through contributions to inductive synthesis and relational reasoning), machine learning (through automated techniques for addressing the dataset shift problem), and society (through users of inductive reasoning engines, and education activities targeting expansion of scientific literacy and computer science pathways). The investigator plans broad dissemination of results (through a workshop on robustness co-founded by the investigator, talks at outreach platforms and a graduate course).This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

在过去的十年里，机器学习领域出现了复兴，同时也见证了对相关领域的兴趣爆炸式增长，即通过示例编程（PBE）。虽然这两个领域都取得了巨大的成功，但它们的算法可能很脆弱，并可能导致应用程序出现意想不到的失败。机器学习和PBE系统中许多失败的原因可以追溯到它们共同的归纳推理任务：从一组示例中学习假设空间中的一些伪像。由于示例本质上是不完整的规范，因此可能会有大量的工件适合一组示例，但无法推广到一个看不见的示例。这个项目主张一个更有原则的方法来构建这样的归纳推理引擎的基础上，其可靠性的正式表征。该项目将这些系统的可靠性问题视为鲁棒性问题之一：在样本集存在小变化的情况下，工件学习的变化是否可以接受，或者至少是可预测的？该项目整合了形式方法，逻辑，关系推理和计算学习理论的概念，为设计和分析强大的归纳推理引擎开发新的基础，算法和工具。这个多方面的项目将影响正式方法和编程语言（通过对归纳合成和关系推理的贡献），机器学习（通过解决数据集转移问题的自动化技术）和社会（通过归纳推理引擎的用户，以及旨在扩大科学素养和计算机科学途径的教育活动）。研究者计划广泛传播研究结果（通过研究者共同创办的鲁棒性研讨会、外联平台上的演讲和研究生课程）。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks

• DOI: 10.34727/2020/isbn.978-3-85448-042-6_22
• 发表时间: 2019-07
• 期刊: 2020 Formal Methods in Computer Aided Design (FMCAD)
• 作者: Xuankang Lin;He Zhu;R. Samanta;S. Jagannathan

Trace-Guided Inductive Synthesis of Recursive Functional Programs

递归函数程序的跟踪引导归纳综合

• DOI: 10.1145/3591255
• 发表时间: 2023
• 期刊: Proceedings of the ACM on Programming Languages
• 作者: Yuan, Yongwei;Radhakrishna, Arjun;Samanta, Roopsha
• 通讯作者: Samanta, Roopsha

Parameterized Verification of Systems with Global Synchronization and Guards

• DOI: 10.1007/978-3-030-53288-8_15
• 发表时间: 2020-06-13
• 期刊: Computer Aided Verification
• 作者: Jaber N;Jacobs S;Wagner C;Kulkarni M;Samanta R
• 通讯作者: Samanta R

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification

具有高效可判定验证的分布式基于协议的系统的综合

• 发表时间: 2023
• 期刊: Tools and Algorithms for the Construction and Analysis of Systems
• 作者: Jaber, Nouraldin;Wagner, Christopher;Jacobs, Swen;Kulkarni, Milind;Samanta, Roopsha
• 通讯作者: Samanta, Roopsha

SemCluster: clustering of imperative programming assignments based on quantitative semantic features

• DOI: 10.1145/3314221.3314629
• 发表时间: 2019-06
• 期刊: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
• 作者: D. Perry;Dohyeong Kim;R. Samanta;X. Zhang