Mike Cook has done a lot of research into automated game generation. He recently released this video which is both a tutorial and an overview of the field https://t.co/tdU06DfsRd?amp=1
Even if you aren't interested in game design specifically, I believe it's a good introduction to program synthesis in general
Scott Anderson
08/28/2020, 11:28 PM
I don't too much discussion about program synthesis here (except for some AI startups and GPT-3 code generation), but it's possible it comes up more often and I've missed discussions