{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:7NMG253VRUDUKCQXKP4KVGBO7U","short_pith_number":"pith:7NMG253V","canonical_record":{"source":{"id":"2411.15368","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-22T22:29:37Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"65103971b0254cf75695d80c75d4c97c409fd713940f0a422cce1296a8a4a64d","abstract_canon_sha256":"0828b6299a2238f9cd8ea721a759993a3304cd1dd60d9680e2441c0862438199"},"schema_version":"1.0"},"canonical_sha256":"fb586d77758d07450a1753f8aa982efd3655aea2920241e04ed3fe54b7f243ed","source":{"kind":"arxiv","id":"2411.15368","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.15368","created_at":"2026-07-05T10:01:38Z"},{"alias_kind":"arxiv_version","alias_value":"2411.15368v2","created_at":"2026-07-05T10:01:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.15368","created_at":"2026-07-05T10:01:38Z"},{"alias_kind":"pith_short_12","alias_value":"7NMG253VRUDU","created_at":"2026-07-05T10:01:38Z"},{"alias_kind":"pith_short_16","alias_value":"7NMG253VRUDUKCQX","created_at":"2026-07-05T10:01:38Z"},{"alias_kind":"pith_short_8","alias_value":"7NMG253V","created_at":"2026-07-05T10:01:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:7NMG253VRUDUKCQXKP4KVGBO7U","target":"record","payload":{"canonical_record":{"source":{"id":"2411.15368","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-22T22:29:37Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"65103971b0254cf75695d80c75d4c97c409fd713940f0a422cce1296a8a4a64d","abstract_canon_sha256":"0828b6299a2238f9cd8ea721a759993a3304cd1dd60d9680e2441c0862438199"},"schema_version":"1.0"},"canonical_sha256":"fb586d77758d07450a1753f8aa982efd3655aea2920241e04ed3fe54b7f243ed","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:01:38.097178Z","signature_b64":"qQuKKh4D8MXZZTgAQFI9gPCLWUJCImUhu4P+Ab5+FbpUxbGTtnz+pPoN3l9OXqbbAz8HByalaxySP4mqB5HUCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fb586d77758d07450a1753f8aa982efd3655aea2920241e04ed3fe54b7f243ed","last_reissued_at":"2026-07-05T10:01:38.096796Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:01:38.096796Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.15368","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-05T10:01:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y8SLNFpdWYVaDvj2d/2ymJta9pS7hPrd+ufnoZQqawUM33SGpuxfBG9A5T1JL5iPX0NCk4ZKaHs5wnirH80DDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T19:22:40.804660Z"},"content_sha256":"a9725757cee7c9f5329f3662ad9d02a634c29a55ac7a5320bd86535b2c8db259","schema_version":"1.0","event_id":"sha256:a9725757cee7c9f5329f3662ad9d02a634c29a55ac7a5320bd86535b2c8db259"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:7NMG253VRUDUKCQXKP4KVGBO7U","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG","cs.PL"],"primary_cat":"cs.SE","authors_text":"Boqi Chen, D\\'aniel Varr\\'o, Gunter Mussbacher, Jos\\'e Antonio Hern\\'andez L\\'opez","submitted_at":"2024-11-22T22:29:37Z","abstract_excerpt":"Motivation: Automated bug detection in dynamically typed languages such as Python is essential for maintaining code quality. The lack of mandatory type annotations in such languages can lead to errors that are challenging to identify early with traditional static analysis tools. Recent progress in deep neural networks has led to increased use of neural bug detectors. In statically typed languages, a type checker is integrated into the compiler and thus taken into consideration when the neural bug detector is designed for these languages.\n  Problem: However, prior studies overlook this aspect d"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.15368","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/2411.15368/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-05T10:01:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iAROi3Wlyz66DTFpHiGm8qqeAOkB4bxK/tRNytwGA0/3S96HPtbFwhBvTCB7cIsuxwZFba6ICZPbvPEZRdELCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T19:22:40.805169Z"},"content_sha256":"98435581ca19f40f4c3f229bcf294a751fdfa4ce947628f983d925bda2df762d","schema_version":"1.0","event_id":"sha256:98435581ca19f40f4c3f229bcf294a751fdfa4ce947628f983d925bda2df762d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7NMG253VRUDUKCQXKP4KVGBO7U/bundle.json","state_url":"https://pith.science/pith/7NMG253VRUDUKCQXKP4KVGBO7U/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7NMG253VRUDUKCQXKP4KVGBO7U/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-14T19:22:40Z","links":{"resolver":"https://pith.science/pith/7NMG253VRUDUKCQXKP4KVGBO7U","bundle":"https://pith.science/pith/7NMG253VRUDUKCQXKP4KVGBO7U/bundle.json","state":"https://pith.science/pith/7NMG253VRUDUKCQXKP4KVGBO7U/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7NMG253VRUDUKCQXKP4KVGBO7U/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:7NMG253VRUDUKCQXKP4KVGBO7U","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":"0828b6299a2238f9cd8ea721a759993a3304cd1dd60d9680e2441c0862438199","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-22T22:29:37Z","title_canon_sha256":"65103971b0254cf75695d80c75d4c97c409fd713940f0a422cce1296a8a4a64d"},"schema_version":"1.0","source":{"id":"2411.15368","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.15368","created_at":"2026-07-05T10:01:38Z"},{"alias_kind":"arxiv_version","alias_value":"2411.15368v2","created_at":"2026-07-05T10:01:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.15368","created_at":"2026-07-05T10:01:38Z"},{"alias_kind":"pith_short_12","alias_value":"7NMG253VRUDU","created_at":"2026-07-05T10:01:38Z"},{"alias_kind":"pith_short_16","alias_value":"7NMG253VRUDUKCQX","created_at":"2026-07-05T10:01:38Z"},{"alias_kind":"pith_short_8","alias_value":"7NMG253V","created_at":"2026-07-05T10:01:38Z"}],"graph_snapshots":[{"event_id":"sha256:98435581ca19f40f4c3f229bcf294a751fdfa4ce947628f983d925bda2df762d","target":"graph","created_at":"2026-07-05T10:01:38Z","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/2411.15368/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Motivation: Automated bug detection in dynamically typed languages such as Python is essential for maintaining code quality. The lack of mandatory type annotations in such languages can lead to errors that are challenging to identify early with traditional static analysis tools. Recent progress in deep neural networks has led to increased use of neural bug detectors. In statically typed languages, a type checker is integrated into the compiler and thus taken into consideration when the neural bug detector is designed for these languages.\n  Problem: However, prior studies overlook this aspect d","authors_text":"Boqi Chen, D\\'aniel Varr\\'o, Gunter Mussbacher, Jos\\'e Antonio Hern\\'andez L\\'opez","cross_cats":["cs.LG","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.15368","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:a9725757cee7c9f5329f3662ad9d02a634c29a55ac7a5320bd86535b2c8db259","target":"record","created_at":"2026-07-05T10:01:38Z","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":"0828b6299a2238f9cd8ea721a759993a3304cd1dd60d9680e2441c0862438199","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-22T22:29:37Z","title_canon_sha256":"65103971b0254cf75695d80c75d4c97c409fd713940f0a422cce1296a8a4a64d"},"schema_version":"1.0","source":{"id":"2411.15368","kind":"arxiv","version":2}},"canonical_sha256":"fb586d77758d07450a1753f8aa982efd3655aea2920241e04ed3fe54b7f243ed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fb586d77758d07450a1753f8aa982efd3655aea2920241e04ed3fe54b7f243ed","first_computed_at":"2026-07-05T10:01:38.096796Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:01:38.096796Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qQuKKh4D8MXZZTgAQFI9gPCLWUJCImUhu4P+Ab5+FbpUxbGTtnz+pPoN3l9OXqbbAz8HByalaxySP4mqB5HUCg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:01:38.097178Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.15368","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a9725757cee7c9f5329f3662ad9d02a634c29a55ac7a5320bd86535b2c8db259","sha256:98435581ca19f40f4c3f229bcf294a751fdfa4ce947628f983d925bda2df762d"],"state_sha256":"02f54c3bb850b75fe6eac305d012b7d64d0f073f97cec286c06f154a1b172435"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"izyD+gEZVTtyNNM0Mvv3C3yQfbnyjuiPA/LJLHm+0JVCota6BgCg9pv4+RgkB3Tv0IN9fEayYxeYJ1/1gmYeCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T19:22:40.810259Z","bundle_sha256":"8f37b4e93c2f85d2771e9d2bec65a431e275f1242069002cd918e2fcd7104c1a"}}