{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:U3AZRCSPPNGVTCZR6COMDHOL7N","short_pith_number":"pith:U3AZRCSP","canonical_record":{"source":{"id":"1606.06900","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-06-22T11:07:43Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"d6360f1de1475713ac08e2ffa49f65abb7e0d74b4159fdf89c3974d9158f9195","abstract_canon_sha256":"f73abc0bde118ce230f45aea2f793a1590f4c825f5e3c7aa1ae42f248ebcbd27"},"schema_version":"1.0"},"canonical_sha256":"a6c1988a4f7b4d598b31f09cc19dcbfb701548345ac1ccebbbf3e445e6c194c6","source":{"kind":"arxiv","id":"1606.06900","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.06900","created_at":"2026-05-18T00:58:33Z"},{"alias_kind":"arxiv_version","alias_value":"1606.06900v2","created_at":"2026-05-18T00:58:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.06900","created_at":"2026-05-18T00:58:33Z"},{"alias_kind":"pith_short_12","alias_value":"U3AZRCSPPNGV","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"U3AZRCSPPNGVTCZR","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"U3AZRCSP","created_at":"2026-05-18T12:30:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:U3AZRCSPPNGVTCZR6COMDHOL7N","target":"record","payload":{"canonical_record":{"source":{"id":"1606.06900","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-06-22T11:07:43Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"d6360f1de1475713ac08e2ffa49f65abb7e0d74b4159fdf89c3974d9158f9195","abstract_canon_sha256":"f73abc0bde118ce230f45aea2f793a1590f4c825f5e3c7aa1ae42f248ebcbd27"},"schema_version":"1.0"},"canonical_sha256":"a6c1988a4f7b4d598b31f09cc19dcbfb701548345ac1ccebbbf3e445e6c194c6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:58:33.253022Z","signature_b64":"hfqI2qNSvHECSYA07qVKl9m0qYFSV/hFekldVGqKrsOctQyrp1h9BfE9Cdpp1h04Tz0i54iWrBTnb6w3TXtcBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a6c1988a4f7b4d598b31f09cc19dcbfb701548345ac1ccebbbf3e445e6c194c6","last_reissued_at":"2026-05-18T00:58:33.252302Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:58:33.252302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.06900","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:58:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wvDrlxM1cw9kufjTyrTg0t6f3Ab6aZYrlzSMVt/XMcT3Jd8T1ev5h45NR13jaxpdW+m7VT/IRtqG9yKSP7LpAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T08:38:25.123496Z"},"content_sha256":"90da2e5e155d7fb90931e95536f5333af7b83bde38390b04d6eb8ecfb7c1783c","schema_version":"1.0","event_id":"sha256:90da2e5e155d7fb90931e95536f5333af7b83bde38390b04d6eb8ecfb7c1783c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:U3AZRCSPPNGVTCZR6COMDHOL7N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Inferring Logical Forms From Denotations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Panupong Pasupat, Percy Liang","submitted_at":"2016-06-22T11:07:43Z","abstract_excerpt":"A core problem in learning semantic parsers from denotations is picking out consistent logical forms--those that yield the correct denotation--from a combinatorially large space. To control the search space, previous work relied on restricted set of rules, which limits expressivity. In this paper, we consider a much more expressive class of logical forms, and show how to use dynamic programming to efficiently represent the complete set of consistent logical forms. Expressivity also introduces many more spurious logical forms which are consistent with the correct denotation but do not represent"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.06900","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:58:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fmjP7YGy+UqSDac1q/8gsNAgvtn/sSDF16jc4DX01XQzSBO9c4KhEL8QqatEwZx9khGapwX3MIH+8iaWQnnnAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T08:38:25.123849Z"},"content_sha256":"7b0eafdb98e9c101f5b48fe56ffa0cc68a19f5863072fd8cf9d5af14cab61ec4","schema_version":"1.0","event_id":"sha256:7b0eafdb98e9c101f5b48fe56ffa0cc68a19f5863072fd8cf9d5af14cab61ec4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/U3AZRCSPPNGVTCZR6COMDHOL7N/bundle.json","state_url":"https://pith.science/pith/U3AZRCSPPNGVTCZR6COMDHOL7N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/U3AZRCSPPNGVTCZR6COMDHOL7N/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-30T08:38:25Z","links":{"resolver":"https://pith.science/pith/U3AZRCSPPNGVTCZR6COMDHOL7N","bundle":"https://pith.science/pith/U3AZRCSPPNGVTCZR6COMDHOL7N/bundle.json","state":"https://pith.science/pith/U3AZRCSPPNGVTCZR6COMDHOL7N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/U3AZRCSPPNGVTCZR6COMDHOL7N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:U3AZRCSPPNGVTCZR6COMDHOL7N","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":"f73abc0bde118ce230f45aea2f793a1590f4c825f5e3c7aa1ae42f248ebcbd27","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-06-22T11:07:43Z","title_canon_sha256":"d6360f1de1475713ac08e2ffa49f65abb7e0d74b4159fdf89c3974d9158f9195"},"schema_version":"1.0","source":{"id":"1606.06900","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.06900","created_at":"2026-05-18T00:58:33Z"},{"alias_kind":"arxiv_version","alias_value":"1606.06900v2","created_at":"2026-05-18T00:58:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.06900","created_at":"2026-05-18T00:58:33Z"},{"alias_kind":"pith_short_12","alias_value":"U3AZRCSPPNGV","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"U3AZRCSPPNGVTCZR","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"U3AZRCSP","created_at":"2026-05-18T12:30:46Z"}],"graph_snapshots":[{"event_id":"sha256:7b0eafdb98e9c101f5b48fe56ffa0cc68a19f5863072fd8cf9d5af14cab61ec4","target":"graph","created_at":"2026-05-18T00:58:33Z","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":"A core problem in learning semantic parsers from denotations is picking out consistent logical forms--those that yield the correct denotation--from a combinatorially large space. To control the search space, previous work relied on restricted set of rules, which limits expressivity. In this paper, we consider a much more expressive class of logical forms, and show how to use dynamic programming to efficiently represent the complete set of consistent logical forms. Expressivity also introduces many more spurious logical forms which are consistent with the correct denotation but do not represent","authors_text":"Panupong Pasupat, Percy Liang","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-06-22T11:07:43Z","title":"Inferring Logical Forms From Denotations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.06900","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:90da2e5e155d7fb90931e95536f5333af7b83bde38390b04d6eb8ecfb7c1783c","target":"record","created_at":"2026-05-18T00:58:33Z","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":"f73abc0bde118ce230f45aea2f793a1590f4c825f5e3c7aa1ae42f248ebcbd27","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-06-22T11:07:43Z","title_canon_sha256":"d6360f1de1475713ac08e2ffa49f65abb7e0d74b4159fdf89c3974d9158f9195"},"schema_version":"1.0","source":{"id":"1606.06900","kind":"arxiv","version":2}},"canonical_sha256":"a6c1988a4f7b4d598b31f09cc19dcbfb701548345ac1ccebbbf3e445e6c194c6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a6c1988a4f7b4d598b31f09cc19dcbfb701548345ac1ccebbbf3e445e6c194c6","first_computed_at":"2026-05-18T00:58:33.252302Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:58:33.252302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hfqI2qNSvHECSYA07qVKl9m0qYFSV/hFekldVGqKrsOctQyrp1h9BfE9Cdpp1h04Tz0i54iWrBTnb6w3TXtcBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:58:33.253022Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.06900","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:90da2e5e155d7fb90931e95536f5333af7b83bde38390b04d6eb8ecfb7c1783c","sha256:7b0eafdb98e9c101f5b48fe56ffa0cc68a19f5863072fd8cf9d5af14cab61ec4"],"state_sha256":"03e5b595a4b51860e20ba7d725c92770d779bfe3f5c894b2f93ba6395c4d4eac"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ij0UUz49YjQVhnPuf7Lkh5Ehs9iPAFTbL8HkuNlu+5SDCqbH1B8V/yDuA+UypsxEd7UKSr45Ws2KhKYW8jUYDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T08:38:25.126025Z","bundle_sha256":"d9a21b730486e4d9e89d4798b13a26d01bca680f0d2d96094c1eca6a8281e62e"}}