TY  - RPRT
TI  - Rewrite Rule Inference Using Equality Saturation
AU  - Chandrakana Nandi
AU  - Max Willsey
AU  - Amy Zhu
AU  - Yisu Remy Wang
AU  - Brett Saiki
AU  - Adam Anderson
AU  - Adriana Schulz
AU  - Dan Grossman
AU  - Zachary Tatlock
PY  - 2021
UR  - https://arxiv.org/abs/2108.10436
ID  - 2108.10436
ER  -