形式化数学

研究者提出MELD数据集，发现当前主流嵌入模型倾向于根据数学表述的术语而非底层数学逻辑进行分组，并提出对比学习方法提升模型对数学等价性的识别能力。