Equality Saturation Guided by Large Language Models

@inproceedings{EGRAPHS25,
  author = {Wentao Peng and Ruyi Ji and Yingfei Xiong},
  title = {Equality Saturation Guided by Large Language Models},
  year = {2025},
  month = {6},
  booktitle = {EGRAPHS 2025},
  doi = {10.48550/arXiv.2511.00403},
  eprint = {2511.00403},
  archiveprefix = {arXiv},
  primaryclass = {cs.PL},
  site_category = {wshop},
  site_hide_home = {true},
  site_paper_url = {https://arxiv.org/abs/2511.00403}
}