1. Alur, R., et al.: Syntax-guided synthesis. In: Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20–23, 2013, pp. 1–8. IEEE (2013). https://ieeexplore.ieee.org/document/6679385/
2. Austin, J., et al.: Program synthesis with large language models. CoRR abs/2108.07732 (2021). arXiv: 2108.07732. https://arxiv.org/abs/2108.07732
3. Barnes, J.: SPARK: The Proven Approach to High Integrity Software. Altran Praxis (2012)
4. Biere, A., Heule, M., van Maaren, H.: Handbook of Satisfiability, vol. 185. IOS Press (2009)
5. Bowers, M., et al.: Top-down synthesis for library learning. In: Proceedings of the ACM Program. Lang. 7(POPL), 1182–1213 (2023). https://doi.org/10.1145/3571234