e-graph

技術原理圖展示 EggMind：利用 EqSatL 形式化策略語言、證明導出的重寫樣式快取（Motif Cache）以及可解性引導（Tractability Guidance）來解決 Equality Saturation 的搜尋爆炸問題。圖中呈現了 LLM 如何引導離線合成策略，在維持優化品質的同時顯著降低記憶體消耗。

深度分析

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

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