{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:CO7ETHFGFZO3RCP3I572FG5NYV","short_pith_number":"pith:CO7ETHFG","canonical_record":{"source":{"id":"2505.22704","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-28T17:57:47Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c534654d2d3a5ac9dde493be7e8c4be6ca7cbe6c56a43eb567bcf81ff531d9e1","abstract_canon_sha256":"cb869b4669026202a9d0865b72f67ec1207d0ea13a43c0a38ca28cff0ba4a416"},"schema_version":"1.0"},"canonical_sha256":"13be499ca62e5db889fb477fa29badc5766e65283ac5c9657053a69f16ce5ec8","source":{"kind":"arxiv","id":"2505.22704","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.22704","created_at":"2026-07-05T11:11:48Z"},{"alias_kind":"arxiv_version","alias_value":"2505.22704v1","created_at":"2026-07-05T11:11:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.22704","created_at":"2026-07-05T11:11:48Z"},{"alias_kind":"pith_short_12","alias_value":"CO7ETHFGFZO3","created_at":"2026-07-05T11:11:48Z"},{"alias_kind":"pith_short_16","alias_value":"CO7ETHFGFZO3RCP3","created_at":"2026-07-05T11:11:48Z"},{"alias_kind":"pith_short_8","alias_value":"CO7ETHFG","created_at":"2026-07-05T11:11:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:CO7ETHFGFZO3RCP3I572FG5NYV","target":"record","payload":{"canonical_record":{"source":{"id":"2505.22704","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-28T17:57:47Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c534654d2d3a5ac9dde493be7e8c4be6ca7cbe6c56a43eb567bcf81ff531d9e1","abstract_canon_sha256":"cb869b4669026202a9d0865b72f67ec1207d0ea13a43c0a38ca28cff0ba4a416"},"schema_version":"1.0"},"canonical_sha256":"13be499ca62e5db889fb477fa29badc5766e65283ac5c9657053a69f16ce5ec8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:11:48.978631Z","signature_b64":"9Ims23ZgCFjuHjwXc8kDFjjPyt4Gu2DG5Hl/lUuwwRzpNmsJowSZ93KK2dxFZTwvE3G2I10eNSgVZoztlkPHBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"13be499ca62e5db889fb477fa29badc5766e65283ac5c9657053a69f16ce5ec8","last_reissued_at":"2026-07-05T11:11:48.978030Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:11:48.978030Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.22704","source_version":1,"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-05T11:11:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pEXv3HL62ixYP5B2AaCvOSWkZPf338GMmi6PEnNAkYl8wWm9R4nWyCcuQ6aEx5PgYXxEMnvrJhxlQLpBP7wGAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T16:58:59.754613Z"},"content_sha256":"9c87ac72046d7681dbf4dac30b8c346aa12b3df1e29bcb796d431dd77f33bc47","schema_version":"1.0","event_id":"sha256:9c87ac72046d7681dbf4dac30b8c346aa12b3df1e29bcb796d431dd77f33bc47"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:CO7ETHFGFZO3RCP3I572FG5NYV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Training Language Models to Generate Quality Code with Program Analysis Feedback","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Feng Yao, Haohui Mai, Jianfeng Gao, Jingbo Shang, Junxia Cui, Liyuan Liu, Li Zhong, Vish Krishnan, Xiaohan Fu, Zilong Wang","submitted_at":"2025-05-28T17:57:47Z","abstract_excerpt":"Code generation with large language models (LLMs), often termed vibe coding, is increasingly adopted in production but fails to ensure code quality, particularly in security (e.g., SQL injection vulnerabilities) and maintainability (e.g., missing type annotations). Existing methods, such as supervised fine-tuning and rule-based post-processing, rely on labor-intensive annotations or brittle heuristics, limiting their scalability and effectiveness. We propose REAL, a reinforcement learning framework that incentivizes LLMs to generate production-quality code using program analysis-guided feedbac"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.22704","kind":"arxiv","version":1},"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/2505.22704/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-05T11:11:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aec58opGFFdLVjE9WgnCOTgYHx+6052gxzc2b37xCcbJuD5bMXho+L7Dp+VInNl1ME1bbrICmv1L/9ddy3CpBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T16:58:59.755322Z"},"content_sha256":"4484273011bd298905964b90c3f92588ea25211c33e098ec0b8b513ef8d536a0","schema_version":"1.0","event_id":"sha256:4484273011bd298905964b90c3f92588ea25211c33e098ec0b8b513ef8d536a0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CO7ETHFGFZO3RCP3I572FG5NYV/bundle.json","state_url":"https://pith.science/pith/CO7ETHFGFZO3RCP3I572FG5NYV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CO7ETHFGFZO3RCP3I572FG5NYV/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-12T16:58:59Z","links":{"resolver":"https://pith.science/pith/CO7ETHFGFZO3RCP3I572FG5NYV","bundle":"https://pith.science/pith/CO7ETHFGFZO3RCP3I572FG5NYV/bundle.json","state":"https://pith.science/pith/CO7ETHFGFZO3RCP3I572FG5NYV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CO7ETHFGFZO3RCP3I572FG5NYV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:CO7ETHFGFZO3RCP3I572FG5NYV","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":"cb869b4669026202a9d0865b72f67ec1207d0ea13a43c0a38ca28cff0ba4a416","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-28T17:57:47Z","title_canon_sha256":"c534654d2d3a5ac9dde493be7e8c4be6ca7cbe6c56a43eb567bcf81ff531d9e1"},"schema_version":"1.0","source":{"id":"2505.22704","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.22704","created_at":"2026-07-05T11:11:48Z"},{"alias_kind":"arxiv_version","alias_value":"2505.22704v1","created_at":"2026-07-05T11:11:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.22704","created_at":"2026-07-05T11:11:48Z"},{"alias_kind":"pith_short_12","alias_value":"CO7ETHFGFZO3","created_at":"2026-07-05T11:11:48Z"},{"alias_kind":"pith_short_16","alias_value":"CO7ETHFGFZO3RCP3","created_at":"2026-07-05T11:11:48Z"},{"alias_kind":"pith_short_8","alias_value":"CO7ETHFG","created_at":"2026-07-05T11:11:48Z"}],"graph_snapshots":[{"event_id":"sha256:4484273011bd298905964b90c3f92588ea25211c33e098ec0b8b513ef8d536a0","target":"graph","created_at":"2026-07-05T11:11:48Z","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/2505.22704/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Code generation with large language models (LLMs), often termed vibe coding, is increasingly adopted in production but fails to ensure code quality, particularly in security (e.g., SQL injection vulnerabilities) and maintainability (e.g., missing type annotations). Existing methods, such as supervised fine-tuning and rule-based post-processing, rely on labor-intensive annotations or brittle heuristics, limiting their scalability and effectiveness. We propose REAL, a reinforcement learning framework that incentivizes LLMs to generate production-quality code using program analysis-guided feedbac","authors_text":"Feng Yao, Haohui Mai, Jianfeng Gao, Jingbo Shang, Junxia Cui, Liyuan Liu, Li Zhong, Vish Krishnan, Xiaohan Fu, Zilong Wang","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-28T17:57:47Z","title":"Training Language Models to Generate Quality Code with Program Analysis Feedback"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.22704","kind":"arxiv","version":1},"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:9c87ac72046d7681dbf4dac30b8c346aa12b3df1e29bcb796d431dd77f33bc47","target":"record","created_at":"2026-07-05T11:11:48Z","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":"cb869b4669026202a9d0865b72f67ec1207d0ea13a43c0a38ca28cff0ba4a416","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-28T17:57:47Z","title_canon_sha256":"c534654d2d3a5ac9dde493be7e8c4be6ca7cbe6c56a43eb567bcf81ff531d9e1"},"schema_version":"1.0","source":{"id":"2505.22704","kind":"arxiv","version":1}},"canonical_sha256":"13be499ca62e5db889fb477fa29badc5766e65283ac5c9657053a69f16ce5ec8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"13be499ca62e5db889fb477fa29badc5766e65283ac5c9657053a69f16ce5ec8","first_computed_at":"2026-07-05T11:11:48.978030Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:11:48.978030Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9Ims23ZgCFjuHjwXc8kDFjjPyt4Gu2DG5Hl/lUuwwRzpNmsJowSZ93KK2dxFZTwvE3G2I10eNSgVZoztlkPHBA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:11:48.978631Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.22704","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9c87ac72046d7681dbf4dac30b8c346aa12b3df1e29bcb796d431dd77f33bc47","sha256:4484273011bd298905964b90c3f92588ea25211c33e098ec0b8b513ef8d536a0"],"state_sha256":"c3e4ebfcdb252a2025d65138707208e7806fc517da082c88db6732a2200a563e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rjH+tkFPk2UpPorvSDio4L7AqJltM820PUKLzSKY3Cw03fBgIxChO47LnP9DSUkUgxHBP71uTMFaahaLek0vDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T16:58:59.761688Z","bundle_sha256":"824b8d9414a3322d803a18a380e1b6be7137fc7a7468601ddf3ecc572aa09599"}}