数学的等価性を捉える新たな試み——埋め込みモデルの可能性を探る
私の埋め込み表現は数学的等価性を反映していますか？
査読前の可能性がある研究情報
数学的抽象度の高さから同一問題が異なる分野で既に解決されている可能性を調査
速報・AI要約未精査
Mathematically Equivalent but Lexically Different Pairs (MELD) Dataset
embedding models
mathematical equivalence
arXiv cs.CL