[YorkshireSeason]

I agree this is an interesting direction. IIRC the top (open) bitvector synthesiser works like this (albeit not with ILP).

Trouble with ILP is that it doesn't work on GPUs (as of April 2024) and on CPUs synthesis and other forms of learning are hopeless. That may change in the future ...