Babble: Learning Better Abstractions with E-Graphs and Anti-Unificationdl.acm.org2 points0823498723498723 years ago