Learning better decision trees – LLMs as Heuristics for Program Synthesismchav.github.io 1mchav7modiscuss