This paper details an empirical investigation into using Graph Contrastive Learning (GCL) to generate mathematical equation representations, a critical aspect of Mathematical Information Retrieval (MIR). Our findings reveal that this simple approach consistently exceeds the performance of the current leading formula retrieval model, TangentCFT. To support ongoing research and development in this field, we have made our source code accessible to the public at https://github.com/WangPeiSyuan/GCL-Formula-Retrieval/.

翻译：本文详细介绍了利用图对比学习（GCL）生成数学公式表示的实证研究，这是数学信息检索（MIR）的关键方面。我们的研究结果表明，这种简单方法持续超越了当前领先的公式检索模型TangentCFT的性能。为支持该领域的持续研究与发展，我们已将源代码公开，可通过 https://github.com/WangPeiSyuan/GCL-Formula-Retrieval/ 获取。