{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:NRGYJTM2YQ6SZVLUFLRNMCNMVX","short_pith_number":"pith:NRGYJTM2","schema_version":"1.0","canonical_sha256":"6c4d84cd9ac43d2cd5742ae2d609acadf12885c3afe689e8e2dd8525e8f70097","source":{"kind":"arxiv","id":"2307.09163","version":1},"attestation_state":"computed","paper":{"title":"Generative Type Inference for Python","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chaozheng Wang, Cuiyun Gao, Michael R. Lyu, Wenxuan Wang, Yun Peng","submitted_at":"2023-07-18T11:40:31Z","abstract_excerpt":"Python is a popular dynamic programming language, evidenced by its ranking as the second most commonly used language on GitHub. However, its dynamic type system can lead to potential type errors, leading researchers to explore automatic type inference approaches for Python programs. The rule-based type inference approaches can ensure the accuracy of predicted variable types, but they suffer from low coverage problems. Supervised type inference approaches, while feature-agnostic, require large, high-quality annotated datasets and are limited to pre-defined types. As zero-shot approaches, the cl"},"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":"2307.09163","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-07-18T11:40:31Z","cross_cats_sorted":[],"title_canon_sha256":"1477395ab48c4b5d30a6e68be5fa411ef86551d2fa5e0d55052966645cad0bcd","abstract_canon_sha256":"ec8c86fa148ef2e1e20fb6aef6da527bde72094e3765bee007681e91b9ce34b7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:32:13.426337Z","signature_b64":"Y0EbSRDzdAVyxL3zZiMxrlHGMmx/GtNLE6qEM27excHHeAQDymvfB8ktZG2CaT9QIhlVyfR6QXQpNXqvT8XkBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6c4d84cd9ac43d2cd5742ae2d609acadf12885c3afe689e8e2dd8525e8f70097","last_reissued_at":"2026-07-05T06:32:13.425841Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:32:13.425841Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Generative Type Inference for Python","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chaozheng Wang, Cuiyun Gao, Michael R. Lyu, Wenxuan Wang, Yun Peng","submitted_at":"2023-07-18T11:40:31Z","abstract_excerpt":"Python is a popular dynamic programming language, evidenced by its ranking as the second most commonly used language on GitHub. However, its dynamic type system can lead to potential type errors, leading researchers to explore automatic type inference approaches for Python programs. The rule-based type inference approaches can ensure the accuracy of predicted variable types, but they suffer from low coverage problems. Supervised type inference approaches, while feature-agnostic, require large, high-quality annotated datasets and are limited to pre-defined types. As zero-shot approaches, the cl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.09163","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/2307.09163/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":"2307.09163","created_at":"2026-07-05T06:32:13.425913+00:00"},{"alias_kind":"arxiv_version","alias_value":"2307.09163v1","created_at":"2026-07-05T06:32:13.425913+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.09163","created_at":"2026-07-05T06:32:13.425913+00:00"},{"alias_kind":"pith_short_12","alias_value":"NRGYJTM2YQ6S","created_at":"2026-07-05T06:32:13.425913+00:00"},{"alias_kind":"pith_short_16","alias_value":"NRGYJTM2YQ6SZVLU","created_at":"2026-07-05T06:32:13.425913+00:00"},{"alias_kind":"pith_short_8","alias_value":"NRGYJTM2","created_at":"2026-07-05T06:32:13.425913+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NRGYJTM2YQ6SZVLUFLRNMCNMVX","json":"https://pith.science/pith/NRGYJTM2YQ6SZVLUFLRNMCNMVX.json","graph_json":"https://pith.science/api/pith-number/NRGYJTM2YQ6SZVLUFLRNMCNMVX/graph.json","events_json":"https://pith.science/api/pith-number/NRGYJTM2YQ6SZVLUFLRNMCNMVX/events.json","paper":"https://pith.science/paper/NRGYJTM2"},"agent_actions":{"view_html":"https://pith.science/pith/NRGYJTM2YQ6SZVLUFLRNMCNMVX","download_json":"https://pith.science/pith/NRGYJTM2YQ6SZVLUFLRNMCNMVX.json","view_paper":"https://pith.science/paper/NRGYJTM2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2307.09163&json=true","fetch_graph":"https://pith.science/api/pith-number/NRGYJTM2YQ6SZVLUFLRNMCNMVX/graph.json","fetch_events":"https://pith.science/api/pith-number/NRGYJTM2YQ6SZVLUFLRNMCNMVX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NRGYJTM2YQ6SZVLUFLRNMCNMVX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NRGYJTM2YQ6SZVLUFLRNMCNMVX/action/storage_attestation","attest_author":"https://pith.science/pith/NRGYJTM2YQ6SZVLUFLRNMCNMVX/action/author_attestation","sign_citation":"https://pith.science/pith/NRGYJTM2YQ6SZVLUFLRNMCNMVX/action/citation_signature","submit_replication":"https://pith.science/pith/NRGYJTM2YQ6SZVLUFLRNMCNMVX/action/replication_record"}},"created_at":"2026-07-05T06:32:13.425913+00:00","updated_at":"2026-07-05T06:32:13.425913+00:00"}