{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:PVTGFX6DDQJVSJZJF4AZF5XF3R","short_pith_number":"pith:PVTGFX6D","canonical_record":{"source":{"id":"1611.01423","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-11-04T15:30:43Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"502e54ff7300c3c045203fc0648e8c7015171579264ce24fc9406ebe45ed5294","abstract_canon_sha256":"3f4ce54e6fdc4c2e36b3ec886b96e7b3d445288150b5b683959f4d4033cc35e1"},"schema_version":"1.0"},"canonical_sha256":"7d6662dfc31c135927292f0192f6e5dc53effbd58e5cc2163ba1a6acf179e5c2","source":{"kind":"arxiv","id":"1611.01423","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.01423","created_at":"2026-05-18T00:42:39Z"},{"alias_kind":"arxiv_version","alias_value":"1611.01423v2","created_at":"2026-05-18T00:42:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.01423","created_at":"2026-05-18T00:42:39Z"},{"alias_kind":"pith_short_12","alias_value":"PVTGFX6DDQJV","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"PVTGFX6DDQJVSJZJ","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"PVTGFX6D","created_at":"2026-05-18T12:30:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:PVTGFX6DDQJVSJZJF4AZF5XF3R","target":"record","payload":{"canonical_record":{"source":{"id":"1611.01423","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-11-04T15:30:43Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"502e54ff7300c3c045203fc0648e8c7015171579264ce24fc9406ebe45ed5294","abstract_canon_sha256":"3f4ce54e6fdc4c2e36b3ec886b96e7b3d445288150b5b683959f4d4033cc35e1"},"schema_version":"1.0"},"canonical_sha256":"7d6662dfc31c135927292f0192f6e5dc53effbd58e5cc2163ba1a6acf179e5c2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:39.303024Z","signature_b64":"xVczXUl+K5cL2UGoDWNnvCue20XWGeh8TrbFrmpypUYGpu++jAnrmCW8Fm37oHuo4bELt2wVWQpuOoE5bltGAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7d6662dfc31c135927292f0192f6e5dc53effbd58e5cc2163ba1a6acf179e5c2","last_reissued_at":"2026-05-18T00:42:39.302420Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:39.302420Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1611.01423","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:42:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Aef+LuYhBWjiUDKIsAM+Yk766G++iSORulaeUi7Lwf1pxi8W3u5ms9hCAz2eeCcCKCI/xhVInHXtf6LXDqWrCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T11:28:32.608751Z"},"content_sha256":"587e5f289a2a885b32431ab6fbe1dce450a90385fcf47d8b1f4f1b8b9496257e","schema_version":"1.0","event_id":"sha256:587e5f289a2a885b32431ab6fbe1dce450a90385fcf47d8b1f4f1b8b9496257e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:PVTGFX6DDQJVSJZJF4AZF5XF3R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning Continuous Semantic Representations of Symbolic Expressions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Charles Sutton, Miltiadis Allamanis, Pankajan Chanthirasegaran, Pushmeet Kohli","submitted_at":"2016-11-04T15:30:43Z","abstract_excerpt":"Combining abstract, symbolic reasoning with continuous neural reasoning is a grand challenge of representation learning. As a step in this direction, we propose a new architecture, called neural equivalence networks, for the problem of learning continuous semantic representations of algebraic and logical expressions. These networks are trained to represent semantic equivalence, even of expressions that are syntactically very different. The challenge is that semantic representations must be computed in a syntax-directed manner, because semantics is compositional, but at the same time, small cha"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.01423","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:42:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C9jJr1T2whjlsAePCcXZkEWb5JlEQeuLC2ztZB82TPXf0zRyw9GfXcBUXUGm0Xexxx+8I4mgMU6+xX+GzrHECA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T11:28:32.609095Z"},"content_sha256":"6d6d35a7a3275fdea6e78068f2c1341c0deaec6b4da677fc387c9346370ecc6c","schema_version":"1.0","event_id":"sha256:6d6d35a7a3275fdea6e78068f2c1341c0deaec6b4da677fc387c9346370ecc6c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PVTGFX6DDQJVSJZJF4AZF5XF3R/bundle.json","state_url":"https://pith.science/pith/PVTGFX6DDQJVSJZJF4AZF5XF3R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PVTGFX6DDQJVSJZJF4AZF5XF3R/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-06-08T11:28:32Z","links":{"resolver":"https://pith.science/pith/PVTGFX6DDQJVSJZJF4AZF5XF3R","bundle":"https://pith.science/pith/PVTGFX6DDQJVSJZJF4AZF5XF3R/bundle.json","state":"https://pith.science/pith/PVTGFX6DDQJVSJZJF4AZF5XF3R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PVTGFX6DDQJVSJZJF4AZF5XF3R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:PVTGFX6DDQJVSJZJF4AZF5XF3R","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":"3f4ce54e6fdc4c2e36b3ec886b96e7b3d445288150b5b683959f4d4033cc35e1","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-11-04T15:30:43Z","title_canon_sha256":"502e54ff7300c3c045203fc0648e8c7015171579264ce24fc9406ebe45ed5294"},"schema_version":"1.0","source":{"id":"1611.01423","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.01423","created_at":"2026-05-18T00:42:39Z"},{"alias_kind":"arxiv_version","alias_value":"1611.01423v2","created_at":"2026-05-18T00:42:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.01423","created_at":"2026-05-18T00:42:39Z"},{"alias_kind":"pith_short_12","alias_value":"PVTGFX6DDQJV","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"PVTGFX6DDQJVSJZJ","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"PVTGFX6D","created_at":"2026-05-18T12:30:39Z"}],"graph_snapshots":[{"event_id":"sha256:6d6d35a7a3275fdea6e78068f2c1341c0deaec6b4da677fc387c9346370ecc6c","target":"graph","created_at":"2026-05-18T00:42:39Z","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":"Combining abstract, symbolic reasoning with continuous neural reasoning is a grand challenge of representation learning. As a step in this direction, we propose a new architecture, called neural equivalence networks, for the problem of learning continuous semantic representations of algebraic and logical expressions. These networks are trained to represent semantic equivalence, even of expressions that are syntactically very different. The challenge is that semantic representations must be computed in a syntax-directed manner, because semantics is compositional, but at the same time, small cha","authors_text":"Charles Sutton, Miltiadis Allamanis, Pankajan Chanthirasegaran, Pushmeet Kohli","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-11-04T15:30:43Z","title":"Learning Continuous Semantic Representations of Symbolic Expressions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.01423","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:587e5f289a2a885b32431ab6fbe1dce450a90385fcf47d8b1f4f1b8b9496257e","target":"record","created_at":"2026-05-18T00:42:39Z","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":"3f4ce54e6fdc4c2e36b3ec886b96e7b3d445288150b5b683959f4d4033cc35e1","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-11-04T15:30:43Z","title_canon_sha256":"502e54ff7300c3c045203fc0648e8c7015171579264ce24fc9406ebe45ed5294"},"schema_version":"1.0","source":{"id":"1611.01423","kind":"arxiv","version":2}},"canonical_sha256":"7d6662dfc31c135927292f0192f6e5dc53effbd58e5cc2163ba1a6acf179e5c2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7d6662dfc31c135927292f0192f6e5dc53effbd58e5cc2163ba1a6acf179e5c2","first_computed_at":"2026-05-18T00:42:39.302420Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:42:39.302420Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xVczXUl+K5cL2UGoDWNnvCue20XWGeh8TrbFrmpypUYGpu++jAnrmCW8Fm37oHuo4bELt2wVWQpuOoE5bltGAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:42:39.303024Z","signed_message":"canonical_sha256_bytes"},"source_id":"1611.01423","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:587e5f289a2a885b32431ab6fbe1dce450a90385fcf47d8b1f4f1b8b9496257e","sha256:6d6d35a7a3275fdea6e78068f2c1341c0deaec6b4da677fc387c9346370ecc6c"],"state_sha256":"572b949287f7dc8424175a8d05f737b8ac0ca65a945458b19267e2108f8e24ea"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dskzo6CeBTI7sO8P15POBvvtTbfPgCcsI96gY2xilJkwPmj6p6Tm330C30tSMUWmA0ouIGuialJMWcLOkxQpBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T11:28:32.611002Z","bundle_sha256":"eaac23587d8ef8cb6745c5b40881cdb82754d194789d3187af5374705a29a96e"}}