{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:7AWHZMB4HYZNGW6T4ZAHBTQKA3","short_pith_number":"pith:7AWHZMB4","canonical_record":{"source":{"id":"1707.05154","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IR","submitted_at":"2017-07-17T13:43:41Z","cross_cats_sorted":[],"title_canon_sha256":"21fe3346d45c7be43c04fb9b9ad480ec5588d55cf14aaab1df61318ef3ad4fea","abstract_canon_sha256":"515515b1e044e790aad2a0d60371ee8bc89500c8f88dca067b242310d9871258"},"schema_version":"1.0"},"canonical_sha256":"f82c7cb03c3e32d35bd3e64070ce0a06fc87acc4861ade95da9e087368e94aec","source":{"kind":"arxiv","id":"1707.05154","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.05154","created_at":"2026-05-18T00:36:28Z"},{"alias_kind":"arxiv_version","alias_value":"1707.05154v2","created_at":"2026-05-18T00:36:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.05154","created_at":"2026-05-18T00:36:28Z"},{"alias_kind":"pith_short_12","alias_value":"7AWHZMB4HYZN","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_16","alias_value":"7AWHZMB4HYZNGW6T","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_8","alias_value":"7AWHZMB4","created_at":"2026-05-18T12:31:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:7AWHZMB4HYZNGW6T4ZAHBTQKA3","target":"record","payload":{"canonical_record":{"source":{"id":"1707.05154","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IR","submitted_at":"2017-07-17T13:43:41Z","cross_cats_sorted":[],"title_canon_sha256":"21fe3346d45c7be43c04fb9b9ad480ec5588d55cf14aaab1df61318ef3ad4fea","abstract_canon_sha256":"515515b1e044e790aad2a0d60371ee8bc89500c8f88dca067b242310d9871258"},"schema_version":"1.0"},"canonical_sha256":"f82c7cb03c3e32d35bd3e64070ce0a06fc87acc4861ade95da9e087368e94aec","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:36:28.564875Z","signature_b64":"qYWkY6HO1Gy1gfQjtOcu9lvKhxpEL24oU83bO8CS6bjDNhTSRDFGwoYaDqxrBsezD4NQuGGDHlnIbpNaLGh8Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f82c7cb03c3e32d35bd3e64070ce0a06fc87acc4861ade95da9e087368e94aec","last_reissued_at":"2026-05-18T00:36:28.564205Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:36:28.564205Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.05154","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:36:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"peDyvcbGQ3AYQEOrl84AYa+vzb6UznsS5fldUWT8Hb9tvv6vrHF8NY/9Ca9sEQRRhFyFHdc7PH541b44xOTGCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T22:37:48.715913Z"},"content_sha256":"902797370c0175031757151a8b3bc2f50978d1b0b6712f8cab9f141f45d98d49","schema_version":"1.0","event_id":"sha256:902797370c0175031757151a8b3bc2f50978d1b0b6712f8cab9f141f45d98d49"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:7AWHZMB4HYZNGW6T4ZAHBTQKA3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Preliminary Exploration of Formula Embedding for Mathematical Information Retrieval: can mathematical formulae be embedded like a natural language?","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.IR","authors_text":"Ke Yuan, Liangcai Gao, Yue Yin, Zhi Tang, Zhuoren Jiang, Zuoyu Yan","submitted_at":"2017-07-17T13:43:41Z","abstract_excerpt":"While neural network approaches are achieving breakthrough performance in the natural language related fields, there have been few similar attempts at mathematical language related tasks. In this study, we explore the potential of applying neural representation techniques to Mathematical Information Retrieval (MIR) tasks. In more detail, we first briefly analyze the characteristic differences between natural language and mathematical language. Then we design a \"symbol2vec\" method to learn the vector representations of formula symbols (numbers, variables, operators, functions, etc.) Finally, we"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.05154","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:36:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Mp3DamGxixBU2srXlpstWem+dtuYoCqzfJ8rXkWLs5IBkQy9uRDS7Ug8/gj8J1O2WZmg1sX/dnrguqi3n+DkBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T22:37:48.716596Z"},"content_sha256":"f34bd1247ab39b6fce18d304ca8b5b40b4d64fd7da8b3fe82c3a4ab38e35aa49","schema_version":"1.0","event_id":"sha256:f34bd1247ab39b6fce18d304ca8b5b40b4d64fd7da8b3fe82c3a4ab38e35aa49"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7AWHZMB4HYZNGW6T4ZAHBTQKA3/bundle.json","state_url":"https://pith.science/pith/7AWHZMB4HYZNGW6T4ZAHBTQKA3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7AWHZMB4HYZNGW6T4ZAHBTQKA3/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-23T22:37:48Z","links":{"resolver":"https://pith.science/pith/7AWHZMB4HYZNGW6T4ZAHBTQKA3","bundle":"https://pith.science/pith/7AWHZMB4HYZNGW6T4ZAHBTQKA3/bundle.json","state":"https://pith.science/pith/7AWHZMB4HYZNGW6T4ZAHBTQKA3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7AWHZMB4HYZNGW6T4ZAHBTQKA3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:7AWHZMB4HYZNGW6T4ZAHBTQKA3","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"515515b1e044e790aad2a0d60371ee8bc89500c8f88dca067b242310d9871258","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IR","submitted_at":"2017-07-17T13:43:41Z","title_canon_sha256":"21fe3346d45c7be43c04fb9b9ad480ec5588d55cf14aaab1df61318ef3ad4fea"},"schema_version":"1.0","source":{"id":"1707.05154","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.05154","created_at":"2026-05-18T00:36:28Z"},{"alias_kind":"arxiv_version","alias_value":"1707.05154v2","created_at":"2026-05-18T00:36:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.05154","created_at":"2026-05-18T00:36:28Z"},{"alias_kind":"pith_short_12","alias_value":"7AWHZMB4HYZN","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_16","alias_value":"7AWHZMB4HYZNGW6T","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_8","alias_value":"7AWHZMB4","created_at":"2026-05-18T12:31:03Z"}],"graph_snapshots":[{"event_id":"sha256:f34bd1247ab39b6fce18d304ca8b5b40b4d64fd7da8b3fe82c3a4ab38e35aa49","target":"graph","created_at":"2026-05-18T00:36:28Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"While neural network approaches are achieving breakthrough performance in the natural language related fields, there have been few similar attempts at mathematical language related tasks. In this study, we explore the potential of applying neural representation techniques to Mathematical Information Retrieval (MIR) tasks. In more detail, we first briefly analyze the characteristic differences between natural language and mathematical language. Then we design a \"symbol2vec\" method to learn the vector representations of formula symbols (numbers, variables, operators, functions, etc.) Finally, we","authors_text":"Ke Yuan, Liangcai Gao, Yue Yin, Zhi Tang, Zhuoren Jiang, Zuoyu Yan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IR","submitted_at":"2017-07-17T13:43:41Z","title":"Preliminary Exploration of Formula Embedding for Mathematical Information Retrieval: can mathematical formulae be embedded like a natural language?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.05154","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:902797370c0175031757151a8b3bc2f50978d1b0b6712f8cab9f141f45d98d49","target":"record","created_at":"2026-05-18T00:36:28Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"515515b1e044e790aad2a0d60371ee8bc89500c8f88dca067b242310d9871258","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IR","submitted_at":"2017-07-17T13:43:41Z","title_canon_sha256":"21fe3346d45c7be43c04fb9b9ad480ec5588d55cf14aaab1df61318ef3ad4fea"},"schema_version":"1.0","source":{"id":"1707.05154","kind":"arxiv","version":2}},"canonical_sha256":"f82c7cb03c3e32d35bd3e64070ce0a06fc87acc4861ade95da9e087368e94aec","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f82c7cb03c3e32d35bd3e64070ce0a06fc87acc4861ade95da9e087368e94aec","first_computed_at":"2026-05-18T00:36:28.564205Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:36:28.564205Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qYWkY6HO1Gy1gfQjtOcu9lvKhxpEL24oU83bO8CS6bjDNhTSRDFGwoYaDqxrBsezD4NQuGGDHlnIbpNaLGh8Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:36:28.564875Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.05154","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:902797370c0175031757151a8b3bc2f50978d1b0b6712f8cab9f141f45d98d49","sha256:f34bd1247ab39b6fce18d304ca8b5b40b4d64fd7da8b3fe82c3a4ab38e35aa49"],"state_sha256":"8eff272fc97075b201e3b191c8aaa1ab63794ca84f1070f267fd360475edb3cc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DgkFq9pcb/GDat15HgSc7afYg2jpoXgRK1tymlIKi5r4LXxQcuGyHo7POG6xVWKaSQGsrePSTMSkJ1/CIKzVCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T22:37:48.719872Z","bundle_sha256":"393bacc85463d83c1ed3c5a9c19fb32534008ad41e4356b464e35294af1285e8"}}