Improved Tree Search for Automatic Program Synthesis. - Aran Carmon; Lior Wolf (CoRR, 2023)