Haha I was going to say, solving synthesis via PL+AI is way more exciting than either technique alone.

-- A former PL researcher making AI way more useful via vanilla PL techniques