{"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"}