SmoothE: Differentiable E-Graph Extraction (ASPLOS'25 Best Paper) - View it on GitHub