{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:QXDOWSVS4FJL5N4UHPO2TJPK23","short_pith_number":"pith:QXDOWSVS","canonical_record":{"source":{"id":"2312.13064","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-12-20T14:43:36Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"1de134185e7e0df8b92ff47d6a1863c5807a9ee6a8af4005028faac870818f0f","abstract_canon_sha256":"0fdfd28d7eda61e2b10b97e1a95e53009ff285e9bc8a650789b7ca8e23e9aec1"},"schema_version":"1.0"},"canonical_sha256":"85c6eb4ab2e152beb7943bdda9a5ead6e02e438540a6f49fffe1a7a844a45081","source":{"kind":"arxiv","id":"2312.13064","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.13064","created_at":"2026-07-05T08:18:03Z"},{"alias_kind":"arxiv_version","alias_value":"2312.13064v3","created_at":"2026-07-05T08:18:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.13064","created_at":"2026-07-05T08:18:03Z"},{"alias_kind":"pith_short_12","alias_value":"QXDOWSVS4FJL","created_at":"2026-07-05T08:18:03Z"},{"alias_kind":"pith_short_16","alias_value":"QXDOWSVS4FJL5N4U","created_at":"2026-07-05T08:18:03Z"},{"alias_kind":"pith_short_8","alias_value":"QXDOWSVS","created_at":"2026-07-05T08:18:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:QXDOWSVS4FJL5N4UHPO2TJPK23","target":"record","payload":{"canonical_record":{"source":{"id":"2312.13064","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-12-20T14:43:36Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"1de134185e7e0df8b92ff47d6a1863c5807a9ee6a8af4005028faac870818f0f","abstract_canon_sha256":"0fdfd28d7eda61e2b10b97e1a95e53009ff285e9bc8a650789b7ca8e23e9aec1"},"schema_version":"1.0"},"canonical_sha256":"85c6eb4ab2e152beb7943bdda9a5ead6e02e438540a6f49fffe1a7a844a45081","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:18:03.324262Z","signature_b64":"ygHELFaonTaY22TYjsIBULL/aYH3CZg1KBoWTpUbd6HKNinrxPUqGWO5K+E0tkpNj5Jm0hpzjfdIHtowni94Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"85c6eb4ab2e152beb7943bdda9a5ead6e02e438540a6f49fffe1a7a844a45081","last_reissued_at":"2026-07-05T08:18:03.323808Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:18:03.323808Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2312.13064","source_version":3,"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-05T08:18:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JlpEgMIrEmfodax24ss2YgTtbo7Nis3+Y9pWitRAKXT19gfUJV2Gi4e5S6GHNwAzNOM7Gl928Btke+h8xjczDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T01:24:41.069019Z"},"content_sha256":"73e4ed5a56e5a47456b23a3d0d528c46f3d28cc847595a52d915af1b17345ae7","schema_version":"1.0","event_id":"sha256:73e4ed5a56e5a47456b23a3d0d528c46f3d28cc847595a52d915af1b17345ae7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:QXDOWSVS4FJL5N4UHPO2TJPK23","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LPR: Large Language Models-Aided Program Reduction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Chengnian Sun, Mengxiao Zhang, Shin Hwei Tan, Yiwen Dong, Yongqiang Tian, Zhenyang Xu","submitted_at":"2023-12-20T14:43:36Z","abstract_excerpt":"Program reduction is a prevalent technique to facilitate compilers' debugging by automatically minimizing bug-triggering programs. Existing program reduction techniques are either generic across languages (e.g., Perses and Vulcan) or specifically customized for one certain language by employing language-specific features, like C-Reduce. However, striking the balance between generality across multiple programming languages and specificity to individual languages in program reduction is yet to be explored. This paper proposes LPR, the first technique utilizing LLMs to perform language-specific p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.13064","kind":"arxiv","version":3},"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/2312.13064/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-05T08:18:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HNnwW1bCxlTkH3ahrYHXeJrMeeOwoApxvb8u5ZgL+jFSB/OHXbSWFK78lajZFlRF1TEpKyUsVJNLypnV/kgoDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T01:24:41.070005Z"},"content_sha256":"1f7be6d01ac2e9b7dad739aa5a059b0c07581c25447adb7120df702afc2fc52c","schema_version":"1.0","event_id":"sha256:1f7be6d01ac2e9b7dad739aa5a059b0c07581c25447adb7120df702afc2fc52c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QXDOWSVS4FJL5N4UHPO2TJPK23/bundle.json","state_url":"https://pith.science/pith/QXDOWSVS4FJL5N4UHPO2TJPK23/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QXDOWSVS4FJL5N4UHPO2TJPK23/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-15T01:24:41Z","links":{"resolver":"https://pith.science/pith/QXDOWSVS4FJL5N4UHPO2TJPK23","bundle":"https://pith.science/pith/QXDOWSVS4FJL5N4UHPO2TJPK23/bundle.json","state":"https://pith.science/pith/QXDOWSVS4FJL5N4UHPO2TJPK23/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QXDOWSVS4FJL5N4UHPO2TJPK23/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:QXDOWSVS4FJL5N4UHPO2TJPK23","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":"0fdfd28d7eda61e2b10b97e1a95e53009ff285e9bc8a650789b7ca8e23e9aec1","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-12-20T14:43:36Z","title_canon_sha256":"1de134185e7e0df8b92ff47d6a1863c5807a9ee6a8af4005028faac870818f0f"},"schema_version":"1.0","source":{"id":"2312.13064","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.13064","created_at":"2026-07-05T08:18:03Z"},{"alias_kind":"arxiv_version","alias_value":"2312.13064v3","created_at":"2026-07-05T08:18:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.13064","created_at":"2026-07-05T08:18:03Z"},{"alias_kind":"pith_short_12","alias_value":"QXDOWSVS4FJL","created_at":"2026-07-05T08:18:03Z"},{"alias_kind":"pith_short_16","alias_value":"QXDOWSVS4FJL5N4U","created_at":"2026-07-05T08:18:03Z"},{"alias_kind":"pith_short_8","alias_value":"QXDOWSVS","created_at":"2026-07-05T08:18:03Z"}],"graph_snapshots":[{"event_id":"sha256:1f7be6d01ac2e9b7dad739aa5a059b0c07581c25447adb7120df702afc2fc52c","target":"graph","created_at":"2026-07-05T08:18:03Z","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/2312.13064/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Program reduction is a prevalent technique to facilitate compilers' debugging by automatically minimizing bug-triggering programs. Existing program reduction techniques are either generic across languages (e.g., Perses and Vulcan) or specifically customized for one certain language by employing language-specific features, like C-Reduce. However, striking the balance between generality across multiple programming languages and specificity to individual languages in program reduction is yet to be explored. This paper proposes LPR, the first technique utilizing LLMs to perform language-specific p","authors_text":"Chengnian Sun, Mengxiao Zhang, Shin Hwei Tan, Yiwen Dong, Yongqiang Tian, Zhenyang Xu","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-12-20T14:43:36Z","title":"LPR: Large Language Models-Aided Program Reduction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.13064","kind":"arxiv","version":3},"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:73e4ed5a56e5a47456b23a3d0d528c46f3d28cc847595a52d915af1b17345ae7","target":"record","created_at":"2026-07-05T08:18:03Z","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":"0fdfd28d7eda61e2b10b97e1a95e53009ff285e9bc8a650789b7ca8e23e9aec1","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-12-20T14:43:36Z","title_canon_sha256":"1de134185e7e0df8b92ff47d6a1863c5807a9ee6a8af4005028faac870818f0f"},"schema_version":"1.0","source":{"id":"2312.13064","kind":"arxiv","version":3}},"canonical_sha256":"85c6eb4ab2e152beb7943bdda9a5ead6e02e438540a6f49fffe1a7a844a45081","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"85c6eb4ab2e152beb7943bdda9a5ead6e02e438540a6f49fffe1a7a844a45081","first_computed_at":"2026-07-05T08:18:03.323808Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:18:03.323808Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ygHELFaonTaY22TYjsIBULL/aYH3CZg1KBoWTpUbd6HKNinrxPUqGWO5K+E0tkpNj5Jm0hpzjfdIHtowni94Dw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:18:03.324262Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.13064","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:73e4ed5a56e5a47456b23a3d0d528c46f3d28cc847595a52d915af1b17345ae7","sha256:1f7be6d01ac2e9b7dad739aa5a059b0c07581c25447adb7120df702afc2fc52c"],"state_sha256":"4edfb249c8380a62599f9dcb2da07822308f7f71e5590f28b2751d939a899f04"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IcJ5+qWJQG/7b8e91SmcAjTtVX3lIjwiWdrktm7f7Dmcn2bDn280maxU/A8j5CytHD2ynGj+UwC6EQYjw8MrBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T01:24:41.074046Z","bundle_sha256":"b29e40e00e04adb326308785447bee202ae5623b86908d30a587817ed47228b3"}}