Equality Saturation Guided by Large Language Models

Wentao Peng, Ruyi Ji, Yingfei Xiong

One critical issue with large language models (LLMs) is their inability to guarantee correctness. Although this problem can be addressed by applying LLMs to formal rewrite systems,…