@misc{indiciae5818c793a4ad,
  title = {babble: Learning Better Abstractions with E-Graphs and Anti-Unification},
  author = {David Cao and Rose Kunkel and Chandrakana Nandi and Max Willsey and Zachary Tatlock and Nadia Polikarpova},
  year = {2022},
  doi = {10.1145/3571207},
  url = {https://arxiv.org/abs/2212.04596},
  note = {Source identifier: 2212.04596}
}