J Koppel, Z Guo, E De Vries, A Solar-Lezama… - Proceedings of the …, 2022 - dl.acm.org
Many problem domains, including program synthesis and rewrite-based optimization,
require searching astronomically large spaces of programs. Existing approaches often rely …