1. Syntax-guided synthesis
2. Search-based program synthesis
3. Jacob Austin , Augustus Odena , Maxwell Nye , Maarten Bosma , Henryk Michalewski , David Dohan , Ellen Jiang , Carrie Cai , Michael Terry , Quoc Le , and Charles Sutton . 2021. Program Synthesis with Large Language Models. arXiv (Aug . 2021 ). http://arxiv.org/abs/2108.07732 arXiv: 2108.07732. Jacob Austin, Augustus Odena, Maxwell Nye, Maarten Bosma, Henryk Michalewski, David Dohan, Ellen Jiang, Carrie Cai, Michael Terry, Quoc Le, and Charles Sutton. 2021. Program Synthesis with Large Language Models. arXiv (Aug. 2021). http://arxiv.org/abs/2108.07732 arXiv: 2108.07732.
4. Matej Balog , Alexander L. Gaunt , Marc Brockschmidt , Sebastian Nowozin , and Daniel Tarlow . 2016. DeepCoder: Learning to Write Programs. CoRR abs/1611.01989 ( 2016 ). arXiv:1611.01989 http://arxiv.org/abs/1611.01989 Matej Balog, Alexander L. Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow. 2016. DeepCoder: Learning to Write Programs. CoRR abs/1611.01989 (2016). arXiv:1611.01989 http://arxiv.org/abs/1611.01989
5. Evolutionary Program Sketching