1. Nye M, Hewitt L, Tenenbaum J, Solar-Lezama A (2019) Learning to infer program sketches. In: International Conference on Machine Learning, pp. 4861–4870. PMLR
2. Fijalkow N, Lagarde G, Matricon T, Ellis K, Ohlmann P, Potta AN (2022) Scaling neural program synthesis with distribution-based search. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, pp. 6623–6630
3. Le H, Wang Y, Gotmare AD, Savarese S, Hoi SCH (2022) Coderl: Mastering code generation through pretrained models and deep reinforcement learning. Adv Neural Inf Process Syst 35:21314–21328
4. Cellucci C (2017) Is mathematics problem solving or theorem proving? Found Sci 22(1):183–199
5. Waldinger RJ, Lee RC (1969) Prow: A step toward automatic program writing. In: Proceedings of the 1st International Joint Conference on Artificial Intelligence, pp. 241–252