TY  - RPRT
TI  - LLM-Guided Strategy Synthesis for Scalable Equality Saturation
AU  - Chenyun Yin
AU  - Youwei Xiao
AU  - Yuze Luo
AU  - Yuyang Zou
AU  - Yun Liang
PY  - 2026
UR  - https://arxiv.org/abs/2604.17364
ID  - 2604.17364
ER  -