research
∙
04/10/2023
Better Together: Unifying Datalog and Equality Saturation
We present egglog, a fixpoint reasoning system that unifies Datalog and ...
share
research
∙
12/08/2022
babble: Learning Better Abstractions with E-Graphs and Anti-Unification
Library learning compresses a given corpus of programs by extracting com...
research
∙
03/30/2022
