research
∙
08/23/2021
Rewrite Rule Inference Using Equality Saturation
Many compilers, synthesizers, and theorem provers rely on rewrite rules ...
share
research
∙
05/19/2021
Pure Tensor Program Rewriting via Access Patterns (Representation Pearl)
Tensor kernels in machine learning (ML) often correspond to pure mathema...
research
∙
04/17/2019
