{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:NYAUTBPYGXAAJCMD2G7DDWN6JM","short_pith_number":"pith:NYAUTBPY","canonical_record":{"source":{"id":"2308.07357","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-08-14T14:15:03Z","cross_cats_sorted":["cs.AI","cs.DB"],"title_canon_sha256":"f81f88d863e836dea4a36bff0e3abed17e82950676fdc49c1952dd03284db001","abstract_canon_sha256":"2b7316f57019b531ce3b16da20f6d0f02f7fb444fed95ce0527e398b37575106"},"schema_version":"1.0"},"canonical_sha256":"6e014985f835c0048983d1be31d9be4b212200b025a4cfc51af8e3d334fdc8fe","source":{"kind":"arxiv","id":"2308.07357","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.07357","created_at":"2026-07-05T06:41:24Z"},{"alias_kind":"arxiv_version","alias_value":"2308.07357v1","created_at":"2026-07-05T06:41:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.07357","created_at":"2026-07-05T06:41:24Z"},{"alias_kind":"pith_short_12","alias_value":"NYAUTBPYGXAA","created_at":"2026-07-05T06:41:24Z"},{"alias_kind":"pith_short_16","alias_value":"NYAUTBPYGXAAJCMD","created_at":"2026-07-05T06:41:24Z"},{"alias_kind":"pith_short_8","alias_value":"NYAUTBPY","created_at":"2026-07-05T06:41:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:NYAUTBPYGXAAJCMD2G7DDWN6JM","target":"record","payload":{"canonical_record":{"source":{"id":"2308.07357","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-08-14T14:15:03Z","cross_cats_sorted":["cs.AI","cs.DB"],"title_canon_sha256":"f81f88d863e836dea4a36bff0e3abed17e82950676fdc49c1952dd03284db001","abstract_canon_sha256":"2b7316f57019b531ce3b16da20f6d0f02f7fb444fed95ce0527e398b37575106"},"schema_version":"1.0"},"canonical_sha256":"6e014985f835c0048983d1be31d9be4b212200b025a4cfc51af8e3d334fdc8fe","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:41:24.185038Z","signature_b64":"+mhi5j0pJg2oFscg3985Y4bBYZ2gF1emcisbfQqsHifGVSpqiyO9xVSuTHbpoHRTIjlMUk89WEK7DCiPAZIWAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6e014985f835c0048983d1be31d9be4b212200b025a4cfc51af8e3d334fdc8fe","last_reissued_at":"2026-07-05T06:41:24.184619Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:41:24.184619Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2308.07357","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-05T06:41:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ssft8J35CFDE7dH6Kv16B1Z85ncWPUHOCaoCJKkpA1RZyA8NEg9yNS0IVReFPZT5mG6JotYNaUNZ9D0rUwNTAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-18T18:11:46.614104Z"},"content_sha256":"48828946787e70f958737f90408765af19de8070d24a7a9aecf95f0a94e4645b","schema_version":"1.0","event_id":"sha256:48828946787e70f958737f90408765af19de8070d24a7a9aecf95f0a94e4645b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:NYAUTBPYGXAAJCMD2G7DDWN6JM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Demonstration of CORNET: A System For Learning Spreadsheet Formatting Rules By Example","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.DB"],"primary_cat":"cs.SE","authors_text":"Carina Negreanu, Gust Verbruggen, Jose Cambronero, Mukul Singh, Sumit Gulwani, Vu Le","submitted_at":"2023-08-14T14:15:03Z","abstract_excerpt":"Data management and analysis tasks are often carried out using spreadsheet software. A popular feature in most spreadsheet platforms is the ability to define data-dependent formatting rules. These rules can express actions such as \"color red all entries in a column that are negative\" or \"bold all rows not containing error or failure.\" Unfortunately, users who want to exercise this functionality need to manually write these conditional formatting (CF) rules. We introduce CORNET, a system that automatically learns such conditional formatting rules from user examples. CORNET takes inspiration fro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.07357","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/2308.07357/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-05T06:41:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8VwRyhduHC1pyJD6Bo4U6FlnAiUkkyIaaiX+ln4x4JdWSJlkYWUCWYuHJofWCJgOkw1oMDrfN2DcQvpFaD2zAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-18T18:11:46.614483Z"},"content_sha256":"1192a6a397b2ed1184c9d41f49b97be6c8e8cdf1509c296a88ee9186d48c375a","schema_version":"1.0","event_id":"sha256:1192a6a397b2ed1184c9d41f49b97be6c8e8cdf1509c296a88ee9186d48c375a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NYAUTBPYGXAAJCMD2G7DDWN6JM/bundle.json","state_url":"https://pith.science/pith/NYAUTBPYGXAAJCMD2G7DDWN6JM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NYAUTBPYGXAAJCMD2G7DDWN6JM/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-18T18:11:46Z","links":{"resolver":"https://pith.science/pith/NYAUTBPYGXAAJCMD2G7DDWN6JM","bundle":"https://pith.science/pith/NYAUTBPYGXAAJCMD2G7DDWN6JM/bundle.json","state":"https://pith.science/pith/NYAUTBPYGXAAJCMD2G7DDWN6JM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NYAUTBPYGXAAJCMD2G7DDWN6JM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:NYAUTBPYGXAAJCMD2G7DDWN6JM","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":"2b7316f57019b531ce3b16da20f6d0f02f7fb444fed95ce0527e398b37575106","cross_cats_sorted":["cs.AI","cs.DB"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-08-14T14:15:03Z","title_canon_sha256":"f81f88d863e836dea4a36bff0e3abed17e82950676fdc49c1952dd03284db001"},"schema_version":"1.0","source":{"id":"2308.07357","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.07357","created_at":"2026-07-05T06:41:24Z"},{"alias_kind":"arxiv_version","alias_value":"2308.07357v1","created_at":"2026-07-05T06:41:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.07357","created_at":"2026-07-05T06:41:24Z"},{"alias_kind":"pith_short_12","alias_value":"NYAUTBPYGXAA","created_at":"2026-07-05T06:41:24Z"},{"alias_kind":"pith_short_16","alias_value":"NYAUTBPYGXAAJCMD","created_at":"2026-07-05T06:41:24Z"},{"alias_kind":"pith_short_8","alias_value":"NYAUTBPY","created_at":"2026-07-05T06:41:24Z"}],"graph_snapshots":[{"event_id":"sha256:1192a6a397b2ed1184c9d41f49b97be6c8e8cdf1509c296a88ee9186d48c375a","target":"graph","created_at":"2026-07-05T06:41:24Z","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/2308.07357/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Data management and analysis tasks are often carried out using spreadsheet software. A popular feature in most spreadsheet platforms is the ability to define data-dependent formatting rules. These rules can express actions such as \"color red all entries in a column that are negative\" or \"bold all rows not containing error or failure.\" Unfortunately, users who want to exercise this functionality need to manually write these conditional formatting (CF) rules. We introduce CORNET, a system that automatically learns such conditional formatting rules from user examples. CORNET takes inspiration fro","authors_text":"Carina Negreanu, Gust Verbruggen, Jose Cambronero, Mukul Singh, Sumit Gulwani, Vu Le","cross_cats":["cs.AI","cs.DB"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-08-14T14:15:03Z","title":"Demonstration of CORNET: A System For Learning Spreadsheet Formatting Rules By Example"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.07357","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:48828946787e70f958737f90408765af19de8070d24a7a9aecf95f0a94e4645b","target":"record","created_at":"2026-07-05T06:41:24Z","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":"2b7316f57019b531ce3b16da20f6d0f02f7fb444fed95ce0527e398b37575106","cross_cats_sorted":["cs.AI","cs.DB"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-08-14T14:15:03Z","title_canon_sha256":"f81f88d863e836dea4a36bff0e3abed17e82950676fdc49c1952dd03284db001"},"schema_version":"1.0","source":{"id":"2308.07357","kind":"arxiv","version":1}},"canonical_sha256":"6e014985f835c0048983d1be31d9be4b212200b025a4cfc51af8e3d334fdc8fe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6e014985f835c0048983d1be31d9be4b212200b025a4cfc51af8e3d334fdc8fe","first_computed_at":"2026-07-05T06:41:24.184619Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:41:24.184619Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+mhi5j0pJg2oFscg3985Y4bBYZ2gF1emcisbfQqsHifGVSpqiyO9xVSuTHbpoHRTIjlMUk89WEK7DCiPAZIWAw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:41:24.185038Z","signed_message":"canonical_sha256_bytes"},"source_id":"2308.07357","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:48828946787e70f958737f90408765af19de8070d24a7a9aecf95f0a94e4645b","sha256:1192a6a397b2ed1184c9d41f49b97be6c8e8cdf1509c296a88ee9186d48c375a"],"state_sha256":"793954ff205e1e5180af7dd209e24f1e52abfe92d299fcd0a9c00ca66d87740c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iilErmLgP+HWdih4v0lmM8vXIenYUG8zIHnaYpeAdgczdmqhJIJ1GCwtL2N5yjjm8T0jfe+TGL7u1wIPeF2GAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-18T18:11:46.616712Z","bundle_sha256":"42089dd4e153560d88ade9e2f7637da4b4c21d2455f7d560d6d8ce10bf2a7a1d"}}