{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:BIJLHAOIBA5BPWMVYWDHF6Z6HV","short_pith_number":"pith:BIJLHAOI","canonical_record":{"source":{"id":"2305.18498","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-05-29T14:19:40Z","cross_cats_sorted":["cs.AI","cs.CL","cs.LG"],"title_canon_sha256":"035db2570f29c3ebdbf77bc58f26e180c4788d479442520234ed167e96e7c8b9","abstract_canon_sha256":"2c264a495923fdcc21ae6d28ec03521a4338ed72222e7f63576ba68a8a1a1b56"},"schema_version":"1.0"},"canonical_sha256":"0a12b381c8083a17d995c58672fb3e3d4b55ae699a849d7c192e732faa96bd8c","source":{"kind":"arxiv","id":"2305.18498","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.18498","created_at":"2026-07-05T07:18:27Z"},{"alias_kind":"arxiv_version","alias_value":"2305.18498v2","created_at":"2026-07-05T07:18:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.18498","created_at":"2026-07-05T07:18:27Z"},{"alias_kind":"pith_short_12","alias_value":"BIJLHAOIBA5B","created_at":"2026-07-05T07:18:27Z"},{"alias_kind":"pith_short_16","alias_value":"BIJLHAOIBA5BPWMV","created_at":"2026-07-05T07:18:27Z"},{"alias_kind":"pith_short_8","alias_value":"BIJLHAOI","created_at":"2026-07-05T07:18:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:BIJLHAOIBA5BPWMVYWDHF6Z6HV","target":"record","payload":{"canonical_record":{"source":{"id":"2305.18498","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-05-29T14:19:40Z","cross_cats_sorted":["cs.AI","cs.CL","cs.LG"],"title_canon_sha256":"035db2570f29c3ebdbf77bc58f26e180c4788d479442520234ed167e96e7c8b9","abstract_canon_sha256":"2c264a495923fdcc21ae6d28ec03521a4338ed72222e7f63576ba68a8a1a1b56"},"schema_version":"1.0"},"canonical_sha256":"0a12b381c8083a17d995c58672fb3e3d4b55ae699a849d7c192e732faa96bd8c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:18:27.049045Z","signature_b64":"oHS3u7g5f9KQ14CZiZrmv2EUGYROmG/WsEE4UfgKiETc82+BrYz1s6SIhgRbWxIGOWBSc1PFWFIdUulrYy8TDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0a12b381c8083a17d995c58672fb3e3d4b55ae699a849d7c192e732faa96bd8c","last_reissued_at":"2026-07-05T07:18:27.048499Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:18:27.048499Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.18498","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:18:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VGzCAbpAvpBekiIQbCyasD+PhUjaoENOoKbLEaZ3x4c8t9ZX+NYJRzawnRepEzXKBWPILEu7of4rbk+msQWmBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T13:21:41.936915Z"},"content_sha256":"b546ec8fefabf4a4b8094c5f668ee236e7518c4c2fd40846409ddaaa96ebb0d7","schema_version":"1.0","event_id":"sha256:b546ec8fefabf4a4b8094c5f668ee236e7518c4c2fd40846409ddaaa96ebb0d7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:BIJLHAOIBA5BPWMVYWDHF6Z6HV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ANPL: Towards Natural Programming with Interactive Decomposition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CL","cs.LG"],"primary_cat":"cs.PL","authors_text":"Di Huang, Pengwei Jin, Qi Guo, Rui Zhang, Shaohui Peng, Xing Hu, Yewen Pu, Yuanbo Wen, Yunji Chen, Zidong Du, Ziyuan Nan","submitted_at":"2023-05-29T14:19:40Z","abstract_excerpt":"Though LLMs are capable of generating plausible programs, it's challenging to interact with the LLMs further to revise the program, especially if the user's specific requirements are different from the initial proposal. In this paper, we introduce ANPL, an interactive programming system that ensures users can always refine the generated code towards their specific programmatic intents via structured decompositions. Borrowing the paradigm of sketching from program synthesis, an ANPL program consists of a set of input-outputs that it must satisfy, a ``sketch'' -- control/data flow expressed in p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.18498","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/2305.18498/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:18:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HdD7GAp7P2/s5/j8Wfwf/SwfRa/nG/QsMjvOmJKSwmGnBe/FbrvSWZWv7mRzDjTqosRorzumh1wn24YRyMp+Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T13:21:41.937624Z"},"content_sha256":"91a54edb0805bb458f169327870b94e5b93f9f4b73288b34f2bc9b264bd28da8","schema_version":"1.0","event_id":"sha256:91a54edb0805bb458f169327870b94e5b93f9f4b73288b34f2bc9b264bd28da8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BIJLHAOIBA5BPWMVYWDHF6Z6HV/bundle.json","state_url":"https://pith.science/pith/BIJLHAOIBA5BPWMVYWDHF6Z6HV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BIJLHAOIBA5BPWMVYWDHF6Z6HV/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-15T13:21:41Z","links":{"resolver":"https://pith.science/pith/BIJLHAOIBA5BPWMVYWDHF6Z6HV","bundle":"https://pith.science/pith/BIJLHAOIBA5BPWMVYWDHF6Z6HV/bundle.json","state":"https://pith.science/pith/BIJLHAOIBA5BPWMVYWDHF6Z6HV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BIJLHAOIBA5BPWMVYWDHF6Z6HV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:BIJLHAOIBA5BPWMVYWDHF6Z6HV","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":"2c264a495923fdcc21ae6d28ec03521a4338ed72222e7f63576ba68a8a1a1b56","cross_cats_sorted":["cs.AI","cs.CL","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-05-29T14:19:40Z","title_canon_sha256":"035db2570f29c3ebdbf77bc58f26e180c4788d479442520234ed167e96e7c8b9"},"schema_version":"1.0","source":{"id":"2305.18498","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.18498","created_at":"2026-07-05T07:18:27Z"},{"alias_kind":"arxiv_version","alias_value":"2305.18498v2","created_at":"2026-07-05T07:18:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.18498","created_at":"2026-07-05T07:18:27Z"},{"alias_kind":"pith_short_12","alias_value":"BIJLHAOIBA5B","created_at":"2026-07-05T07:18:27Z"},{"alias_kind":"pith_short_16","alias_value":"BIJLHAOIBA5BPWMV","created_at":"2026-07-05T07:18:27Z"},{"alias_kind":"pith_short_8","alias_value":"BIJLHAOI","created_at":"2026-07-05T07:18:27Z"}],"graph_snapshots":[{"event_id":"sha256:91a54edb0805bb458f169327870b94e5b93f9f4b73288b34f2bc9b264bd28da8","target":"graph","created_at":"2026-07-05T07:18:27Z","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/2305.18498/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Though LLMs are capable of generating plausible programs, it's challenging to interact with the LLMs further to revise the program, especially if the user's specific requirements are different from the initial proposal. In this paper, we introduce ANPL, an interactive programming system that ensures users can always refine the generated code towards their specific programmatic intents via structured decompositions. Borrowing the paradigm of sketching from program synthesis, an ANPL program consists of a set of input-outputs that it must satisfy, a ``sketch'' -- control/data flow expressed in p","authors_text":"Di Huang, Pengwei Jin, Qi Guo, Rui Zhang, Shaohui Peng, Xing Hu, Yewen Pu, Yuanbo Wen, Yunji Chen, Zidong Du, Ziyuan Nan","cross_cats":["cs.AI","cs.CL","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-05-29T14:19:40Z","title":"ANPL: Towards Natural Programming with Interactive Decomposition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.18498","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:b546ec8fefabf4a4b8094c5f668ee236e7518c4c2fd40846409ddaaa96ebb0d7","target":"record","created_at":"2026-07-05T07:18:27Z","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":"2c264a495923fdcc21ae6d28ec03521a4338ed72222e7f63576ba68a8a1a1b56","cross_cats_sorted":["cs.AI","cs.CL","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-05-29T14:19:40Z","title_canon_sha256":"035db2570f29c3ebdbf77bc58f26e180c4788d479442520234ed167e96e7c8b9"},"schema_version":"1.0","source":{"id":"2305.18498","kind":"arxiv","version":2}},"canonical_sha256":"0a12b381c8083a17d995c58672fb3e3d4b55ae699a849d7c192e732faa96bd8c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0a12b381c8083a17d995c58672fb3e3d4b55ae699a849d7c192e732faa96bd8c","first_computed_at":"2026-07-05T07:18:27.048499Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:18:27.048499Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oHS3u7g5f9KQ14CZiZrmv2EUGYROmG/WsEE4UfgKiETc82+BrYz1s6SIhgRbWxIGOWBSc1PFWFIdUulrYy8TDw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:18:27.049045Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.18498","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b546ec8fefabf4a4b8094c5f668ee236e7518c4c2fd40846409ddaaa96ebb0d7","sha256:91a54edb0805bb458f169327870b94e5b93f9f4b73288b34f2bc9b264bd28da8"],"state_sha256":"9701fffd76380f2214f47a8314e92b22b6af11859a1d6131724269d6b560b0f4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cnU9ho8ly/bXhMKKkEOBXE3PWQSN+vddPOS86nUJCwQpVHlAmIzX5YbXfMEClOaPUBEqcuJteoIJhPDeBKcfBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T13:21:41.944261Z","bundle_sha256":"a0e4e9c6c86a443413b8aae91201c39bc12678b98c4f2587d4c414cfd7a60517"}}