TY  - RPRT
TI  - Efficient Extraction for Effectful E-Graphs
AU  - Oliver Flatt
AU  - Anjali Pal
AU  - Yihong Zhang
AU  - Ryan Tjoa
AU  - Kirsten Graham
AU  - Alex Fischman
AU  - Chandrakana Nandi
AU  - Eli Rosenthal
AU  - Zachary Tatlock
AU  - Haobin Ni
PY  - 2026
UR  - https://arxiv.org/abs/2609.31887
ID  - 2609.31887
ER  -