{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:LS7FLLFEOH5ARGGNYBCUPHZZLD","short_pith_number":"pith:LS7FLLFE","schema_version":"1.0","canonical_sha256":"5cbe55aca471fa0898cdc045479f3958d680c9c8f17c9b0c59910eac0bdfb734","source":{"kind":"arxiv","id":"2606.23959","version":1},"attestation_state":"computed","paper":{"title":"Does My Embedding Reflect That $A = B$? Evaluating Mathematical Equivalence in Embedding Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.CL","authors_text":"Henry Kvinge, Jared Darlington, Jarod Alper, Jiaying Ye, Kedar Chintalapati, Leo Carlin, Michael Zhou, Rachit Jaiswal, Saharsh Bhargava, Samarth Rao, Vasily Ilin","submitted_at":"2026-06-22T21:37:58Z","abstract_excerpt":"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 occurred after researchers discovered that a question had already been answered in a different field. At the same time, the growth of new resources related to formalization has increased the need for tools that enable efficient and reliable navigation between mathematical 'languages' (e.g., from Lean to natural language). In this paper, we investigate whether current embedding models capture mathematical equivalence. To"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.23959","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-06-22T21:37:58Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"ad7d98406b9c76f3b4885dcf2174da54a1c758e2d587cdce6a2ac802cf293694","abstract_canon_sha256":"472f9306292289138d23786aaa4e373a40900c8545ea170c69523c06a69feb5b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-24T00:14:31.377112Z","signature_b64":"bs562iGe78Q+ZhWbdFd4e4N/HRC4M2sI1OlCDq4x0ewrlGKn6+vki4y5//VLLxyqjPItcsY10TRW6zGnPmOrDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5cbe55aca471fa0898cdc045479f3958d680c9c8f17c9b0c59910eac0bdfb734","last_reissued_at":"2026-06-24T00:14:31.376656Z","signature_status":"signed_v1","first_computed_at":"2026-06-24T00:14:31.376656Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Does My Embedding Reflect That $A = B$? Evaluating Mathematical Equivalence in Embedding Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.CL","authors_text":"Henry Kvinge, Jared Darlington, Jarod Alper, Jiaying Ye, Kedar Chintalapati, Leo Carlin, Michael Zhou, Rachit Jaiswal, Saharsh Bhargava, Samarth Rao, Vasily Ilin","submitted_at":"2026-06-22T21:37:58Z","abstract_excerpt":"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 occurred after researchers discovered that a question had already been answered in a different field. At the same time, the growth of new resources related to formalization has increased the need for tools that enable efficient and reliable navigation between mathematical 'languages' (e.g., from Lean to natural language). In this paper, we investigate whether current embedding models capture mathematical equivalence. To"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23959","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.23959/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.23959","created_at":"2026-06-24T00:14:31.376728+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.23959v1","created_at":"2026-06-24T00:14:31.376728+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23959","created_at":"2026-06-24T00:14:31.376728+00:00"},{"alias_kind":"pith_short_12","alias_value":"LS7FLLFEOH5A","created_at":"2026-06-24T00:14:31.376728+00:00"},{"alias_kind":"pith_short_16","alias_value":"LS7FLLFEOH5ARGGN","created_at":"2026-06-24T00:14:31.376728+00:00"},{"alias_kind":"pith_short_8","alias_value":"LS7FLLFE","created_at":"2026-06-24T00:14:31.376728+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/LS7FLLFEOH5ARGGNYBCUPHZZLD","json":"https://pith.science/pith/LS7FLLFEOH5ARGGNYBCUPHZZLD.json","graph_json":"https://pith.science/api/pith-number/LS7FLLFEOH5ARGGNYBCUPHZZLD/graph.json","events_json":"https://pith.science/api/pith-number/LS7FLLFEOH5ARGGNYBCUPHZZLD/events.json","paper":"https://pith.science/paper/LS7FLLFE"},"agent_actions":{"view_html":"https://pith.science/pith/LS7FLLFEOH5ARGGNYBCUPHZZLD","download_json":"https://pith.science/pith/LS7FLLFEOH5ARGGNYBCUPHZZLD.json","view_paper":"https://pith.science/paper/LS7FLLFE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.23959&json=true","fetch_graph":"https://pith.science/api/pith-number/LS7FLLFEOH5ARGGNYBCUPHZZLD/graph.json","fetch_events":"https://pith.science/api/pith-number/LS7FLLFEOH5ARGGNYBCUPHZZLD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LS7FLLFEOH5ARGGNYBCUPHZZLD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LS7FLLFEOH5ARGGNYBCUPHZZLD/action/storage_attestation","attest_author":"https://pith.science/pith/LS7FLLFEOH5ARGGNYBCUPHZZLD/action/author_attestation","sign_citation":"https://pith.science/pith/LS7FLLFEOH5ARGGNYBCUPHZZLD/action/citation_signature","submit_replication":"https://pith.science/pith/LS7FLLFEOH5ARGGNYBCUPHZZLD/action/replication_record"}},"created_at":"2026-06-24T00:14:31.376728+00:00","updated_at":"2026-06-24T00:14:31.376728+00:00"}