标签
SIGPLAN 博客回顾了等式饱和（equality saturation）与 e-graph 技术自 egg 论文以来的发展，介绍了 CACM Research Highlight、Dagstuhl 研讨会及 EGRAPHS 工作坊等进展，并以"不完整性"为主题讨论了该技术的现状、挑战与未来方向。
作者重新回顾了表征学习中有影响力的开源工作，列出了从MoCo v1到LeJEPA的关键论文，这些工作推动了视觉基础模型和自监督学习的发展。