This is very cool. Do you have any advice on papers to read to understand the details of search based compilation a bit more?
This is very cool. Do you have any advice on papers to read to understand the details of search based compilation a bit more?
a lot of the ideas luminal is built on are here: https://arxiv.org/abs/2304.04332