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) 를 작성하기 위한 프레임워크 포함.
  • 병합 충돌 해결과 같은 복잡한 작업을 위한 실용적인 샘플 제공.
  • 합성 솔루션 구축 방법을 배우기 위한 전용 튜토리얼 제공.

관련

  • 프로젝트
  • 프로젝트
  • 프로젝트
  • 프로젝트