Egraph Articles

Page 1 of 1 (3 articles)

3/26/2026 • EN

Explores alpha-equivalent hash consing using thinnings (bitvectors) for efficient term sharing in lambda calculus and compiler analysis.

De Bruijn Egraph Hash Cons Thinning Union Find

1/14/2026 • EN

Explores contextual union finds for rewriting under assumptions in egraph systems, comparing dense and sparse implementations.

Assumptions Contextual Egraph Rewriting Union Find

12/22/2025 • EN

Explores asymmetric completion, a union-find algorithm variant for inequality reasoning, with Python implementation insights.

Asymmetric Completion Egraph Rewrite Systems Term Rewriting Union Find

Select Language