{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:ASAFD6ENDFVYQV2MHJLSA6LI4O","short_pith_number":"pith:ASAFD6EN","canonical_record":{"source":{"id":"2209.01081","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-09-02T14:24:28Z","cross_cats_sorted":[],"title_canon_sha256":"68bd5f7e5114b33419e0020f997c16814a55953bbca023bece93f1109d7c8fbc","abstract_canon_sha256":"2c59bf86bfea4cf0930b0d7a2807373e9a2e977b6dfcebcf7a71c9a4c1675bff"},"schema_version":"1.0"},"canonical_sha256":"048051f88d196b88574c3a57207968e3964ffbd9b20e7669e4eb4e81e118889d","source":{"kind":"arxiv","id":"2209.01081","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2209.01081","created_at":"2026-07-05T04:54:08Z"},{"alias_kind":"arxiv_version","alias_value":"2209.01081v1","created_at":"2026-07-05T04:54:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.01081","created_at":"2026-07-05T04:54:08Z"},{"alias_kind":"pith_short_12","alias_value":"ASAFD6ENDFVY","created_at":"2026-07-05T04:54:08Z"},{"alias_kind":"pith_short_16","alias_value":"ASAFD6ENDFVYQV2M","created_at":"2026-07-05T04:54:08Z"},{"alias_kind":"pith_short_8","alias_value":"ASAFD6EN","created_at":"2026-07-05T04:54:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:ASAFD6ENDFVYQV2MHJLSA6LI4O","target":"record","payload":{"canonical_record":{"source":{"id":"2209.01081","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-09-02T14:24:28Z","cross_cats_sorted":[],"title_canon_sha256":"68bd5f7e5114b33419e0020f997c16814a55953bbca023bece93f1109d7c8fbc","abstract_canon_sha256":"2c59bf86bfea4cf0930b0d7a2807373e9a2e977b6dfcebcf7a71c9a4c1675bff"},"schema_version":"1.0"},"canonical_sha256":"048051f88d196b88574c3a57207968e3964ffbd9b20e7669e4eb4e81e118889d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:54:08.344264Z","signature_b64":"+CDWj3HowLY03SEY8/Zk8NzFbwzF7LkAlJMCewovNXsuq2p3TPcotCe8Nv06o8VmOV/Y5Qxabj+ulWDzjWYLAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"048051f88d196b88574c3a57207968e3964ffbd9b20e7669e4eb4e81e118889d","last_reissued_at":"2026-07-05T04:54:08.343767Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:54:08.343767Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2209.01081","source_version":1,"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-05T04:54:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GkfgxRS1FVuxowhf66RFgevmWOQzhfPNHLAgvjIAZFK/P2x8gguVDEX8svL56vrApYR9iSmvyqfkJz29IHdGAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T15:09:20.752389Z"},"content_sha256":"696daed4e7eb08144411673aa2041b7eaeff3a174781d69671c42f70190a2c2e","schema_version":"1.0","event_id":"sha256:696daed4e7eb08144411673aa2041b7eaeff3a174781d69671c42f70190a2c2e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:ASAFD6ENDFVYQV2MHJLSA6LI4O","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Type-Directed Synthesis of Visualizations from Natural Language Queries","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Abby Criswell, Celeste Barnaby, Chenglong Wang, Greg Durrett, Isil Dillig, Qiaochu Chen, Shankara Pailoor","submitted_at":"2022-09-02T14:24:28Z","abstract_excerpt":"We propose a new technique based on program synthesis for automatically generating visualizations from natural language queries. Our method parses the natural language query into a refinement type specification using the intents-and-slots paradigm and leverages type-directed synthesis to generate a set of visualization programs that are most likely to meet the user's intent. Our refinement type system captures useful hints present in the natural language query and allows the synthesis algorithm to reject visualizations that violate well-established design guidelines for the input data set. We "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2209.01081","kind":"arxiv","version":1},"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/2209.01081/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-05T04:54:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8vop18jPifsKJhiYJiuXX3N24GBcwL3ykAIelv5ffzrs0SPKvF4tbs9XqKwAWqUWwAnabPz4O1Upaato2zYNDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T15:09:20.752770Z"},"content_sha256":"62024e73b5e3fca0471aa2d54d8c083d6a71972f3ae61a847ae8bd172d4e7067","schema_version":"1.0","event_id":"sha256:62024e73b5e3fca0471aa2d54d8c083d6a71972f3ae61a847ae8bd172d4e7067"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ASAFD6ENDFVYQV2MHJLSA6LI4O/bundle.json","state_url":"https://pith.science/pith/ASAFD6ENDFVYQV2MHJLSA6LI4O/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ASAFD6ENDFVYQV2MHJLSA6LI4O/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-07-06T15:09:20Z","links":{"resolver":"https://pith.science/pith/ASAFD6ENDFVYQV2MHJLSA6LI4O","bundle":"https://pith.science/pith/ASAFD6ENDFVYQV2MHJLSA6LI4O/bundle.json","state":"https://pith.science/pith/ASAFD6ENDFVYQV2MHJLSA6LI4O/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ASAFD6ENDFVYQV2MHJLSA6LI4O/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:ASAFD6ENDFVYQV2MHJLSA6LI4O","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":"2c59bf86bfea4cf0930b0d7a2807373e9a2e977b6dfcebcf7a71c9a4c1675bff","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-09-02T14:24:28Z","title_canon_sha256":"68bd5f7e5114b33419e0020f997c16814a55953bbca023bece93f1109d7c8fbc"},"schema_version":"1.0","source":{"id":"2209.01081","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2209.01081","created_at":"2026-07-05T04:54:08Z"},{"alias_kind":"arxiv_version","alias_value":"2209.01081v1","created_at":"2026-07-05T04:54:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.01081","created_at":"2026-07-05T04:54:08Z"},{"alias_kind":"pith_short_12","alias_value":"ASAFD6ENDFVY","created_at":"2026-07-05T04:54:08Z"},{"alias_kind":"pith_short_16","alias_value":"ASAFD6ENDFVYQV2M","created_at":"2026-07-05T04:54:08Z"},{"alias_kind":"pith_short_8","alias_value":"ASAFD6EN","created_at":"2026-07-05T04:54:08Z"}],"graph_snapshots":[{"event_id":"sha256:62024e73b5e3fca0471aa2d54d8c083d6a71972f3ae61a847ae8bd172d4e7067","target":"graph","created_at":"2026-07-05T04:54:08Z","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/2209.01081/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We propose a new technique based on program synthesis for automatically generating visualizations from natural language queries. Our method parses the natural language query into a refinement type specification using the intents-and-slots paradigm and leverages type-directed synthesis to generate a set of visualization programs that are most likely to meet the user's intent. Our refinement type system captures useful hints present in the natural language query and allows the synthesis algorithm to reject visualizations that violate well-established design guidelines for the input data set. We ","authors_text":"Abby Criswell, Celeste Barnaby, Chenglong Wang, Greg Durrett, Isil Dillig, Qiaochu Chen, Shankara Pailoor","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-09-02T14:24:28Z","title":"Type-Directed Synthesis of Visualizations from Natural Language Queries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2209.01081","kind":"arxiv","version":1},"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:696daed4e7eb08144411673aa2041b7eaeff3a174781d69671c42f70190a2c2e","target":"record","created_at":"2026-07-05T04:54:08Z","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":"2c59bf86bfea4cf0930b0d7a2807373e9a2e977b6dfcebcf7a71c9a4c1675bff","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-09-02T14:24:28Z","title_canon_sha256":"68bd5f7e5114b33419e0020f997c16814a55953bbca023bece93f1109d7c8fbc"},"schema_version":"1.0","source":{"id":"2209.01081","kind":"arxiv","version":1}},"canonical_sha256":"048051f88d196b88574c3a57207968e3964ffbd9b20e7669e4eb4e81e118889d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"048051f88d196b88574c3a57207968e3964ffbd9b20e7669e4eb4e81e118889d","first_computed_at":"2026-07-05T04:54:08.343767Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:54:08.343767Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+CDWj3HowLY03SEY8/Zk8NzFbwzF7LkAlJMCewovNXsuq2p3TPcotCe8Nv06o8VmOV/Y5Qxabj+ulWDzjWYLAw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:54:08.344264Z","signed_message":"canonical_sha256_bytes"},"source_id":"2209.01081","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:696daed4e7eb08144411673aa2041b7eaeff3a174781d69671c42f70190a2c2e","sha256:62024e73b5e3fca0471aa2d54d8c083d6a71972f3ae61a847ae8bd172d4e7067"],"state_sha256":"42b2b1b2f377b1dcc8b780e95c17b53c5c19f8ec07c11e422f6d12da049e96d7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"imA48id7kY64BVjPEL8XdXaOr05PLqy1Yzx4BsoG2iRl2W+/mpMAWde8I2gvb7vXhGGoS8futaPbQKL98lNDCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T15:09:20.754702Z","bundle_sha256":"38608468e70efff9be489bc9602e4237d2a0d4ea08b3e92112a9624668f005ba"}}