SmoothE: Differentiable E-Graph Extraction

Publication
2025 International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)