{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:QY6HGNYVDNSQZ2G6HUIJWB6QDN","short_pith_number":"pith:QY6HGNYV","canonical_record":{"source":{"id":"2310.08699","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-12T20:07:01Z","cross_cats_sorted":["cs.HC"],"title_canon_sha256":"af1aa88fd4a4396260012851378f0564ec5baed95cb1b4b1ec4065299eebed7d","abstract_canon_sha256":"54fb12a9f0d81310f958bd5ca8b966f7b7a6a260f4bd304289b1ef04f6a2825e"},"schema_version":"1.0"},"canonical_sha256":"863c7337151b650ce8de3d109b07d01b7e48d8122d8415c4848f15c1e153d3e8","source":{"kind":"arxiv","id":"2310.08699","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.08699","created_at":"2026-07-05T07:27:51Z"},{"alias_kind":"arxiv_version","alias_value":"2310.08699v2","created_at":"2026-07-05T07:27:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.08699","created_at":"2026-07-05T07:27:51Z"},{"alias_kind":"pith_short_12","alias_value":"QY6HGNYVDNSQ","created_at":"2026-07-05T07:27:51Z"},{"alias_kind":"pith_short_16","alias_value":"QY6HGNYVDNSQZ2G6","created_at":"2026-07-05T07:27:51Z"},{"alias_kind":"pith_short_8","alias_value":"QY6HGNYV","created_at":"2026-07-05T07:27:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:QY6HGNYVDNSQZ2G6HUIJWB6QDN","target":"record","payload":{"canonical_record":{"source":{"id":"2310.08699","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-12T20:07:01Z","cross_cats_sorted":["cs.HC"],"title_canon_sha256":"af1aa88fd4a4396260012851378f0564ec5baed95cb1b4b1ec4065299eebed7d","abstract_canon_sha256":"54fb12a9f0d81310f958bd5ca8b966f7b7a6a260f4bd304289b1ef04f6a2825e"},"schema_version":"1.0"},"canonical_sha256":"863c7337151b650ce8de3d109b07d01b7e48d8122d8415c4848f15c1e153d3e8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:27:51.423707Z","signature_b64":"z/ikZtEqe1LxWq5rGjgMmiCKNP5r5XkBQuRdYlQb3Ko5PCRXf+OGFXyTn4tRIfAZ8ufeEfS0br8nOgG+TMbfBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"863c7337151b650ce8de3d109b07d01b7e48d8122d8415c4848f15c1e153d3e8","last_reissued_at":"2026-07-05T07:27:51.423328Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:27:51.423328Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2310.08699","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-05T07:27:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ezKZuhQ4hmG2N7ATCWeb+3fpedYDSlh9MzaG4n4K+0ZZF1OpXDvC/uoxEE95JcNCjqTCvYR1YeB3zQqcTUgwDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T13:14:14.548840Z"},"content_sha256":"ec4646224865812c3a14359936514db9ce7cef0a2ac4e05962617698da61117b","schema_version":"1.0","event_id":"sha256:ec4646224865812c3a14359936514db9ce7cef0a2ac4e05962617698da61117b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:QY6HGNYVDNSQZ2G6HUIJWB6QDN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"CoLadder: Supporting Programmers with Hierarchical Code Generation in Multi-Level Abstraction","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.HC"],"primary_cat":"cs.SE","authors_text":"Haijun Xia, Jian Zhao, Jiawen Zhu, Ryan Yen, Sangho Suh","submitted_at":"2023-10-12T20:07:01Z","abstract_excerpt":"Programmers increasingly rely on Large Language Models (LLMs) for code generation. However, misalignment between programmers' goals and generated code complicates the code evaluation process and demands frequent switching between prompt authoring and code evaluation. Yet, current LLM-driven code assistants lack sufficient scaffolding to help programmers format intentions from their overarching goals, a crucial step before translating these intentions into natural language prompts. To address this gap, we adopted an iterative design process to gain insights into programmers' strategies when usi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.08699","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/2310.08699/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-05T07:27:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vbKIg5sPWPzXb3RIesfVweLxn48qS0BzYlwiXM/H1U5hLLK50+JoSDw/8iwoloTi5d2fpQnPdx5JN2xWtcZtBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T13:14:14.549336Z"},"content_sha256":"5f785b7a534715c345865cf453e682275722e7bdfb423f5ac8890837cecd4b32","schema_version":"1.0","event_id":"sha256:5f785b7a534715c345865cf453e682275722e7bdfb423f5ac8890837cecd4b32"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QY6HGNYVDNSQZ2G6HUIJWB6QDN/bundle.json","state_url":"https://pith.science/pith/QY6HGNYVDNSQZ2G6HUIJWB6QDN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QY6HGNYVDNSQZ2G6HUIJWB6QDN/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-09T13:14:14Z","links":{"resolver":"https://pith.science/pith/QY6HGNYVDNSQZ2G6HUIJWB6QDN","bundle":"https://pith.science/pith/QY6HGNYVDNSQZ2G6HUIJWB6QDN/bundle.json","state":"https://pith.science/pith/QY6HGNYVDNSQZ2G6HUIJWB6QDN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QY6HGNYVDNSQZ2G6HUIJWB6QDN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:QY6HGNYVDNSQZ2G6HUIJWB6QDN","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":"54fb12a9f0d81310f958bd5ca8b966f7b7a6a260f4bd304289b1ef04f6a2825e","cross_cats_sorted":["cs.HC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-12T20:07:01Z","title_canon_sha256":"af1aa88fd4a4396260012851378f0564ec5baed95cb1b4b1ec4065299eebed7d"},"schema_version":"1.0","source":{"id":"2310.08699","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.08699","created_at":"2026-07-05T07:27:51Z"},{"alias_kind":"arxiv_version","alias_value":"2310.08699v2","created_at":"2026-07-05T07:27:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.08699","created_at":"2026-07-05T07:27:51Z"},{"alias_kind":"pith_short_12","alias_value":"QY6HGNYVDNSQ","created_at":"2026-07-05T07:27:51Z"},{"alias_kind":"pith_short_16","alias_value":"QY6HGNYVDNSQZ2G6","created_at":"2026-07-05T07:27:51Z"},{"alias_kind":"pith_short_8","alias_value":"QY6HGNYV","created_at":"2026-07-05T07:27:51Z"}],"graph_snapshots":[{"event_id":"sha256:5f785b7a534715c345865cf453e682275722e7bdfb423f5ac8890837cecd4b32","target":"graph","created_at":"2026-07-05T07:27:51Z","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/2310.08699/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Programmers increasingly rely on Large Language Models (LLMs) for code generation. However, misalignment between programmers' goals and generated code complicates the code evaluation process and demands frequent switching between prompt authoring and code evaluation. Yet, current LLM-driven code assistants lack sufficient scaffolding to help programmers format intentions from their overarching goals, a crucial step before translating these intentions into natural language prompts. To address this gap, we adopted an iterative design process to gain insights into programmers' strategies when usi","authors_text":"Haijun Xia, Jian Zhao, Jiawen Zhu, Ryan Yen, Sangho Suh","cross_cats":["cs.HC"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-12T20:07:01Z","title":"CoLadder: Supporting Programmers with Hierarchical Code Generation in Multi-Level Abstraction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.08699","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:ec4646224865812c3a14359936514db9ce7cef0a2ac4e05962617698da61117b","target":"record","created_at":"2026-07-05T07:27:51Z","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":"54fb12a9f0d81310f958bd5ca8b966f7b7a6a260f4bd304289b1ef04f6a2825e","cross_cats_sorted":["cs.HC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-12T20:07:01Z","title_canon_sha256":"af1aa88fd4a4396260012851378f0564ec5baed95cb1b4b1ec4065299eebed7d"},"schema_version":"1.0","source":{"id":"2310.08699","kind":"arxiv","version":2}},"canonical_sha256":"863c7337151b650ce8de3d109b07d01b7e48d8122d8415c4848f15c1e153d3e8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"863c7337151b650ce8de3d109b07d01b7e48d8122d8415c4848f15c1e153d3e8","first_computed_at":"2026-07-05T07:27:51.423328Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:27:51.423328Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"z/ikZtEqe1LxWq5rGjgMmiCKNP5r5XkBQuRdYlQb3Ko5PCRXf+OGFXyTn4tRIfAZ8ufeEfS0br8nOgG+TMbfBg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:27:51.423707Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.08699","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ec4646224865812c3a14359936514db9ce7cef0a2ac4e05962617698da61117b","sha256:5f785b7a534715c345865cf453e682275722e7bdfb423f5ac8890837cecd4b32"],"state_sha256":"f03517b91969a7fc81863ad6ed782d85bac341ef8f38172babcce8c051ee8eca"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jJ6sbM0jh3AUyN+c4K+LxUUetAElwPXWC1lYzrCZoHyWENDDO3J3oELzLzX/3L31FWxAfOD0/rBQzd96HmbQCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T13:14:14.554329Z","bundle_sha256":"64d4a8aafc821850d3c462758a59966b6b243ce84f75e19db8bb57f1a3ea54db"}}