{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:LE4OECGM6ECFZYAQISGEA4YEYS","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":"b277b6328a4be151c517547265173b4699dd970bfe0aba30b60abd92e6af9b3c","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2021-02-01T18:01:20Z","title_canon_sha256":"b814b9e83a710a7eb02e80046f245def3af8b1e93b8f51c40a945e6707f8ec3d"},"schema_version":"1.0","source":{"id":"2102.01024","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2102.01024","created_at":"2026-07-05T02:11:17Z"},{"alias_kind":"arxiv_version","alias_value":"2102.01024v1","created_at":"2026-07-05T02:11:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2102.01024","created_at":"2026-07-05T02:11:17Z"},{"alias_kind":"pith_short_12","alias_value":"LE4OECGM6ECF","created_at":"2026-07-05T02:11:17Z"},{"alias_kind":"pith_short_16","alias_value":"LE4OECGM6ECFZYAQ","created_at":"2026-07-05T02:11:17Z"},{"alias_kind":"pith_short_8","alias_value":"LE4OECGM","created_at":"2026-07-05T02:11:17Z"}],"graph_snapshots":[{"event_id":"sha256:213862c13114417bcd1e7c78b5016cb91768acdaa89761bd53818dae031b998d","target":"graph","created_at":"2026-07-05T02:11:17Z","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/2102.01024/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Modern visualization tools aim to allow data analysts to easily create exploratory visualizations. When the input data layout conforms to the visualization design, users can easily specify visualizations by mapping data columns to visual channels of the design. However, when there is a mismatch between data layout and the design, users need to spend significant effort on data transformation.\n  We propose Falx, a synthesis-powered visualization tool that allows users to specify visualizations in a similarly simple way but without needing to worry about data layout. In Falx, users specify visual","authors_text":"Alvin Cheung, Amy J. Ko, Chenglong Wang, Isil Dillig, Rastislav Bodik, Yu Feng","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2021-02-01T18:01:20Z","title":"Falx: Synthesis-Powered Visualization Authoring"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2102.01024","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:b2b959ea07a50c5cf532adbaf36d1b1fc87744f499ab4722b2e32078fd7f6705","target":"record","created_at":"2026-07-05T02:11:17Z","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":"b277b6328a4be151c517547265173b4699dd970bfe0aba30b60abd92e6af9b3c","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2021-02-01T18:01:20Z","title_canon_sha256":"b814b9e83a710a7eb02e80046f245def3af8b1e93b8f51c40a945e6707f8ec3d"},"schema_version":"1.0","source":{"id":"2102.01024","kind":"arxiv","version":1}},"canonical_sha256":"5938e208ccf1045ce010448c407304c491fabf116133486d4561f2c1dff90c4d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5938e208ccf1045ce010448c407304c491fabf116133486d4561f2c1dff90c4d","first_computed_at":"2026-07-05T02:11:17.743050Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:11:17.743050Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PnFsc1CVBWVZIn7LcTlq3M4Qcs50KUfPhcT1x7xvXsx5yK8omPJ+LghNERjmkL+BRdNR7VtaOSCAFvqkGcwTCg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:11:17.743505Z","signed_message":"canonical_sha256_bytes"},"source_id":"2102.01024","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b2b959ea07a50c5cf532adbaf36d1b1fc87744f499ab4722b2e32078fd7f6705","sha256:213862c13114417bcd1e7c78b5016cb91768acdaa89761bd53818dae031b998d"],"state_sha256":"3a15d6ab36523c177afa6c1766c06ad82f3290647d4b074976f0407551815ad1"}