{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:4YEHAKH5IIB4U46DJQODRG27VU","short_pith_number":"pith:4YEHAKH5","canonical_record":{"source":{"id":"2208.06032","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-08-11T20:30:12Z","cross_cats_sorted":["cs.DB","cs.SE"],"title_canon_sha256":"de8af0a67c5237925d131db4e175a26c6d8918b5687100a6cc34cd9a25c91a33","abstract_canon_sha256":"5ca162e655f99d6ab0464742866f4979e4b7f4ca21f2298a15f94ec15416cf92"},"schema_version":"1.0"},"canonical_sha256":"e6087028fd4203ca73c34c1c389b5fad1353697b3c44885edff61692109254ef","source":{"kind":"arxiv","id":"2208.06032","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.06032","created_at":"2026-07-05T05:22:09Z"},{"alias_kind":"arxiv_version","alias_value":"2208.06032v4","created_at":"2026-07-05T05:22:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.06032","created_at":"2026-07-05T05:22:09Z"},{"alias_kind":"pith_short_12","alias_value":"4YEHAKH5IIB4","created_at":"2026-07-05T05:22:09Z"},{"alias_kind":"pith_short_16","alias_value":"4YEHAKH5IIB4U46D","created_at":"2026-07-05T05:22:09Z"},{"alias_kind":"pith_short_8","alias_value":"4YEHAKH5","created_at":"2026-07-05T05:22:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:4YEHAKH5IIB4U46DJQODRG27VU","target":"record","payload":{"canonical_record":{"source":{"id":"2208.06032","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-08-11T20:30:12Z","cross_cats_sorted":["cs.DB","cs.SE"],"title_canon_sha256":"de8af0a67c5237925d131db4e175a26c6d8918b5687100a6cc34cd9a25c91a33","abstract_canon_sha256":"5ca162e655f99d6ab0464742866f4979e4b7f4ca21f2298a15f94ec15416cf92"},"schema_version":"1.0"},"canonical_sha256":"e6087028fd4203ca73c34c1c389b5fad1353697b3c44885edff61692109254ef","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:22:09.896446Z","signature_b64":"OYkkbA3Pgg9P7cxThPpc6kfKjnrmcnUonfu2humRPHZgolsO7jRjFpCchf+hDZ5rBQMMA4Z7C1vsq6jQ0EQdDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e6087028fd4203ca73c34c1c389b5fad1353697b3c44885edff61692109254ef","last_reissued_at":"2026-07-05T05:22:09.895916Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:22:09.895916Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2208.06032","source_version":4,"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:22:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L6nI8hs5T2g4Zdh0nI6RXltlxA0zGnpnD9aLT6MEdwSihqA/Dee++8uUxF79NgTsNTqQnoMHUKMRN02Akx1FBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T18:38:53.406227Z"},"content_sha256":"3c4fde28c427c02adab35485406c0394d7603be5c64f03284f262d2262277c3e","schema_version":"1.0","event_id":"sha256:3c4fde28c427c02adab35485406c0394d7603be5c64f03284f262d2262277c3e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:4YEHAKH5IIB4U46DJQODRG27VU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"CORNET: Learning Table Formatting Rules By Example","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DB","cs.SE"],"primary_cat":"cs.AI","authors_text":"Carina Negreanu, Gust Verbruggen, Jos\\'e Cambronero, Mohammad Raza, Mukul Singh, Sumit Gulwani, Vu Le","submitted_at":"2022-08-11T20:30:12Z","abstract_excerpt":"Spreadsheets are widely used for table manipulation and presentation. Stylistic formatting of these tables is an important property for both presentation and analysis. As a result, popular spreadsheet software, such as Excel, supports automatically formatting tables based on rules. Unfortunately, writing such formatting rules can be challenging for users as it requires knowledge of the underlying rule language and data logic. We present CORNET, a system that tackles the novel problem of automatically learning such formatting rules from user examples in the form of formatted cells. CORNET takes"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.06032","kind":"arxiv","version":4},"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/2208.06032/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:22:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eWscp531NNevoDknIzGRr8ccZrZOajrjVtS+DYN6JmVIfKqZVjhaxtQ0EH4/iHdFdnNKtWvxoYOFJmNI1p8+AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T18:38:53.406787Z"},"content_sha256":"a8ee0d084f0b02ecc2ee8f2f068b52600a306b03cda0c239b116a534b4416340","schema_version":"1.0","event_id":"sha256:a8ee0d084f0b02ecc2ee8f2f068b52600a306b03cda0c239b116a534b4416340"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4YEHAKH5IIB4U46DJQODRG27VU/bundle.json","state_url":"https://pith.science/pith/4YEHAKH5IIB4U46DJQODRG27VU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4YEHAKH5IIB4U46DJQODRG27VU/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-05T18:38:53Z","links":{"resolver":"https://pith.science/pith/4YEHAKH5IIB4U46DJQODRG27VU","bundle":"https://pith.science/pith/4YEHAKH5IIB4U46DJQODRG27VU/bundle.json","state":"https://pith.science/pith/4YEHAKH5IIB4U46DJQODRG27VU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4YEHAKH5IIB4U46DJQODRG27VU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:4YEHAKH5IIB4U46DJQODRG27VU","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":"5ca162e655f99d6ab0464742866f4979e4b7f4ca21f2298a15f94ec15416cf92","cross_cats_sorted":["cs.DB","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-08-11T20:30:12Z","title_canon_sha256":"de8af0a67c5237925d131db4e175a26c6d8918b5687100a6cc34cd9a25c91a33"},"schema_version":"1.0","source":{"id":"2208.06032","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.06032","created_at":"2026-07-05T05:22:09Z"},{"alias_kind":"arxiv_version","alias_value":"2208.06032v4","created_at":"2026-07-05T05:22:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.06032","created_at":"2026-07-05T05:22:09Z"},{"alias_kind":"pith_short_12","alias_value":"4YEHAKH5IIB4","created_at":"2026-07-05T05:22:09Z"},{"alias_kind":"pith_short_16","alias_value":"4YEHAKH5IIB4U46D","created_at":"2026-07-05T05:22:09Z"},{"alias_kind":"pith_short_8","alias_value":"4YEHAKH5","created_at":"2026-07-05T05:22:09Z"}],"graph_snapshots":[{"event_id":"sha256:a8ee0d084f0b02ecc2ee8f2f068b52600a306b03cda0c239b116a534b4416340","target":"graph","created_at":"2026-07-05T05:22:09Z","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/2208.06032/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Spreadsheets are widely used for table manipulation and presentation. Stylistic formatting of these tables is an important property for both presentation and analysis. As a result, popular spreadsheet software, such as Excel, supports automatically formatting tables based on rules. Unfortunately, writing such formatting rules can be challenging for users as it requires knowledge of the underlying rule language and data logic. We present CORNET, a system that tackles the novel problem of automatically learning such formatting rules from user examples in the form of formatted cells. CORNET takes","authors_text":"Carina Negreanu, Gust Verbruggen, Jos\\'e Cambronero, Mohammad Raza, Mukul Singh, Sumit Gulwani, Vu Le","cross_cats":["cs.DB","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-08-11T20:30:12Z","title":"CORNET: Learning Table Formatting Rules By Example"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.06032","kind":"arxiv","version":4},"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:3c4fde28c427c02adab35485406c0394d7603be5c64f03284f262d2262277c3e","target":"record","created_at":"2026-07-05T05:22:09Z","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":"5ca162e655f99d6ab0464742866f4979e4b7f4ca21f2298a15f94ec15416cf92","cross_cats_sorted":["cs.DB","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-08-11T20:30:12Z","title_canon_sha256":"de8af0a67c5237925d131db4e175a26c6d8918b5687100a6cc34cd9a25c91a33"},"schema_version":"1.0","source":{"id":"2208.06032","kind":"arxiv","version":4}},"canonical_sha256":"e6087028fd4203ca73c34c1c389b5fad1353697b3c44885edff61692109254ef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e6087028fd4203ca73c34c1c389b5fad1353697b3c44885edff61692109254ef","first_computed_at":"2026-07-05T05:22:09.895916Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:22:09.895916Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OYkkbA3Pgg9P7cxThPpc6kfKjnrmcnUonfu2humRPHZgolsO7jRjFpCchf+hDZ5rBQMMA4Z7C1vsq6jQ0EQdDw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:22:09.896446Z","signed_message":"canonical_sha256_bytes"},"source_id":"2208.06032","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3c4fde28c427c02adab35485406c0394d7603be5c64f03284f262d2262277c3e","sha256:a8ee0d084f0b02ecc2ee8f2f068b52600a306b03cda0c239b116a534b4416340"],"state_sha256":"9260cf04ae9542efea8758e6ee961a0a518c133255ee0236ba8302bab650b393"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hhFsP6W4JWtNXioaCjY+gp0JB83coG82ICZ4gy6MRYmM5sUgmxDVqzYW5zzCbKucUuqowoukKmvicMrj84u5CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T18:38:53.411464Z","bundle_sha256":"eadb5c2675d7788ad24fb70d105beb6cc221f9320a6c056a1d410ff44dcc2d10"}}