TY  - RPRT
TI  - Equality Saturation Guided by Large Language Models
AU  - Wentao Peng
AU  - Ruyi Ji
AU  - Yingfei Xiong
PY  - 2025
UR  - https://arxiv.org/abs/2511.00403
ID  - 2511.00403
ER  -