Skip to content
Sagan

Paper

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

Unreadunread

AI summary

arXiv:2606. 23959v1 Announce Type: new Abstract: Because mathematics is highly abstract, a single statement can take very different forms depending on what subfield it is framed in.