{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:3WGYSHKZJ4HVVRJ23TLYSDF6CL","short_pith_number":"pith:3WGYSHKZ","schema_version":"1.0","canonical_sha256":"dd8d891d594f0f5ac53adcd7890cbe12e6b3fca409dd04455edd39be6d417ac6","source":{"kind":"arxiv","id":"1309.4408","version":2},"attestation_state":"computed","paper":{"title":"Lambda Dependency-Based Compositional Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Percy Liang","submitted_at":"2013-09-17T17:58:56Z","abstract_excerpt":"This short note presents a new formal language, lambda dependency-based compositional semantics (lambda DCS) for representing logical forms in semantic parsing. By eliminating variables and making existential quantification implicit, lambda DCS logical forms are generally more compact than those in lambda calculus."},"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":"1309.4408","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-09-17T17:58:56Z","cross_cats_sorted":[],"title_canon_sha256":"02e8058755527f2f84c68769198fab51d861b68e6b504bbb780f777cfb5bcdbc","abstract_canon_sha256":"17bc62653c4e4f899226a1963d7b5795701763e21c30ae6b0090d719ea1e24bd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:12:59.473959Z","signature_b64":"mgcU8UxM13dRdK+QeXniDF7EA3HyTgCLbhIUc+JVC4DJA7n/bn9TANIzplGhtAn0EdgqDxWYrFRStVt1j/MwCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dd8d891d594f0f5ac53adcd7890cbe12e6b3fca409dd04455edd39be6d417ac6","last_reissued_at":"2026-05-18T03:12:59.473231Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:12:59.473231Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Lambda Dependency-Based Compositional Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Percy Liang","submitted_at":"2013-09-17T17:58:56Z","abstract_excerpt":"This short note presents a new formal language, lambda dependency-based compositional semantics (lambda DCS) for representing logical forms in semantic parsing. By eliminating variables and making existential quantification implicit, lambda DCS logical forms are generally more compact than those in lambda calculus."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.4408","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1309.4408","created_at":"2026-05-18T03:12:59.473370+00:00"},{"alias_kind":"arxiv_version","alias_value":"1309.4408v2","created_at":"2026-05-18T03:12:59.473370+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.4408","created_at":"2026-05-18T03:12:59.473370+00:00"},{"alias_kind":"pith_short_12","alias_value":"3WGYSHKZJ4HV","created_at":"2026-05-18T12:27:32.513160+00:00"},{"alias_kind":"pith_short_16","alias_value":"3WGYSHKZJ4HVVRJ2","created_at":"2026-05-18T12:27:32.513160+00:00"},{"alias_kind":"pith_short_8","alias_value":"3WGYSHKZ","created_at":"2026-05-18T12:27:32.513160+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.05525","citing_title":"Anatomy of a Query: W5H Dimensions and FAR Patterns for Text-to-SQL Evaluation","ref_index":6,"is_internal_anchor":false},{"citing_arxiv_id":"2604.10776","citing_title":"Natural Language to What? A Vision for Intermediate Representations in NL-to-X Querying","ref_index":17,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/3WGYSHKZJ4HVVRJ23TLYSDF6CL","json":"https://pith.science/pith/3WGYSHKZJ4HVVRJ23TLYSDF6CL.json","graph_json":"https://pith.science/api/pith-number/3WGYSHKZJ4HVVRJ23TLYSDF6CL/graph.json","events_json":"https://pith.science/api/pith-number/3WGYSHKZJ4HVVRJ23TLYSDF6CL/events.json","paper":"https://pith.science/paper/3WGYSHKZ"},"agent_actions":{"view_html":"https://pith.science/pith/3WGYSHKZJ4HVVRJ23TLYSDF6CL","download_json":"https://pith.science/pith/3WGYSHKZJ4HVVRJ23TLYSDF6CL.json","view_paper":"https://pith.science/paper/3WGYSHKZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1309.4408&json=true","fetch_graph":"https://pith.science/api/pith-number/3WGYSHKZJ4HVVRJ23TLYSDF6CL/graph.json","fetch_events":"https://pith.science/api/pith-number/3WGYSHKZJ4HVVRJ23TLYSDF6CL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3WGYSHKZJ4HVVRJ23TLYSDF6CL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3WGYSHKZJ4HVVRJ23TLYSDF6CL/action/storage_attestation","attest_author":"https://pith.science/pith/3WGYSHKZJ4HVVRJ23TLYSDF6CL/action/author_attestation","sign_citation":"https://pith.science/pith/3WGYSHKZJ4HVVRJ23TLYSDF6CL/action/citation_signature","submit_replication":"https://pith.science/pith/3WGYSHKZJ4HVVRJ23TLYSDF6CL/action/replication_record"}},"created_at":"2026-05-18T03:12:59.473370+00:00","updated_at":"2026-05-18T03:12:59.473370+00:00"}