I am gathering information about program synthesis as for year 2020. Note, this is my personal documentation for project I am doing for course at AGH university.
You can search for .rst
files in this repository and read it online, or compile it using Sphinx
:
I recommend reading order:
- how_to_program_synthesis.rst
- overview.rst - overview of existing implementations of program synthesis
and then for more papers: