Search papers, labs, and topics across Lattice.
Peking University
1
0
Automating equality saturation strategy synthesis is now possible: EggMind uses LLMs to reduce cost by 45% and RAM by 69% on vectorization tasks.
