collaborators

1 paper

cs.AI2026

LLM-Guided Strategy Synthesis for Scalable Equality Saturation

Chenyun Yin, Youwei Xiao, Yuze Luo +2

Equality saturation (EqSat) is a powerful optimization paradigm that compactly represents many equivalent programs in an e-graph and delays commitment until extraction selects a lo…