{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:GNZ6JLZNDWDNUE2PXZWUAZ6CXU","short_pith_number":"pith:GNZ6JLZN","canonical_record":{"source":{"id":"2508.11121","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2025-08-14T23:54:40Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"7ca99ec8e530f078bbd3fe3b879a2aa20a57d9468da1177ecb4ed13103162cdd","abstract_canon_sha256":"1d7465420dbf8908f17e96bdf479f295f993416779645dcd843512a91e245a1e"},"schema_version":"1.0"},"canonical_sha256":"3373e4af2d1d86da134fbe6d4067c2bd2af22c32fd87f61a916b59997cd110ef","source":{"kind":"arxiv","id":"2508.11121","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.11121","created_at":"2026-07-05T11:54:18Z"},{"alias_kind":"arxiv_version","alias_value":"2508.11121v1","created_at":"2026-07-05T11:54:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.11121","created_at":"2026-07-05T11:54:18Z"},{"alias_kind":"pith_short_12","alias_value":"GNZ6JLZNDWDN","created_at":"2026-07-05T11:54:18Z"},{"alias_kind":"pith_short_16","alias_value":"GNZ6JLZNDWDNUE2P","created_at":"2026-07-05T11:54:18Z"},{"alias_kind":"pith_short_8","alias_value":"GNZ6JLZN","created_at":"2026-07-05T11:54:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:GNZ6JLZNDWDNUE2PXZWUAZ6CXU","target":"record","payload":{"canonical_record":{"source":{"id":"2508.11121","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2025-08-14T23:54:40Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"7ca99ec8e530f078bbd3fe3b879a2aa20a57d9468da1177ecb4ed13103162cdd","abstract_canon_sha256":"1d7465420dbf8908f17e96bdf479f295f993416779645dcd843512a91e245a1e"},"schema_version":"1.0"},"canonical_sha256":"3373e4af2d1d86da134fbe6d4067c2bd2af22c32fd87f61a916b59997cd110ef","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:54:18.878693Z","signature_b64":"e3pmFMbhcoawa25AKyyXkIxwI5dVPotoHeTMTESZ+JTo9yMi2L517//61RLQgdNrJeXHE51iDHweRMuMXvdFDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3373e4af2d1d86da134fbe6d4067c2bd2af22c32fd87f61a916b59997cd110ef","last_reissued_at":"2026-07-05T11:54:18.878274Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:54:18.878274Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.11121","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-05T11:54:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WL1QtH7ouzDOOLBDOHOC5IUJSILwnVinBOK+fdKD+eiiu/HEww98nBRhddeIN09MxLxc7pvPaRqrRjDKq8mGAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T06:33:33.053352Z"},"content_sha256":"1f57186e736b762e5b0d059c70edd3b740a2aac45194d5b3df6ad743c3320858","schema_version":"1.0","event_id":"sha256:1f57186e736b762e5b0d059c70edd3b740a2aac45194d5b3df6ad743c3320858"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:GNZ6JLZNDWDNUE2PXZWUAZ6CXU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tabularis Formatus: Predictive Formatting for Tables","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.DB","authors_text":"Gust Verbruggen, Jos\\'e Cambronero, Mukul Singh, Sumit Gulwani, Vu Le","submitted_at":"2025-08-14T23:54:40Z","abstract_excerpt":"Spreadsheet manipulation software are widely used for data management and analysis of tabular data, yet the creation of conditional formatting (CF) rules remains a complex task requiring technical knowledge and experience with specific platforms. In this paper we present TaFo, a neuro-symbolic approach to generating CF suggestions for tables, addressing common challenges such as user unawareness, difficulty in rule creation, and inadequate user interfaces. TaFo takes inspiration from component based synthesis systems and extends them with semantic knowledge of language models and a diversity p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.11121","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/2508.11121/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-05T11:54:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eYA+w3uaNZxA0Di/KojSsc8dkVInUK3QOe5fgqIH+tKy+qF4I4Vj+2B1tzLe4os9mAZGV1ql4oIN/cpnbKYFDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T06:33:33.053737Z"},"content_sha256":"1e9c984e00f598d0d7a50dfdd99f43b781cd5619913b61024054974f0f7cfd57","schema_version":"1.0","event_id":"sha256:1e9c984e00f598d0d7a50dfdd99f43b781cd5619913b61024054974f0f7cfd57"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GNZ6JLZNDWDNUE2PXZWUAZ6CXU/bundle.json","state_url":"https://pith.science/pith/GNZ6JLZNDWDNUE2PXZWUAZ6CXU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GNZ6JLZNDWDNUE2PXZWUAZ6CXU/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-08T06:33:33Z","links":{"resolver":"https://pith.science/pith/GNZ6JLZNDWDNUE2PXZWUAZ6CXU","bundle":"https://pith.science/pith/GNZ6JLZNDWDNUE2PXZWUAZ6CXU/bundle.json","state":"https://pith.science/pith/GNZ6JLZNDWDNUE2PXZWUAZ6CXU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GNZ6JLZNDWDNUE2PXZWUAZ6CXU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GNZ6JLZNDWDNUE2PXZWUAZ6CXU","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":"1d7465420dbf8908f17e96bdf479f295f993416779645dcd843512a91e245a1e","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2025-08-14T23:54:40Z","title_canon_sha256":"7ca99ec8e530f078bbd3fe3b879a2aa20a57d9468da1177ecb4ed13103162cdd"},"schema_version":"1.0","source":{"id":"2508.11121","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.11121","created_at":"2026-07-05T11:54:18Z"},{"alias_kind":"arxiv_version","alias_value":"2508.11121v1","created_at":"2026-07-05T11:54:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.11121","created_at":"2026-07-05T11:54:18Z"},{"alias_kind":"pith_short_12","alias_value":"GNZ6JLZNDWDN","created_at":"2026-07-05T11:54:18Z"},{"alias_kind":"pith_short_16","alias_value":"GNZ6JLZNDWDNUE2P","created_at":"2026-07-05T11:54:18Z"},{"alias_kind":"pith_short_8","alias_value":"GNZ6JLZN","created_at":"2026-07-05T11:54:18Z"}],"graph_snapshots":[{"event_id":"sha256:1e9c984e00f598d0d7a50dfdd99f43b781cd5619913b61024054974f0f7cfd57","target":"graph","created_at":"2026-07-05T11:54:18Z","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/2508.11121/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Spreadsheet manipulation software are widely used for data management and analysis of tabular data, yet the creation of conditional formatting (CF) rules remains a complex task requiring technical knowledge and experience with specific platforms. In this paper we present TaFo, a neuro-symbolic approach to generating CF suggestions for tables, addressing common challenges such as user unawareness, difficulty in rule creation, and inadequate user interfaces. TaFo takes inspiration from component based synthesis systems and extends them with semantic knowledge of language models and a diversity p","authors_text":"Gust Verbruggen, Jos\\'e Cambronero, Mukul Singh, Sumit Gulwani, Vu Le","cross_cats":["cs.AI","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2025-08-14T23:54:40Z","title":"Tabularis Formatus: Predictive Formatting for Tables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.11121","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:1f57186e736b762e5b0d059c70edd3b740a2aac45194d5b3df6ad743c3320858","target":"record","created_at":"2026-07-05T11:54:18Z","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":"1d7465420dbf8908f17e96bdf479f295f993416779645dcd843512a91e245a1e","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2025-08-14T23:54:40Z","title_canon_sha256":"7ca99ec8e530f078bbd3fe3b879a2aa20a57d9468da1177ecb4ed13103162cdd"},"schema_version":"1.0","source":{"id":"2508.11121","kind":"arxiv","version":1}},"canonical_sha256":"3373e4af2d1d86da134fbe6d4067c2bd2af22c32fd87f61a916b59997cd110ef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3373e4af2d1d86da134fbe6d4067c2bd2af22c32fd87f61a916b59997cd110ef","first_computed_at":"2026-07-05T11:54:18.878274Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:54:18.878274Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"e3pmFMbhcoawa25AKyyXkIxwI5dVPotoHeTMTESZ+JTo9yMi2L517//61RLQgdNrJeXHE51iDHweRMuMXvdFDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:54:18.878693Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.11121","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1f57186e736b762e5b0d059c70edd3b740a2aac45194d5b3df6ad743c3320858","sha256:1e9c984e00f598d0d7a50dfdd99f43b781cd5619913b61024054974f0f7cfd57"],"state_sha256":"939be92bb3b3e61acbe66759e550851e9e22c62183abd83c8d68b9f77240368e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pWKskyxchTXuRLsxAOabRmCACH9oOs+3TZ7mwPu+kztz5Iw8fz0ZCwwuI8JMB/cXDbZlHmZChjTc/3AZiECCBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T06:33:33.055776Z","bundle_sha256":"847781e6127717150ff35449a95a2b0c19d7b65b0f632b2ef2adbacd0db72110"}}