{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:NRQJDND5J4KVQ3FOB262USF4RV","short_pith_number":"pith:NRQJDND5","canonical_record":{"source":{"id":"2308.05828","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2023-08-10T19:01:30Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"b3c728857650cbc9ba55b82136e8e56f764c31814848bb5ec557170608b5b067","abstract_canon_sha256":"7aec0524189f75debb62b7b031da70f2086b6a7de0baa862b61861c29f331d44"},"schema_version":"1.0"},"canonical_sha256":"6c6091b47d4f15586cae0ebdaa48bc8d4bb0739e5d70fa24008424fd0056352c","source":{"kind":"arxiv","id":"2308.05828","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.05828","created_at":"2026-07-05T06:42:24Z"},{"alias_kind":"arxiv_version","alias_value":"2308.05828v2","created_at":"2026-07-05T06:42:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.05828","created_at":"2026-07-05T06:42:24Z"},{"alias_kind":"pith_short_12","alias_value":"NRQJDND5J4KV","created_at":"2026-07-05T06:42:24Z"},{"alias_kind":"pith_short_16","alias_value":"NRQJDND5J4KVQ3FO","created_at":"2026-07-05T06:42:24Z"},{"alias_kind":"pith_short_8","alias_value":"NRQJDND5","created_at":"2026-07-05T06:42:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:NRQJDND5J4KVQ3FOB262USF4RV","target":"record","payload":{"canonical_record":{"source":{"id":"2308.05828","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2023-08-10T19:01:30Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"b3c728857650cbc9ba55b82136e8e56f764c31814848bb5ec557170608b5b067","abstract_canon_sha256":"7aec0524189f75debb62b7b031da70f2086b6a7de0baa862b61861c29f331d44"},"schema_version":"1.0"},"canonical_sha256":"6c6091b47d4f15586cae0ebdaa48bc8d4bb0739e5d70fa24008424fd0056352c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:42:24.922485Z","signature_b64":"LZtHszq0YfUV293t7ZcNY80H9i2lCPJoQBeHUXkC9rOFQWhPvGsvLHV5mI1IoTgmIQGg+w/RAwvI5YmqAtZQCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6c6091b47d4f15586cae0ebdaa48bc8d4bb0739e5d70fa24008424fd0056352c","last_reissued_at":"2026-07-05T06:42:24.922014Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:42:24.922014Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2308.05828","source_version":2,"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:42:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8UNG6s925dXwQDuFPdrxsed8aosfKhgccl+pnFDS/8N2kjHKpYW2t68enybH7YxQS5Kaxd+rNYDvdMfE3IyFCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T07:16:17.067276Z"},"content_sha256":"ffc990c5bcd446a824bdd44b1bb664d22f319a6b8e9fee9044973b8c6880a7d1","schema_version":"1.0","event_id":"sha256:ffc990c5bcd446a824bdd44b1bb664d22f319a6b8e9fee9044973b8c6880a7d1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:NRQJDND5J4KVQ3FOB262USF4RV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DiLogics: Creating Web Automation Programs With Diverse Logics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.PL"],"primary_cat":"cs.HC","authors_text":"Angel Yuan, Jim Yang, Kevin Pu, Minyi Ma, Rui Dong, Tovi Grossman, Xinyu Wang, Yan Chen","submitted_at":"2023-08-10T19:01:30Z","abstract_excerpt":"Knowledge workers frequently encounter repetitive web data entry tasks, like updating records or placing orders. Web automation increases productivity, but translating tasks to web actions accurately and extending to new specifications is challenging. Existing tools can automate tasks that perform the same logical trace of UI actions (e.g., input text in each field in order), but do not support tasks requiring different executions based on varied input conditions. We present DiLogics, a programming-by-demonstration system that utilizes NLP to assist users in creating web automation programs th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.05828","kind":"arxiv","version":2},"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.05828/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:42:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nIrPVTFNRVFrNoVd20yqfPgJL6eAK5QnbpUfvdk6TESThF+pcS9U0PfWw3UVW4xUPRhMrWB1FJ3IQZcVo2tuAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T07:16:17.067681Z"},"content_sha256":"3ee85b7505894dd3eacb8cfa018cfe890e2b32f8e9f4413ea0fcf484c85d5c4e","schema_version":"1.0","event_id":"sha256:3ee85b7505894dd3eacb8cfa018cfe890e2b32f8e9f4413ea0fcf484c85d5c4e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NRQJDND5J4KVQ3FOB262USF4RV/bundle.json","state_url":"https://pith.science/pith/NRQJDND5J4KVQ3FOB262USF4RV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NRQJDND5J4KVQ3FOB262USF4RV/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-07T07:16:17Z","links":{"resolver":"https://pith.science/pith/NRQJDND5J4KVQ3FOB262USF4RV","bundle":"https://pith.science/pith/NRQJDND5J4KVQ3FOB262USF4RV/bundle.json","state":"https://pith.science/pith/NRQJDND5J4KVQ3FOB262USF4RV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NRQJDND5J4KVQ3FOB262USF4RV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:NRQJDND5J4KVQ3FOB262USF4RV","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":"7aec0524189f75debb62b7b031da70f2086b6a7de0baa862b61861c29f331d44","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2023-08-10T19:01:30Z","title_canon_sha256":"b3c728857650cbc9ba55b82136e8e56f764c31814848bb5ec557170608b5b067"},"schema_version":"1.0","source":{"id":"2308.05828","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.05828","created_at":"2026-07-05T06:42:24Z"},{"alias_kind":"arxiv_version","alias_value":"2308.05828v2","created_at":"2026-07-05T06:42:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.05828","created_at":"2026-07-05T06:42:24Z"},{"alias_kind":"pith_short_12","alias_value":"NRQJDND5J4KV","created_at":"2026-07-05T06:42:24Z"},{"alias_kind":"pith_short_16","alias_value":"NRQJDND5J4KVQ3FO","created_at":"2026-07-05T06:42:24Z"},{"alias_kind":"pith_short_8","alias_value":"NRQJDND5","created_at":"2026-07-05T06:42:24Z"}],"graph_snapshots":[{"event_id":"sha256:3ee85b7505894dd3eacb8cfa018cfe890e2b32f8e9f4413ea0fcf484c85d5c4e","target":"graph","created_at":"2026-07-05T06:42: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.05828/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Knowledge workers frequently encounter repetitive web data entry tasks, like updating records or placing orders. Web automation increases productivity, but translating tasks to web actions accurately and extending to new specifications is challenging. Existing tools can automate tasks that perform the same logical trace of UI actions (e.g., input text in each field in order), but do not support tasks requiring different executions based on varied input conditions. We present DiLogics, a programming-by-demonstration system that utilizes NLP to assist users in creating web automation programs th","authors_text":"Angel Yuan, Jim Yang, Kevin Pu, Minyi Ma, Rui Dong, Tovi Grossman, Xinyu Wang, Yan Chen","cross_cats":["cs.AI","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2023-08-10T19:01:30Z","title":"DiLogics: Creating Web Automation Programs With Diverse Logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.05828","kind":"arxiv","version":2},"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:ffc990c5bcd446a824bdd44b1bb664d22f319a6b8e9fee9044973b8c6880a7d1","target":"record","created_at":"2026-07-05T06:42: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":"7aec0524189f75debb62b7b031da70f2086b6a7de0baa862b61861c29f331d44","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2023-08-10T19:01:30Z","title_canon_sha256":"b3c728857650cbc9ba55b82136e8e56f764c31814848bb5ec557170608b5b067"},"schema_version":"1.0","source":{"id":"2308.05828","kind":"arxiv","version":2}},"canonical_sha256":"6c6091b47d4f15586cae0ebdaa48bc8d4bb0739e5d70fa24008424fd0056352c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6c6091b47d4f15586cae0ebdaa48bc8d4bb0739e5d70fa24008424fd0056352c","first_computed_at":"2026-07-05T06:42:24.922014Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:42:24.922014Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LZtHszq0YfUV293t7ZcNY80H9i2lCPJoQBeHUXkC9rOFQWhPvGsvLHV5mI1IoTgmIQGg+w/RAwvI5YmqAtZQCA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:42:24.922485Z","signed_message":"canonical_sha256_bytes"},"source_id":"2308.05828","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ffc990c5bcd446a824bdd44b1bb664d22f319a6b8e9fee9044973b8c6880a7d1","sha256:3ee85b7505894dd3eacb8cfa018cfe890e2b32f8e9f4413ea0fcf484c85d5c4e"],"state_sha256":"af5b01f699de65d46a9bae5ca3c6d49a7f4d9c5162a2a18a2b9c125465f4e94d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"97vcockOJKkW8sv4FE2N3iWFDnbPnOl9xEkJb+d5hoWZnZgd/fE0tb8eR2lsSUku4K1SS0UsMYAjFikx+y9BBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T07:16:17.069981Z","bundle_sha256":"483e38520ceb13c897250c16d5f6791e9b98591c8c9b8d2ecb3101dc5d990b3f"}}