{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:LZ3USCVHX5XNC2D7YYLVE6NRRF","short_pith_number":"pith:LZ3USCVH","canonical_record":{"source":{"id":"1910.02339","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2019-10-05T22:57:04Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"c476d442453a1551884ce7f9e84164b9344835615aae0d1133c1bbba69bc4f18","abstract_canon_sha256":"e4d720fcb799a4dc04d074eed00838fb33957fa54e04e28f815266a2213afc48"},"schema_version":"1.0"},"canonical_sha256":"5e77490aa7bf6ed1687fc6175279b1897d32f1dffb3799a03f35f85b9abb785a","source":{"kind":"arxiv","id":"1910.02339","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1910.02339","created_at":"2026-07-05T01:23:55Z"},{"alias_kind":"arxiv_version","alias_value":"1910.02339v3","created_at":"2026-07-05T01:23:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.02339","created_at":"2026-07-05T01:23:55Z"},{"alias_kind":"pith_short_12","alias_value":"LZ3USCVHX5XN","created_at":"2026-07-05T01:23:55Z"},{"alias_kind":"pith_short_16","alias_value":"LZ3USCVHX5XNC2D7","created_at":"2026-07-05T01:23:55Z"},{"alias_kind":"pith_short_8","alias_value":"LZ3USCVH","created_at":"2026-07-05T01:23:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:LZ3USCVHX5XNC2D7YYLVE6NRRF","target":"record","payload":{"canonical_record":{"source":{"id":"1910.02339","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2019-10-05T22:57:04Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"c476d442453a1551884ce7f9e84164b9344835615aae0d1133c1bbba69bc4f18","abstract_canon_sha256":"e4d720fcb799a4dc04d074eed00838fb33957fa54e04e28f815266a2213afc48"},"schema_version":"1.0"},"canonical_sha256":"5e77490aa7bf6ed1687fc6175279b1897d32f1dffb3799a03f35f85b9abb785a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:23:55.156671Z","signature_b64":"5SgnZc8cjvVcbuorhoZ2xL66GdlGLNIc8sB3oKqwqg9MdzjFVUmPoUX1mLPvVMfyq1bihuOpdGgiH7R8ycGgAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5e77490aa7bf6ed1687fc6175279b1897d32f1dffb3799a03f35f85b9abb785a","last_reissued_at":"2026-07-05T01:23:55.156209Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:23:55.156209Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1910.02339","source_version":3,"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-07-05T01:23:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mB2/azQicp5jmYae7FiXIuR0uGSuvfPxGfCwPxFGYk+gHNs0/QSc2AFILAwsguLrcwaeKcvWfilxtwJK9D/1BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T06:36:23.233622Z"},"content_sha256":"74097d098dbf1ae195817b66a34ee9198ff10f8976bf6ff67b650e23fefdf276","schema_version":"1.0","event_id":"sha256:74097d098dbf1ae195817b66a34ee9198ff10f8976bf6ff67b650e23fefdf276"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:LZ3USCVHX5XNC2D7YYLVE6NRRF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mapping Natural-language Problems to Formal-language Solutions Using Structured Neural Representations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.CL","authors_text":"Hamid Palangi, Jianfeng Gao, Kenneth D. Forbus, Kezhen Chen, Paul Smolensky, Qiuyuan Huang","submitted_at":"2019-10-05T22:57:04Z","abstract_excerpt":"Generating formal-language programs represented by relational tuples, such as Lisp programs or mathematical operations, to solve problems stated in natural language is a challenging task because it requires explicitly capturing discrete symbolic structural information implicit in the input. However, most general neural sequence models do not explicitly capture such structural information, limiting their performance on these tasks. In this paper, we propose a new encoder-decoder model based on a structured neural representation, Tensor Product Representations (TPRs), for mapping Natural-languag"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.02339","kind":"arxiv","version":3},"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/1910.02339/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"},"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-07-05T01:23:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wMquqxbOWt4H9odFyrkSp/IuKHxQt9t92dMpbgL4JZlok3tWPMfTL1uuRS8h4pmA7CXtpR6pOynTdbT2Tl9fDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T06:36:23.234512Z"},"content_sha256":"5809e96d68f455dd83a0f00a8ecd05ed9263f33f4f858e89dab7ec4d5dde1414","schema_version":"1.0","event_id":"sha256:5809e96d68f455dd83a0f00a8ecd05ed9263f33f4f858e89dab7ec4d5dde1414"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LZ3USCVHX5XNC2D7YYLVE6NRRF/bundle.json","state_url":"https://pith.science/pith/LZ3USCVHX5XNC2D7YYLVE6NRRF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LZ3USCVHX5XNC2D7YYLVE6NRRF/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-08-13T06:36:23Z","links":{"resolver":"https://pith.science/pith/LZ3USCVHX5XNC2D7YYLVE6NRRF","bundle":"https://pith.science/pith/LZ3USCVHX5XNC2D7YYLVE6NRRF/bundle.json","state":"https://pith.science/pith/LZ3USCVHX5XNC2D7YYLVE6NRRF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LZ3USCVHX5XNC2D7YYLVE6NRRF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:LZ3USCVHX5XNC2D7YYLVE6NRRF","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":"e4d720fcb799a4dc04d074eed00838fb33957fa54e04e28f815266a2213afc48","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2019-10-05T22:57:04Z","title_canon_sha256":"c476d442453a1551884ce7f9e84164b9344835615aae0d1133c1bbba69bc4f18"},"schema_version":"1.0","source":{"id":"1910.02339","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1910.02339","created_at":"2026-07-05T01:23:55Z"},{"alias_kind":"arxiv_version","alias_value":"1910.02339v3","created_at":"2026-07-05T01:23:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.02339","created_at":"2026-07-05T01:23:55Z"},{"alias_kind":"pith_short_12","alias_value":"LZ3USCVHX5XN","created_at":"2026-07-05T01:23:55Z"},{"alias_kind":"pith_short_16","alias_value":"LZ3USCVHX5XNC2D7","created_at":"2026-07-05T01:23:55Z"},{"alias_kind":"pith_short_8","alias_value":"LZ3USCVH","created_at":"2026-07-05T01:23:55Z"}],"graph_snapshots":[{"event_id":"sha256:5809e96d68f455dd83a0f00a8ecd05ed9263f33f4f858e89dab7ec4d5dde1414","target":"graph","created_at":"2026-07-05T01:23:55Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1910.02339/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Generating formal-language programs represented by relational tuples, such as Lisp programs or mathematical operations, to solve problems stated in natural language is a challenging task because it requires explicitly capturing discrete symbolic structural information implicit in the input. However, most general neural sequence models do not explicitly capture such structural information, limiting their performance on these tasks. In this paper, we propose a new encoder-decoder model based on a structured neural representation, Tensor Product Representations (TPRs), for mapping Natural-languag","authors_text":"Hamid Palangi, Jianfeng Gao, Kenneth D. Forbus, Kezhen Chen, Paul Smolensky, Qiuyuan Huang","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2019-10-05T22:57:04Z","title":"Mapping Natural-language Problems to Formal-language Solutions Using Structured Neural Representations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.02339","kind":"arxiv","version":3},"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:74097d098dbf1ae195817b66a34ee9198ff10f8976bf6ff67b650e23fefdf276","target":"record","created_at":"2026-07-05T01:23:55Z","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":"e4d720fcb799a4dc04d074eed00838fb33957fa54e04e28f815266a2213afc48","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2019-10-05T22:57:04Z","title_canon_sha256":"c476d442453a1551884ce7f9e84164b9344835615aae0d1133c1bbba69bc4f18"},"schema_version":"1.0","source":{"id":"1910.02339","kind":"arxiv","version":3}},"canonical_sha256":"5e77490aa7bf6ed1687fc6175279b1897d32f1dffb3799a03f35f85b9abb785a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5e77490aa7bf6ed1687fc6175279b1897d32f1dffb3799a03f35f85b9abb785a","first_computed_at":"2026-07-05T01:23:55.156209Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:23:55.156209Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5SgnZc8cjvVcbuorhoZ2xL66GdlGLNIc8sB3oKqwqg9MdzjFVUmPoUX1mLPvVMfyq1bihuOpdGgiH7R8ycGgAA==","signature_status":"signed_v1","signed_at":"2026-07-05T01:23:55.156671Z","signed_message":"canonical_sha256_bytes"},"source_id":"1910.02339","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:74097d098dbf1ae195817b66a34ee9198ff10f8976bf6ff67b650e23fefdf276","sha256:5809e96d68f455dd83a0f00a8ecd05ed9263f33f4f858e89dab7ec4d5dde1414"],"state_sha256":"5c98f77c2004c12608960678000faef0c3a6082a9814f481de49a54bcaaab113"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SMQ2u4MhDzk71ileVFd4mvRleGrjtNDbn+LonRMPOMvbaFa0DFuB9/Bnnj4+Ze7ORSSxCWQ2dzRY4HH5nqhvBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T06:36:23.245010Z","bundle_sha256":"69bf86d8ebe2cb6f53a7f1c4d8322c9036d13a688450b4c34ed4cb4abbefbe44"}}