{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:KZ2IM3AQ6ERDFREEWLVYGYTEKQ","short_pith_number":"pith:KZ2IM3AQ","canonical_record":{"source":{"id":"2210.02875","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2022-10-06T12:55:17Z","cross_cats_sorted":[],"title_canon_sha256":"4a5a701566fdbaaf799cc8131fc2721407a2bece80589cf03d2bbc3309a846bf","abstract_canon_sha256":"696ebdc685b57a64cb81e110f1794d1343bf8d7e870136b1403451223d9157e8"},"schema_version":"1.0"},"canonical_sha256":"5674866c10f12232c484b2eb836264540b96d14c1a2c6aa3dd96194344e4ffb5","source":{"kind":"arxiv","id":"2210.02875","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.02875","created_at":"2026-07-05T05:46:52Z"},{"alias_kind":"arxiv_version","alias_value":"2210.02875v2","created_at":"2026-07-05T05:46:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.02875","created_at":"2026-07-05T05:46:52Z"},{"alias_kind":"pith_short_12","alias_value":"KZ2IM3AQ6ERD","created_at":"2026-07-05T05:46:52Z"},{"alias_kind":"pith_short_16","alias_value":"KZ2IM3AQ6ERDFREE","created_at":"2026-07-05T05:46:52Z"},{"alias_kind":"pith_short_8","alias_value":"KZ2IM3AQ","created_at":"2026-07-05T05:46:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:KZ2IM3AQ6ERDFREEWLVYGYTEKQ","target":"record","payload":{"canonical_record":{"source":{"id":"2210.02875","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2022-10-06T12:55:17Z","cross_cats_sorted":[],"title_canon_sha256":"4a5a701566fdbaaf799cc8131fc2721407a2bece80589cf03d2bbc3309a846bf","abstract_canon_sha256":"696ebdc685b57a64cb81e110f1794d1343bf8d7e870136b1403451223d9157e8"},"schema_version":"1.0"},"canonical_sha256":"5674866c10f12232c484b2eb836264540b96d14c1a2c6aa3dd96194344e4ffb5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:46:52.286049Z","signature_b64":"33McosuzGsdC2PI7M4P0uW+SHI3u92f3ubuUeo5x/6Ku7kE9B6KiUoAFymoXLtbOYsWIrO04LxGFKHzCFSlcDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5674866c10f12232c484b2eb836264540b96d14c1a2c6aa3dd96194344e4ffb5","last_reissued_at":"2026-07-05T05:46:52.285626Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:46:52.285626Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2210.02875","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-07-05T05:46:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EaCT4YSYUao8HkgQLX+CcfNN0PH2cOsH7Y9llBqoPNYrrst/01FPra68yt/ErUBwi/4WcIc4V9l/yCYql28zAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T23:37:27.709330Z"},"content_sha256":"eca5fbbda607777f400efcf1f8cf6ec2c3aac1cc99a9e165467c6009e18c58fd","schema_version":"1.0","event_id":"sha256:eca5fbbda607777f400efcf1f8cf6ec2c3aac1cc99a9e165467c6009e18c58fd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:KZ2IM3AQ6ERDFREEWLVYGYTEKQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Binding Language Models in Symbolic Languages","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Caiming Xiong, Chengzu Li, Dragomir Radev, Luke Zettlemoyer, Mari Ostendorf, Noah A. Smith, Peng Shi, Rahul Nadkarni, Tao Yu, Tianbao Xie, Yushi Hu, Zhoujun Cheng","submitted_at":"2022-10-06T12:55:17Z","abstract_excerpt":"Though end-to-end neural approaches have recently been dominating NLP tasks in both performance and ease-of-use, they lack interpretability and robustness. We propose Binder, a training-free neural-symbolic framework that maps the task input to a program, which (1) allows binding a unified API of language model (LM) functionalities to a programming language (e.g., SQL, Python) to extend its grammar coverage and thus tackle more diverse questions, (2) adopts an LM as both the program parser and the underlying model called by the API during execution, and (3) requires only a few in-context exemp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.02875","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2210.02875/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-05T05:46:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XM94VE1bnTVVkLsmZtf7u0yYXS9oJLRw4fYEzIKKfh9pFPw21CS3EWFFKWb8FshtpWtDurc4wBlwFmwJJ4OCDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T23:37:27.709944Z"},"content_sha256":"823ccc33bc7a1d4c1d9cc39af13bd2f03bbde51bb7ce4c5687ae88a5c45ccbb4","schema_version":"1.0","event_id":"sha256:823ccc33bc7a1d4c1d9cc39af13bd2f03bbde51bb7ce4c5687ae88a5c45ccbb4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KZ2IM3AQ6ERDFREEWLVYGYTEKQ/bundle.json","state_url":"https://pith.science/pith/KZ2IM3AQ6ERDFREEWLVYGYTEKQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KZ2IM3AQ6ERDFREEWLVYGYTEKQ/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-04T23:37:27Z","links":{"resolver":"https://pith.science/pith/KZ2IM3AQ6ERDFREEWLVYGYTEKQ","bundle":"https://pith.science/pith/KZ2IM3AQ6ERDFREEWLVYGYTEKQ/bundle.json","state":"https://pith.science/pith/KZ2IM3AQ6ERDFREEWLVYGYTEKQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KZ2IM3AQ6ERDFREEWLVYGYTEKQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:KZ2IM3AQ6ERDFREEWLVYGYTEKQ","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":"696ebdc685b57a64cb81e110f1794d1343bf8d7e870136b1403451223d9157e8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2022-10-06T12:55:17Z","title_canon_sha256":"4a5a701566fdbaaf799cc8131fc2721407a2bece80589cf03d2bbc3309a846bf"},"schema_version":"1.0","source":{"id":"2210.02875","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.02875","created_at":"2026-07-05T05:46:52Z"},{"alias_kind":"arxiv_version","alias_value":"2210.02875v2","created_at":"2026-07-05T05:46:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.02875","created_at":"2026-07-05T05:46:52Z"},{"alias_kind":"pith_short_12","alias_value":"KZ2IM3AQ6ERD","created_at":"2026-07-05T05:46:52Z"},{"alias_kind":"pith_short_16","alias_value":"KZ2IM3AQ6ERDFREE","created_at":"2026-07-05T05:46:52Z"},{"alias_kind":"pith_short_8","alias_value":"KZ2IM3AQ","created_at":"2026-07-05T05:46:52Z"}],"graph_snapshots":[{"event_id":"sha256:823ccc33bc7a1d4c1d9cc39af13bd2f03bbde51bb7ce4c5687ae88a5c45ccbb4","target":"graph","created_at":"2026-07-05T05:46:52Z","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/2210.02875/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Though end-to-end neural approaches have recently been dominating NLP tasks in both performance and ease-of-use, they lack interpretability and robustness. We propose Binder, a training-free neural-symbolic framework that maps the task input to a program, which (1) allows binding a unified API of language model (LM) functionalities to a programming language (e.g., SQL, Python) to extend its grammar coverage and thus tackle more diverse questions, (2) adopts an LM as both the program parser and the underlying model called by the API during execution, and (3) requires only a few in-context exemp","authors_text":"Caiming Xiong, Chengzu Li, Dragomir Radev, Luke Zettlemoyer, Mari Ostendorf, Noah A. Smith, Peng Shi, Rahul Nadkarni, Tao Yu, Tianbao Xie, Yushi Hu, Zhoujun Cheng","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2022-10-06T12:55:17Z","title":"Binding Language Models in Symbolic Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.02875","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:eca5fbbda607777f400efcf1f8cf6ec2c3aac1cc99a9e165467c6009e18c58fd","target":"record","created_at":"2026-07-05T05:46:52Z","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":"696ebdc685b57a64cb81e110f1794d1343bf8d7e870136b1403451223d9157e8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2022-10-06T12:55:17Z","title_canon_sha256":"4a5a701566fdbaaf799cc8131fc2721407a2bece80589cf03d2bbc3309a846bf"},"schema_version":"1.0","source":{"id":"2210.02875","kind":"arxiv","version":2}},"canonical_sha256":"5674866c10f12232c484b2eb836264540b96d14c1a2c6aa3dd96194344e4ffb5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5674866c10f12232c484b2eb836264540b96d14c1a2c6aa3dd96194344e4ffb5","first_computed_at":"2026-07-05T05:46:52.285626Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:46:52.285626Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"33McosuzGsdC2PI7M4P0uW+SHI3u92f3ubuUeo5x/6Ku7kE9B6KiUoAFymoXLtbOYsWIrO04LxGFKHzCFSlcDA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:46:52.286049Z","signed_message":"canonical_sha256_bytes"},"source_id":"2210.02875","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:eca5fbbda607777f400efcf1f8cf6ec2c3aac1cc99a9e165467c6009e18c58fd","sha256:823ccc33bc7a1d4c1d9cc39af13bd2f03bbde51bb7ce4c5687ae88a5c45ccbb4"],"state_sha256":"6a6f1da0e2acde42225b1a58e6e5659efc805009f10c65025723818c481c5583"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0/yKp2QWa82b/B2TF4tiMD14bap+eqOO4rUS6+QVaOqTuvfWzHh0b5scw6615OnrVY20wEeM/VAli+PQvW2fDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T23:37:27.715345Z","bundle_sha256":"4fa7cb8418455d61bc304060d0110b117cb6bded6c92036694e1d8d6f06083b2"}}