{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:Y5UPDBS23SG74WOHXVWFGDP6ZU","short_pith_number":"pith:Y5UPDBS2","canonical_record":{"source":{"id":"2403.15185","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2024-03-22T13:13:13Z","cross_cats_sorted":[],"title_canon_sha256":"bf7cd696aabef974a0f5b5a86684f9c505f713f022cd3cb43b8cbbca30e07a31","abstract_canon_sha256":"98ee52b5b2a25e662405f21a7e5c8c0b251a198011109626fc7d87e31706ec4d"},"schema_version":"1.0"},"canonical_sha256":"c768f1865adc8dfe59c7bd6c530dfecd1f9cc529fad3556e3fa13d8a6a09a823","source":{"kind":"arxiv","id":"2403.15185","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.15185","created_at":"2026-07-05T07:59:31Z"},{"alias_kind":"arxiv_version","alias_value":"2403.15185v1","created_at":"2026-07-05T07:59:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.15185","created_at":"2026-07-05T07:59:31Z"},{"alias_kind":"pith_short_12","alias_value":"Y5UPDBS23SG7","created_at":"2026-07-05T07:59:31Z"},{"alias_kind":"pith_short_16","alias_value":"Y5UPDBS23SG74WOH","created_at":"2026-07-05T07:59:31Z"},{"alias_kind":"pith_short_8","alias_value":"Y5UPDBS2","created_at":"2026-07-05T07:59:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:Y5UPDBS23SG74WOHXVWFGDP6ZU","target":"record","payload":{"canonical_record":{"source":{"id":"2403.15185","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2024-03-22T13:13:13Z","cross_cats_sorted":[],"title_canon_sha256":"bf7cd696aabef974a0f5b5a86684f9c505f713f022cd3cb43b8cbbca30e07a31","abstract_canon_sha256":"98ee52b5b2a25e662405f21a7e5c8c0b251a198011109626fc7d87e31706ec4d"},"schema_version":"1.0"},"canonical_sha256":"c768f1865adc8dfe59c7bd6c530dfecd1f9cc529fad3556e3fa13d8a6a09a823","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:59:31.488134Z","signature_b64":"LfOLOE9lAZM60yckbLaoHI7aJtTz3EJM95wn6nWq9RybOYov9iTfFNPC48cDXuU2n1feabQoUPXpMnqOlo8wBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c768f1865adc8dfe59c7bd6c530dfecd1f9cc529fad3556e3fa13d8a6a09a823","last_reissued_at":"2026-07-05T07:59:31.487728Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:59:31.487728Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.15185","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-05T07:59:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mecdZWpUvkvM1QAWAGw9BECOWdHe6dx1EdS0Ag9LlU+XIwFWeXmAAT4zCSDweEaQFwOUc+GDsF0IaqDRtnk/DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T19:55:00.339847Z"},"content_sha256":"47c25a29409b69d7c8b110ba781e3f360c34fbdaa8cd8418e30647131abb4099","schema_version":"1.0","event_id":"sha256:47c25a29409b69d7c8b110ba781e3f360c34fbdaa8cd8418e30647131abb4099"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:Y5UPDBS23SG74WOHXVWFGDP6ZU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Investigating the Performance of Language Models for Completing Code in Functional Programming Languages: a Haskell Case Study","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Berend Nieuwschepen, Frank van der Heijden, Maliheh Izadi, Marc Otten, Philippe de Bekker, Tim van Dam","submitted_at":"2024-03-22T13:13:13Z","abstract_excerpt":"Language model-based code completion models have quickly grown in use, helping thousands of developers write code in many different programming languages. However, research on code completion models typically focuses on imperative languages such as Python and JavaScript, which results in a lack of representation for functional programming languages. Consequently, these models often perform poorly on functional languages such as Haskell. To investigate whether this can be alleviated, we evaluate the performance of two language models for code, CodeGPT and UniXcoder, on the functional programmin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.15185","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/2403.15185/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-05T07:59:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B0zPBG1jV++d4T6O8yvYW2fN1iMVrPnqvXfboeJKEvMGDSd1YOH8W616r/PSfWme0lP3RqAp7n3s2Xj0LhwCAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T19:55:00.340414Z"},"content_sha256":"f083807eb789fd324a8a2511c0cd6e97ae1ea16df9bb121c66b0c637f8491c9a","schema_version":"1.0","event_id":"sha256:f083807eb789fd324a8a2511c0cd6e97ae1ea16df9bb121c66b0c637f8491c9a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Y5UPDBS23SG74WOHXVWFGDP6ZU/bundle.json","state_url":"https://pith.science/pith/Y5UPDBS23SG74WOHXVWFGDP6ZU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Y5UPDBS23SG74WOHXVWFGDP6ZU/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-19T19:55:00Z","links":{"resolver":"https://pith.science/pith/Y5UPDBS23SG74WOHXVWFGDP6ZU","bundle":"https://pith.science/pith/Y5UPDBS23SG74WOHXVWFGDP6ZU/bundle.json","state":"https://pith.science/pith/Y5UPDBS23SG74WOHXVWFGDP6ZU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Y5UPDBS23SG74WOHXVWFGDP6ZU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:Y5UPDBS23SG74WOHXVWFGDP6ZU","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":"98ee52b5b2a25e662405f21a7e5c8c0b251a198011109626fc7d87e31706ec4d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2024-03-22T13:13:13Z","title_canon_sha256":"bf7cd696aabef974a0f5b5a86684f9c505f713f022cd3cb43b8cbbca30e07a31"},"schema_version":"1.0","source":{"id":"2403.15185","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.15185","created_at":"2026-07-05T07:59:31Z"},{"alias_kind":"arxiv_version","alias_value":"2403.15185v1","created_at":"2026-07-05T07:59:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.15185","created_at":"2026-07-05T07:59:31Z"},{"alias_kind":"pith_short_12","alias_value":"Y5UPDBS23SG7","created_at":"2026-07-05T07:59:31Z"},{"alias_kind":"pith_short_16","alias_value":"Y5UPDBS23SG74WOH","created_at":"2026-07-05T07:59:31Z"},{"alias_kind":"pith_short_8","alias_value":"Y5UPDBS2","created_at":"2026-07-05T07:59:31Z"}],"graph_snapshots":[{"event_id":"sha256:f083807eb789fd324a8a2511c0cd6e97ae1ea16df9bb121c66b0c637f8491c9a","target":"graph","created_at":"2026-07-05T07:59:31Z","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/2403.15185/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Language model-based code completion models have quickly grown in use, helping thousands of developers write code in many different programming languages. However, research on code completion models typically focuses on imperative languages such as Python and JavaScript, which results in a lack of representation for functional programming languages. Consequently, these models often perform poorly on functional languages such as Haskell. To investigate whether this can be alleviated, we evaluate the performance of two language models for code, CodeGPT and UniXcoder, on the functional programmin","authors_text":"Berend Nieuwschepen, Frank van der Heijden, Maliheh Izadi, Marc Otten, Philippe de Bekker, Tim van Dam","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2024-03-22T13:13:13Z","title":"Investigating the Performance of Language Models for Completing Code in Functional Programming Languages: a Haskell Case Study"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.15185","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:47c25a29409b69d7c8b110ba781e3f360c34fbdaa8cd8418e30647131abb4099","target":"record","created_at":"2026-07-05T07:59:31Z","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":"98ee52b5b2a25e662405f21a7e5c8c0b251a198011109626fc7d87e31706ec4d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2024-03-22T13:13:13Z","title_canon_sha256":"bf7cd696aabef974a0f5b5a86684f9c505f713f022cd3cb43b8cbbca30e07a31"},"schema_version":"1.0","source":{"id":"2403.15185","kind":"arxiv","version":1}},"canonical_sha256":"c768f1865adc8dfe59c7bd6c530dfecd1f9cc529fad3556e3fa13d8a6a09a823","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c768f1865adc8dfe59c7bd6c530dfecd1f9cc529fad3556e3fa13d8a6a09a823","first_computed_at":"2026-07-05T07:59:31.487728Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:59:31.487728Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LfOLOE9lAZM60yckbLaoHI7aJtTz3EJM95wn6nWq9RybOYov9iTfFNPC48cDXuU2n1feabQoUPXpMnqOlo8wBg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:59:31.488134Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.15185","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:47c25a29409b69d7c8b110ba781e3f360c34fbdaa8cd8418e30647131abb4099","sha256:f083807eb789fd324a8a2511c0cd6e97ae1ea16df9bb121c66b0c637f8491c9a"],"state_sha256":"bf46626f1877e131b823867e2f62dcbc6c829ba4a6a5c8b4fcae910ea03f5cb9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gec7qgOIaYkdwEX7TB/gwyzE+VHJgaAjYuALJl2G1h6gkPCdssSZo50CPAWjT6SWsctK9s3SUZUjGh20dcfQDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T19:55:00.345726Z","bundle_sha256":"fd6b643f0eff1cfcb4fb039fd2e179601c885cdcacfe8cc822a15738156c7726"}}