{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:YVNVP3KLNM6C4VEAEHFXOU5TIY","short_pith_number":"pith:YVNVP3KL","schema_version":"1.0","canonical_sha256":"c55b57ed4b6b3c2e548021cb7753b3460611ec560c40faec62473e21257dc7a4","source":{"kind":"arxiv","id":"2501.02138","version":1},"attestation_state":"computed","paper":{"title":"Effective LLM-Driven Code Generation with Pythoness","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.PL","authors_text":"Emery D. Berger, Kyla H. Levin, Kyle Gwilt, Stephen N. Freund","submitted_at":"2025-01-03T23:14:46Z","abstract_excerpt":"The advent of large language models (LLMs) has paved the way for a new era of programming tools with both significant capabilities and risks, as the generated code lacks guarantees of correctness and reliability. Developers using LLMs currently face the difficult task of optimizing, integrating, and maintaining code generated by AI. We propose an embedded domain-specific language (DSL), Pythoness, to address those challenges. In Pythoness, developers program with LLMs at a higher level of abstraction. Rather than interacting directly with generated code, developers using Pythoness operate at t"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2501.02138","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-01-03T23:14:46Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"1551a72357e2e407b096c2d36e63993440d571ae171c93052ac76feba9b9eb86","abstract_canon_sha256":"18ce17e4efd110151f4e5142cf36eb1fb964c52fccd9088d7f8295d1c0fa76fb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:57:02.781159Z","signature_b64":"0pd9SfOE7AjFl8pSAT4rYaK1ddk7c9QoTjh9oRkWLYEZ4k6yIiwpcxR7lA16Q7Ggr+rxdxdQZN2r0jM5y6dLDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c55b57ed4b6b3c2e548021cb7753b3460611ec560c40faec62473e21257dc7a4","last_reissued_at":"2026-07-05T09:57:02.780713Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:57:02.780713Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Effective LLM-Driven Code Generation with Pythoness","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.PL","authors_text":"Emery D. Berger, Kyla H. Levin, Kyle Gwilt, Stephen N. Freund","submitted_at":"2025-01-03T23:14:46Z","abstract_excerpt":"The advent of large language models (LLMs) has paved the way for a new era of programming tools with both significant capabilities and risks, as the generated code lacks guarantees of correctness and reliability. Developers using LLMs currently face the difficult task of optimizing, integrating, and maintaining code generated by AI. We propose an embedded domain-specific language (DSL), Pythoness, to address those challenges. In Pythoness, developers program with LLMs at a higher level of abstraction. Rather than interacting directly with generated code, developers using Pythoness operate at t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.02138","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/2501.02138/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2501.02138","created_at":"2026-07-05T09:57:02.780765+00:00"},{"alias_kind":"arxiv_version","alias_value":"2501.02138v1","created_at":"2026-07-05T09:57:02.780765+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.02138","created_at":"2026-07-05T09:57:02.780765+00:00"},{"alias_kind":"pith_short_12","alias_value":"YVNVP3KLNM6C","created_at":"2026-07-05T09:57:02.780765+00:00"},{"alias_kind":"pith_short_16","alias_value":"YVNVP3KLNM6C4VEA","created_at":"2026-07-05T09:57:02.780765+00:00"},{"alias_kind":"pith_short_8","alias_value":"YVNVP3KL","created_at":"2026-07-05T09:57:02.780765+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.15865","citing_title":"From Text to DSL: Evaluating Grammar-Based Model Generation Using Open LLMs","ref_index":19,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YVNVP3KLNM6C4VEAEHFXOU5TIY","json":"https://pith.science/pith/YVNVP3KLNM6C4VEAEHFXOU5TIY.json","graph_json":"https://pith.science/api/pith-number/YVNVP3KLNM6C4VEAEHFXOU5TIY/graph.json","events_json":"https://pith.science/api/pith-number/YVNVP3KLNM6C4VEAEHFXOU5TIY/events.json","paper":"https://pith.science/paper/YVNVP3KL"},"agent_actions":{"view_html":"https://pith.science/pith/YVNVP3KLNM6C4VEAEHFXOU5TIY","download_json":"https://pith.science/pith/YVNVP3KLNM6C4VEAEHFXOU5TIY.json","view_paper":"https://pith.science/paper/YVNVP3KL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2501.02138&json=true","fetch_graph":"https://pith.science/api/pith-number/YVNVP3KLNM6C4VEAEHFXOU5TIY/graph.json","fetch_events":"https://pith.science/api/pith-number/YVNVP3KLNM6C4VEAEHFXOU5TIY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YVNVP3KLNM6C4VEAEHFXOU5TIY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YVNVP3KLNM6C4VEAEHFXOU5TIY/action/storage_attestation","attest_author":"https://pith.science/pith/YVNVP3KLNM6C4VEAEHFXOU5TIY/action/author_attestation","sign_citation":"https://pith.science/pith/YVNVP3KLNM6C4VEAEHFXOU5TIY/action/citation_signature","submit_replication":"https://pith.science/pith/YVNVP3KLNM6C4VEAEHFXOU5TIY/action/replication_record"}},"created_at":"2026-07-05T09:57:02.780765+00:00","updated_at":"2026-07-05T09:57:02.780765+00:00"}