Egglog and Equality Saturation in a Production Tensor Compiler

(egraphs.org)

1 points | by matt_d 11 hours ago ago