TY  - RPRT
TI  - babble: Learning Better Abstractions with E-Graphs and Anti-Unification
AU  - David Cao
AU  - Rose Kunkel
AU  - Chandrakana Nandi
AU  - Max Willsey
AU  - Zachary Tatlock
AU  - Nadia Polikarpova
PY  - 2022
DO  - 10.1145/3571207
UR  - https://arxiv.org/abs/2212.04596
ID  - 2212.04596
ER  -