{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:6CYVDO3FEWZNJB4K3S2VI5SA4Q","short_pith_number":"pith:6CYVDO3F","canonical_record":{"source":{"id":"2208.05950","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-08-11T17:41:08Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"38e2f111125da31b987427a2fc6515477dd9d68264de5c7a3585dde722dc2515","abstract_canon_sha256":"a96959766d2e1956b4884b9c6cb0e042bd0f0a9282c3ebcff736551b0313d566"},"schema_version":"1.0"},"canonical_sha256":"f0b151bb6525b2d4878adcb5547640e42bee7394737db6c7eae2ed36fb1dbe19","source":{"kind":"arxiv","id":"2208.05950","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.05950","created_at":"2026-07-05T06:56:52Z"},{"alias_kind":"arxiv_version","alias_value":"2208.05950v2","created_at":"2026-07-05T06:56:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.05950","created_at":"2026-07-05T06:56:52Z"},{"alias_kind":"pith_short_12","alias_value":"6CYVDO3FEWZN","created_at":"2026-07-05T06:56:52Z"},{"alias_kind":"pith_short_16","alias_value":"6CYVDO3FEWZNJB4K","created_at":"2026-07-05T06:56:52Z"},{"alias_kind":"pith_short_8","alias_value":"6CYVDO3F","created_at":"2026-07-05T06:56:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:6CYVDO3FEWZNJB4K3S2VI5SA4Q","target":"record","payload":{"canonical_record":{"source":{"id":"2208.05950","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-08-11T17:41:08Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"38e2f111125da31b987427a2fc6515477dd9d68264de5c7a3585dde722dc2515","abstract_canon_sha256":"a96959766d2e1956b4884b9c6cb0e042bd0f0a9282c3ebcff736551b0313d566"},"schema_version":"1.0"},"canonical_sha256":"f0b151bb6525b2d4878adcb5547640e42bee7394737db6c7eae2ed36fb1dbe19","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:56:52.705496Z","signature_b64":"XPxyHmrUv3tMUK5rZ1CgKKTMbh12nI9bie9Db4QpGVjchOYsQ5Plz126wiRdm7nhvvzqVfSEEKh+C3VMUH1BBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f0b151bb6525b2d4878adcb5547640e42bee7394737db6c7eae2ed36fb1dbe19","last_reissued_at":"2026-07-05T06:56:52.705010Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:56:52.705010Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2208.05950","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-05T06:56:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B5urxmuKKBY0bkG3HF49lFjng+BHwZNqpAj8sCfAMPhm6mK3naeMwYhs1kOW9uNRKRhPillNpxPZL6ECpe7OAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T07:23:11.089423Z"},"content_sha256":"14b13cd7ffa650d6cd9fbeaff62cefa24e2208bc93f03c59347d5f6fd9aaef24","schema_version":"1.0","event_id":"sha256:14b13cd7ffa650d6cd9fbeaff62cefa24e2208bc93f03c59347d5f6fd9aaef24"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:6CYVDO3FEWZNJB4K3S2VI5SA4Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Interactive Code Generation via Test-Driven User-Intent Formalization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG","cs.PL"],"primary_cat":"cs.SE","authors_text":"Aaditya Naik, Chenglong Wang, Curtis von Veh, Georgios Sakkas, Jeevana Priya Inala, Jianfeng Gao, Madanlal Musuvathi, Piali Choudhury, Saikat Chakraborty, Sarah Fakhoury, Shuvendu K. Lahiri","submitted_at":"2022-08-11T17:41:08Z","abstract_excerpt":"Large language models (LLMs) have shown great potential in automating significant aspects of coding by producing natural code from informal natural language (NL) intent. However, when interacting with LLMs, users have no guarantees that the code suggestions produced correctly satisfy the intent they provided. In fact, it is hard to define a notion of correctness since natural language can be ambiguous and lacks a formal semantics.\n  In this paper, we propose the workflow of {\\it interactive test-driven code generation}, which leverages lightweight user feedback to (a) formalize the user intent"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.05950","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/2208.05950/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-05T06:56:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M1jNPfXN335vDw0EqTp+zfSiq+YsrRLmc/fjU3QyCp4mvlLRfCj8yQBcTfjSZTY4FX1H2chVFwlQ1NFjk4oxBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T07:23:11.089738Z"},"content_sha256":"51377335f069781f110684292b814cfda99fc6f25f880189e21954281ce6847b","schema_version":"1.0","event_id":"sha256:51377335f069781f110684292b814cfda99fc6f25f880189e21954281ce6847b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6CYVDO3FEWZNJB4K3S2VI5SA4Q/bundle.json","state_url":"https://pith.science/pith/6CYVDO3FEWZNJB4K3S2VI5SA4Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6CYVDO3FEWZNJB4K3S2VI5SA4Q/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-01T07:23:11Z","links":{"resolver":"https://pith.science/pith/6CYVDO3FEWZNJB4K3S2VI5SA4Q","bundle":"https://pith.science/pith/6CYVDO3FEWZNJB4K3S2VI5SA4Q/bundle.json","state":"https://pith.science/pith/6CYVDO3FEWZNJB4K3S2VI5SA4Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6CYVDO3FEWZNJB4K3S2VI5SA4Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:6CYVDO3FEWZNJB4K3S2VI5SA4Q","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":"a96959766d2e1956b4884b9c6cb0e042bd0f0a9282c3ebcff736551b0313d566","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-08-11T17:41:08Z","title_canon_sha256":"38e2f111125da31b987427a2fc6515477dd9d68264de5c7a3585dde722dc2515"},"schema_version":"1.0","source":{"id":"2208.05950","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.05950","created_at":"2026-07-05T06:56:52Z"},{"alias_kind":"arxiv_version","alias_value":"2208.05950v2","created_at":"2026-07-05T06:56:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.05950","created_at":"2026-07-05T06:56:52Z"},{"alias_kind":"pith_short_12","alias_value":"6CYVDO3FEWZN","created_at":"2026-07-05T06:56:52Z"},{"alias_kind":"pith_short_16","alias_value":"6CYVDO3FEWZNJB4K","created_at":"2026-07-05T06:56:52Z"},{"alias_kind":"pith_short_8","alias_value":"6CYVDO3F","created_at":"2026-07-05T06:56:52Z"}],"graph_snapshots":[{"event_id":"sha256:51377335f069781f110684292b814cfda99fc6f25f880189e21954281ce6847b","target":"graph","created_at":"2026-07-05T06:56:52Z","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/2208.05950/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) have shown great potential in automating significant aspects of coding by producing natural code from informal natural language (NL) intent. However, when interacting with LLMs, users have no guarantees that the code suggestions produced correctly satisfy the intent they provided. In fact, it is hard to define a notion of correctness since natural language can be ambiguous and lacks a formal semantics.\n  In this paper, we propose the workflow of {\\it interactive test-driven code generation}, which leverages lightweight user feedback to (a) formalize the user intent","authors_text":"Aaditya Naik, Chenglong Wang, Curtis von Veh, Georgios Sakkas, Jeevana Priya Inala, Jianfeng Gao, Madanlal Musuvathi, Piali Choudhury, Saikat Chakraborty, Sarah Fakhoury, Shuvendu K. Lahiri","cross_cats":["cs.LG","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-08-11T17:41:08Z","title":"Interactive Code Generation via Test-Driven User-Intent Formalization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.05950","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:14b13cd7ffa650d6cd9fbeaff62cefa24e2208bc93f03c59347d5f6fd9aaef24","target":"record","created_at":"2026-07-05T06:56:52Z","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":"a96959766d2e1956b4884b9c6cb0e042bd0f0a9282c3ebcff736551b0313d566","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-08-11T17:41:08Z","title_canon_sha256":"38e2f111125da31b987427a2fc6515477dd9d68264de5c7a3585dde722dc2515"},"schema_version":"1.0","source":{"id":"2208.05950","kind":"arxiv","version":2}},"canonical_sha256":"f0b151bb6525b2d4878adcb5547640e42bee7394737db6c7eae2ed36fb1dbe19","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f0b151bb6525b2d4878adcb5547640e42bee7394737db6c7eae2ed36fb1dbe19","first_computed_at":"2026-07-05T06:56:52.705010Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:56:52.705010Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XPxyHmrUv3tMUK5rZ1CgKKTMbh12nI9bie9Db4QpGVjchOYsQ5Plz126wiRdm7nhvvzqVfSEEKh+C3VMUH1BBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:56:52.705496Z","signed_message":"canonical_sha256_bytes"},"source_id":"2208.05950","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:14b13cd7ffa650d6cd9fbeaff62cefa24e2208bc93f03c59347d5f6fd9aaef24","sha256:51377335f069781f110684292b814cfda99fc6f25f880189e21954281ce6847b"],"state_sha256":"ee865aefd8e84fe9316c75b589e5ea3a056f457bd4832e9dbe5caa7df3845b92"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f+PKuNstrBXZ+CUPtURJ59P6T3xKMIyb7SGr/1uTNk3sj3O67VR+6FZjEuXplidUaF/JF8/CZ9GxXjDg2COVAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-01T07:23:11.094064Z","bundle_sha256":"c231f5cf9e86e8d6297643986c4dd99d72bd895fb3077bd350482b3a33cf1004"}}