eqsatl

深度分析

EggMind：LLM 引導的 EqSat 策略合成，結合 EqSatL 與樣式快取提升可擴展性

研究聚焦Equality saturation在搜尋爆炸下的可擴展性挑戰。本文提出EggMind，以EqSatL將策略形式化，並用LLM引導離線合成、證明導出重寫樣式快取與可解性引導來穩定搜尋。實驗在向量化與XLA優化上顯著改善資源與優化品質取捨。