{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ING4TAULP6KF7AX3RPLIGEWW2C","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":"c62df11d12eb65c9ec6765936c727a7f037d6b73f317d77741a931ce2759e63c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-07-30T08:08:48Z","title_canon_sha256":"5e33c05d71e78915015100c61c183efe4ac372d4cbc056edfe9fb0686a0ebc08"},"schema_version":"1.0","source":{"id":"2507.22462","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.22462","created_at":"2026-07-05T11:46:46Z"},{"alias_kind":"arxiv_version","alias_value":"2507.22462v2","created_at":"2026-07-05T11:46:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.22462","created_at":"2026-07-05T11:46:46Z"},{"alias_kind":"pith_short_12","alias_value":"ING4TAULP6KF","created_at":"2026-07-05T11:46:46Z"},{"alias_kind":"pith_short_16","alias_value":"ING4TAULP6KF7AX3","created_at":"2026-07-05T11:46:46Z"},{"alias_kind":"pith_short_8","alias_value":"ING4TAUL","created_at":"2026-07-05T11:46:46Z"}],"graph_snapshots":[{"event_id":"sha256:fe2933c45e829dd47fe90c940c310ab9c26b0eb24b307580d770e76c6f0b0ffc","target":"graph","created_at":"2026-07-05T11:46:46Z","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/2507.22462/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Code large language models (Code LLMs) have made significant progress in code generation by translating natural language descriptions into functional code; however, real-world applications often demand stricter adherence to detailed requirements such as coding style, line count, and structural constraints, beyond mere correctness. To address this, the paper introduces forward and backward constraints generation to improve the instruction-following capabilities of Code LLMs in controlled code generation, ensuring outputs align more closely with human-defined guidelines. The authors further pres","authors_text":"Binyuan Hui, Ge Zhang, Guanglin Niu, Jiaheng Liu, Jian Yang, Junyang Lin, Linzheng Chai, Shukai Liu, Wangchunshu Zhou, Wei Zhang, Yingshui Tan, Zhoujun Li","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-07-30T08:08:48Z","title":"IFEvalCode: Controlled Code Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.22462","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:5a32bf31dbaa38ccf837880091b08d39ed2a5b1bdb97bfa78fc16f6bb49074e9","target":"record","created_at":"2026-07-05T11:46:46Z","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":"c62df11d12eb65c9ec6765936c727a7f037d6b73f317d77741a931ce2759e63c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-07-30T08:08:48Z","title_canon_sha256":"5e33c05d71e78915015100c61c183efe4ac372d4cbc056edfe9fb0686a0ebc08"},"schema_version":"1.0","source":{"id":"2507.22462","kind":"arxiv","version":2}},"canonical_sha256":"434dc9828b7f945f82fb8bd68312d6d0935a23af02e731e5a843944b85d5cc02","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"434dc9828b7f945f82fb8bd68312d6d0935a23af02e731e5a843944b85d5cc02","first_computed_at":"2026-07-05T11:46:46.227747Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:46:46.227747Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LderNla7Vs1q1+N6PrH7ERP823GUtef3pmK9YDtSb1lobtjWw0WDvaXLSGE2qt30U/bQarlYbVu35l+XVjDtDw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:46:46.228230Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.22462","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5a32bf31dbaa38ccf837880091b08d39ed2a5b1bdb97bfa78fc16f6bb49074e9","sha256:fe2933c45e829dd47fe90c940c310ab9c26b0eb24b307580d770e76c6f0b0ffc"],"state_sha256":"156b50bfd4c6047a45a0a2f0302b22fb13963c37154edaba0a2b87d308c7f938"}