{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:JH4ALV7UFUALBOTFI2OMEWUDFF","short_pith_number":"pith:JH4ALV7U","canonical_record":{"source":{"id":"1708.02319","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-07T22:04:30Z","cross_cats_sorted":[],"title_canon_sha256":"a4ad200ed943929062409560690b000fcf7ff000c178ac3f8daa2a5239f175d7","abstract_canon_sha256":"dd35d3ed457a2fececada0eb8784b8810a99e61f18beac95251d429085a8bfd2"},"schema_version":"1.0"},"canonical_sha256":"49f805d7f42d00b0ba65469cc25a83296f20bb2e9b10c23f66d4de2bd9f5a658","source":{"kind":"arxiv","id":"1708.02319","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.02319","created_at":"2026-05-18T00:29:10Z"},{"alias_kind":"arxiv_version","alias_value":"1708.02319v2","created_at":"2026-05-18T00:29:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.02319","created_at":"2026-05-18T00:29:10Z"},{"alias_kind":"pith_short_12","alias_value":"JH4ALV7UFUAL","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JH4ALV7UFUALBOTF","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JH4ALV7U","created_at":"2026-05-18T12:31:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:JH4ALV7UFUALBOTFI2OMEWUDFF","target":"record","payload":{"canonical_record":{"source":{"id":"1708.02319","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-07T22:04:30Z","cross_cats_sorted":[],"title_canon_sha256":"a4ad200ed943929062409560690b000fcf7ff000c178ac3f8daa2a5239f175d7","abstract_canon_sha256":"dd35d3ed457a2fececada0eb8784b8810a99e61f18beac95251d429085a8bfd2"},"schema_version":"1.0"},"canonical_sha256":"49f805d7f42d00b0ba65469cc25a83296f20bb2e9b10c23f66d4de2bd9f5a658","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:29:10.412877Z","signature_b64":"SG7aMLb5ETwmj3yOODxwbyUCqzcMdoscyXfNflrYfnAb65FL2lnmDBWqevgDcXhP/ogjwc7gemOI9uA2qHRIBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"49f805d7f42d00b0ba65469cc25a83296f20bb2e9b10c23f66d4de2bd9f5a658","last_reissued_at":"2026-05-18T00:29:10.412456Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:29:10.412456Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1708.02319","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-05-18T00:29:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WX02EXVONP8ndXkNxC6guV4frx1LB604w9D52xiX5QBV4gpttautmJC9rdxVixVJzGYm2ZjgLdHqzg3WidxtBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T13:23:36.168838Z"},"content_sha256":"219fb93a0e98d787cc4b5cb5bc3b0632690ca870525b218573bcb424f4c7b725","schema_version":"1.0","event_id":"sha256:219fb93a0e98d787cc4b5cb5bc3b0632690ca870525b218573bcb424f4c7b725"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:JH4ALV7UFUALBOTFI2OMEWUDFF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Learnability of Programming Language Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"(2) University of Exeter), Dan R. Ghica (1), Khulood Alyahya (2) ((1) University of Birmingham","submitted_at":"2017-08-07T22:04:30Z","abstract_excerpt":"Game semantics is a powerful method of semantic analysis for programming languages. It gives mathematically accurate models (\"fully abstract\") for a wide variety of programming languages. Game semantic models are combinatorial characterisations of all possible interactions between a term and its syntactic context. Because such interactions can be concretely represented as sets of sequences, it is possible to ask whether they can be learned from examples. Concretely, we are using long short-term memory neural nets (LSTM), a technique which proved effective in learning natural languages for auto"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.02319","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":""},"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-05-18T00:29:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fJ4IhHWQtW+OCGjEYEaleZs8M+OfDZb3ubcEH6MFtoxmgBRDVKpHx1SPJdTnfLo13zTHEVltQVxkEGHVdL8iCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T13:23:36.169261Z"},"content_sha256":"9acaa8b3ada99a3c8bb767f09c7cd5237cce8a5c46ced2e4451f49dcfbd3de6f","schema_version":"1.0","event_id":"sha256:9acaa8b3ada99a3c8bb767f09c7cd5237cce8a5c46ced2e4451f49dcfbd3de6f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JH4ALV7UFUALBOTFI2OMEWUDFF/bundle.json","state_url":"https://pith.science/pith/JH4ALV7UFUALBOTFI2OMEWUDFF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JH4ALV7UFUALBOTFI2OMEWUDFF/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-05-25T13:23:36Z","links":{"resolver":"https://pith.science/pith/JH4ALV7UFUALBOTFI2OMEWUDFF","bundle":"https://pith.science/pith/JH4ALV7UFUALBOTFI2OMEWUDFF/bundle.json","state":"https://pith.science/pith/JH4ALV7UFUALBOTFI2OMEWUDFF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JH4ALV7UFUALBOTFI2OMEWUDFF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:JH4ALV7UFUALBOTFI2OMEWUDFF","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":"dd35d3ed457a2fececada0eb8784b8810a99e61f18beac95251d429085a8bfd2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-07T22:04:30Z","title_canon_sha256":"a4ad200ed943929062409560690b000fcf7ff000c178ac3f8daa2a5239f175d7"},"schema_version":"1.0","source":{"id":"1708.02319","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.02319","created_at":"2026-05-18T00:29:10Z"},{"alias_kind":"arxiv_version","alias_value":"1708.02319v2","created_at":"2026-05-18T00:29:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.02319","created_at":"2026-05-18T00:29:10Z"},{"alias_kind":"pith_short_12","alias_value":"JH4ALV7UFUAL","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JH4ALV7UFUALBOTF","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JH4ALV7U","created_at":"2026-05-18T12:31:24Z"}],"graph_snapshots":[{"event_id":"sha256:9acaa8b3ada99a3c8bb767f09c7cd5237cce8a5c46ced2e4451f49dcfbd3de6f","target":"graph","created_at":"2026-05-18T00:29:10Z","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"},"paper":{"abstract_excerpt":"Game semantics is a powerful method of semantic analysis for programming languages. It gives mathematically accurate models (\"fully abstract\") for a wide variety of programming languages. Game semantic models are combinatorial characterisations of all possible interactions between a term and its syntactic context. Because such interactions can be concretely represented as sets of sequences, it is possible to ask whether they can be learned from examples. Concretely, we are using long short-term memory neural nets (LSTM), a technique which proved effective in learning natural languages for auto","authors_text":"(2) University of Exeter), Dan R. Ghica (1), Khulood Alyahya (2) ((1) University of Birmingham","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-07T22:04:30Z","title":"On the Learnability of Programming Language Semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.02319","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:219fb93a0e98d787cc4b5cb5bc3b0632690ca870525b218573bcb424f4c7b725","target":"record","created_at":"2026-05-18T00:29:10Z","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":"dd35d3ed457a2fececada0eb8784b8810a99e61f18beac95251d429085a8bfd2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-07T22:04:30Z","title_canon_sha256":"a4ad200ed943929062409560690b000fcf7ff000c178ac3f8daa2a5239f175d7"},"schema_version":"1.0","source":{"id":"1708.02319","kind":"arxiv","version":2}},"canonical_sha256":"49f805d7f42d00b0ba65469cc25a83296f20bb2e9b10c23f66d4de2bd9f5a658","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"49f805d7f42d00b0ba65469cc25a83296f20bb2e9b10c23f66d4de2bd9f5a658","first_computed_at":"2026-05-18T00:29:10.412456Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:29:10.412456Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SG7aMLb5ETwmj3yOODxwbyUCqzcMdoscyXfNflrYfnAb65FL2lnmDBWqevgDcXhP/ogjwc7gemOI9uA2qHRIBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:29:10.412877Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.02319","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:219fb93a0e98d787cc4b5cb5bc3b0632690ca870525b218573bcb424f4c7b725","sha256:9acaa8b3ada99a3c8bb767f09c7cd5237cce8a5c46ced2e4451f49dcfbd3de6f"],"state_sha256":"4e36278b641279d59d6bddba8aaaea0744824ff3811519c040e5c93f564f1ee1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pZvHx+myHrDw5JgXRQSGNbRoZ7sduQFKcne4xXGKCxCpDuIN6BXlhOCF5dqGzs2GD5Gqb/OCM5t2Us1NgX2xBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T13:23:36.171492Z","bundle_sha256":"a432960ff72ad02e992d9eeaf827b01f459caef6056790a05fd06d1c7053e459"}}