Does My Embedding Reflect That $A=B$? Evaluating Mathematical Equivalence in Embedding Models

Jiaying Ye, Samarth Rao, Leo Carlin +9

Because mathematics is highly abstract, a single statement can take very different forms depending on what subfield it is framed in. There are many examples where breakthroughs occ…