https://evanthebouncy.github.io/program-synthesis-minimal/

a minimalist guide to program synthesis

  * Posts
  * About

[synthesis-]
 
Pinned * August 11, 2022

what you will find here

so, you want to know about program synthesis? Recently (as of 2022),
the topic of "building AI to write code" has become fashionable in
both industry and academia, with copilot...

 
August 12, 2022

a typical synthesis problem

As Leslie puts it, you must define the problem first before solving
it. This post is about how to define and analyze a typical synthesis
problem, along with a naive...

 
August 16, 2022

writing programs with language models

With infinite compute, program synthesis is trivial - iterate through
all programs for one that works. In practice, we need to find a
working program with as few samples as...

 
August 30, 2022

fine-tuned llm as program writers

A program-writer is a conduit between specifications and programs. In
this post, we will explain how large language models (llm) can be an
universal program-writer for different domains. a menagerie...

1
(c) 2022 evanthebouncy. Made with Jekyll using the Tale theme.