| ▲ | dvdplm 4 days ago | |
This is very cool. Do you have any advice on papers to read to understand the details of search based compilation a bit more? | ||
| ▲ | jafioti 4 days ago | parent [-] | |
a lot of the ideas luminal is built on are here: https://arxiv.org/abs/2304.04332 | ||