e-graphs

文章介绍了‘提升E-Graphs’，这是一种改进的e-graph方法，它显式编码函数的上下文（维度），以解决变量命名、遗漏共享和意外过度共享的问题，该方法基于从R^n到R的函数语义模型。