{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:NYAUTBPYGXAAJCMD2G7DDWN6JM","short_pith_number":"pith:NYAUTBPY","schema_version":"1.0","canonical_sha256":"6e014985f835c0048983d1be31d9be4b212200b025a4cfc51af8e3d334fdc8fe","source":{"kind":"arxiv","id":"2308.07357","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2308.07357","created_at":"2026-07-05T06:41:24.184683+00:00"},{"alias_kind":"arxiv_version","alias_value":"2308.07357v1","created_at":"2026-07-05T06:41:24.184683+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.07357","created_at":"2026-07-05T06:41:24.184683+00:00"},{"alias_kind":"pith_short_12","alias_value":"NYAUTBPYGXAA","created_at":"2026-07-05T06:41:24.184683+00:00"},{"alias_kind":"pith_short_16","alias_value":"NYAUTBPYGXAAJCMD","created_at":"2026-07-05T06:41:24.184683+00:00"},{"alias_kind":"pith_short_8","alias_value":"NYAUTBPY","created_at":"2026-07-05T06:41:24.184683+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NYAUTBPYGXAAJCMD2G7DDWN6JM","json":"https://pith.science/pith/NYAUTBPYGXAAJCMD2G7DDWN6JM.json","graph_json":"https://pith.science/api/pith-number/NYAUTBPYGXAAJCMD2G7DDWN6JM/graph.json","events_json":"https://pith.science/api/pith-number/NYAUTBPYGXAAJCMD2G7DDWN6JM/events.json","paper":"https://pith.science/paper/NYAUTBPY"},"agent_actions":{"view_html":"https://pith.science/pith/NYAUTBPYGXAAJCMD2G7DDWN6JM","download_json":"https://pith.science/pith/NYAUTBPYGXAAJCMD2G7DDWN6JM.json","view_paper":"https://pith.science/paper/NYAUTBPY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2308.07357&json=true","fetch_graph":"https://pith.science/api/pith-number/NYAUTBPYGXAAJCMD2G7DDWN6JM/graph.json","fetch_events":"https://pith.science/api/pith-number/NYAUTBPYGXAAJCMD2G7DDWN6JM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NYAUTBPYGXAAJCMD2G7DDWN6JM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NYAUTBPYGXAAJCMD2G7DDWN6JM/action/storage_attestation","attest_author":"https://pith.science/pith/NYAUTBPYGXAAJCMD2G7DDWN6JM/action/author_attestation","sign_citation":"https://pith.science/pith/NYAUTBPYGXAAJCMD2G7DDWN6JM/action/citation_signature","submit_replication":"https://pith.science/pith/NYAUTBPYGXAAJCMD2G7DDWN6JM/action/replication_record"}},"created_at":"2026-07-05T06:41:24.184683+00:00","updated_at":"2026-07-05T06:41:24.184683+00:00"}