{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:6EAOM7VJF57IVCS6LDFIPB3YVE","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":"9fd04fb6d9b8ec009d196d20afe6cc4fd3895f21b78355f18a5dc0cd8b914bcf","cross_cats_sorted":["cs.CL","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2024-04-19T03:28:18Z","title_canon_sha256":"b9ed76f5057ec280f7e2e84cad0d514bb3ca846b4a5f511301a1a971ac0644ee"},"schema_version":"1.0","source":{"id":"2404.12608","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.12608","created_at":"2026-07-05T08:09:56Z"},{"alias_kind":"arxiv_version","alias_value":"2404.12608v1","created_at":"2026-07-05T08:09:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.12608","created_at":"2026-07-05T08:09:56Z"},{"alias_kind":"pith_short_12","alias_value":"6EAOM7VJF57I","created_at":"2026-07-05T08:09:56Z"},{"alias_kind":"pith_short_16","alias_value":"6EAOM7VJF57IVCS6","created_at":"2026-07-05T08:09:56Z"},{"alias_kind":"pith_short_8","alias_value":"6EAOM7VJ","created_at":"2026-07-05T08:09:56Z"}],"graph_snapshots":[{"event_id":"sha256:743fe65aa1acc45147d11508eebf1bd4f5414b8818d51fe247ac1fb6d8866971","target":"graph","created_at":"2026-07-05T08:09:56Z","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/2404.12608/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Spreadsheets are widely recognized as the most popular end-user programming tools, which blend the power of formula-based computation, with an intuitive table-based interface. Today, spreadsheets are used by billions of users to manipulate tables, most of whom are neither database experts nor professional programmers.\n  Despite the success of spreadsheets, authoring complex formulas remains challenging, as non-technical users need to look up and understand non-trivial formula syntax. To address this pain point, we leverage the observation that there is often an abundance of similar-looking spr","authors_text":"Dongmei Zhang, Haidong Zhang, Ju Fan, Sibei Chen, Song Ge, Surajit Chaudhuri, Weiwei Cui, Yeye He","cross_cats":["cs.CL","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2024-04-19T03:28:18Z","title":"Auto-Formula: Recommend Formulas in Spreadsheets using Contrastive Learning for Table Representations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.12608","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:758d042f4c509f404780344e8c372cd61d2dc4e5db4f55925fc7a85816ff6284","target":"record","created_at":"2026-07-05T08:09:56Z","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":"9fd04fb6d9b8ec009d196d20afe6cc4fd3895f21b78355f18a5dc0cd8b914bcf","cross_cats_sorted":["cs.CL","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2024-04-19T03:28:18Z","title_canon_sha256":"b9ed76f5057ec280f7e2e84cad0d514bb3ca846b4a5f511301a1a971ac0644ee"},"schema_version":"1.0","source":{"id":"2404.12608","kind":"arxiv","version":1}},"canonical_sha256":"f100e67ea92f7e8a8a5e58ca878778a9050ec7db5c4c78d207a9eb2de4b8e937","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f100e67ea92f7e8a8a5e58ca878778a9050ec7db5c4c78d207a9eb2de4b8e937","first_computed_at":"2026-07-05T08:09:56.116740Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:09:56.116740Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZtVPmFSyjQFck5crJsBwwehKxblqX/kZUSzBZFcR6uODTRa+KjRHsG2tlHwjOhnEw12dmjk3DA5ztnGF0B7HBA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:09:56.117252Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.12608","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:758d042f4c509f404780344e8c372cd61d2dc4e5db4f55925fc7a85816ff6284","sha256:743fe65aa1acc45147d11508eebf1bd4f5414b8818d51fe247ac1fb6d8866971"],"state_sha256":"1e905540734d6098fb34a21cf7e7d0816ce3397a2b1109253ae9999b06ee55d3"}