microsoft/prose
Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.
它解决了什么问题
Microsoft PROSE (Program Synthesis using Examples) 通过根据输入输出示例生成程序来自动化代码创建。它允许开发人员构建工具，通过观察用户提供的少量示例，学习执行数据转换或逻辑任务。
工作原理
该 SDK 提供了一个用于定义领域特定语言 (DSLs) 的框架。开发人员使用这些 DSL 来创建合成解决方案，系统在其中学习将输入映射到输出所需的底层逻辑。该存储库提供了示例实现，包括关于 DSL 编写的教程以及诸如解决合并冲突等特定用例。
适用人群
本项目适用于对程序合成、自动化代码生成以及构建从用户提供示例中学习的智能数据处理工具感兴趣的开发人员和研究人员。
亮点
- 为现有的程序合成任务提供 API。
- 包含一个用于编写自定义领域特定语言 (DSLs) 的框架。
- 提供针对合并冲突解决等复杂任务的实用示例。
- 设有专门的教程，用于学习如何构建合成解决方案。
相关
- 项目
- 项目
- 项目
- 项目