Refinement E-Graphs
发生了什么
The idea of a refinement e-graph is to add a baked in a <= relation that is about as privileged as the e-graph’s native =
摘要按规则整理自下方来源原文
为什么在扩散
来源
社区讨论
- Refinement E-GraphsLobsters
The idea of a refinement e-graph is to add a baked in a <= relation that is about as privileged as the e-graph’s native =
摘要按规则整理自下方来源原文