Hey, check out this paper, it’s probably got a bunch of descendants by now: https://arxiv.org/abs/1810.10525 https://arxiv.org/abs/1810.10525 Also DreamCoder

Hey, check out this paper, it’s probably got a bunch of descendants by now: https://arxiv.org/abs/1810.10525 https://arxiv.org/abs/1810.10525 Also DreamCoder is relevant. I reckon the answer to your real question is “yes”