{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:QHTIIQCA6MJT6QZJEIRN6UVFGV","short_pith_number":"pith:QHTIIQCA","canonical_record":{"source":{"id":"1310.0576","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2013-10-02T06:06:02Z","cross_cats_sorted":["cs.AI","cs.LO","math.LO"],"title_canon_sha256":"4b1c22f1920bd79b3cf47d3dc1c04596103baec4d4b2561e0f465b5980821050","abstract_canon_sha256":"4570a0f0b59d8d6b32a35635a4a194247b33b65000be52e26214806beb502aac"},"schema_version":"1.0"},"canonical_sha256":"81e6844040f3133f43292222df52a53547b940b993d5a0d3f5019f2491b0236b","source":{"kind":"arxiv","id":"1310.0576","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.0576","created_at":"2026-05-18T03:11:34Z"},{"alias_kind":"arxiv_version","alias_value":"1310.0576v1","created_at":"2026-05-18T03:11:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.0576","created_at":"2026-05-18T03:11:34Z"},{"alias_kind":"pith_short_12","alias_value":"QHTIIQCA6MJT","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"QHTIIQCA6MJT6QZJ","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"QHTIIQCA","created_at":"2026-05-18T12:27:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:QHTIIQCA6MJT6QZJEIRN6UVFGV","target":"record","payload":{"canonical_record":{"source":{"id":"1310.0576","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2013-10-02T06:06:02Z","cross_cats_sorted":["cs.AI","cs.LO","math.LO"],"title_canon_sha256":"4b1c22f1920bd79b3cf47d3dc1c04596103baec4d4b2561e0f465b5980821050","abstract_canon_sha256":"4570a0f0b59d8d6b32a35635a4a194247b33b65000be52e26214806beb502aac"},"schema_version":"1.0"},"canonical_sha256":"81e6844040f3133f43292222df52a53547b940b993d5a0d3f5019f2491b0236b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:11:34.834294Z","signature_b64":"0Yqo1qP748s7EGze+GSDiA49RPKIVJ9WLiwuQ/nqTsRy01G1ja0AwkUu/gcldMjVL5iceDuTxmdfU4eo9/xdDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"81e6844040f3133f43292222df52a53547b940b993d5a0d3f5019f2491b0236b","last_reissued_at":"2026-05-18T03:11:34.833530Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:11:34.833530Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1310.0576","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-05-18T03:11:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T41WZtOKDTI7m3tJXIL6gHQ+nRj7FOFfi5i6ZnBKu0NjrKEIAqiwZDZXRhpWlIOtkIStMJjaIY83QI2s7JCADg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T18:18:37.088060Z"},"content_sha256":"5a8ef78cb3dbf03824f6246f0a41b31888275980c738dcb5b90bcf11aa9bae68","schema_version":"1.0","event_id":"sha256:5a8ef78cb3dbf03824f6246f0a41b31888275980c738dcb5b90bcf11aa9bae68"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:QHTIIQCA6MJT6QZJEIRN6UVFGV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning Lambek grammars from proof frames","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LO","math.LO"],"primary_cat":"cs.LG","authors_text":"Christian Retor\\'e, Roberto Bonato","submitted_at":"2013-10-02T06:06:02Z","abstract_excerpt":"In addition to their limpid interface with semantics, categorial grammars enjoy another important property: learnability. This was first noticed by Buskowsky and Penn and further studied by Kanazawa, for Bar-Hillel categorial grammars.\n  What about Lambek categorial grammars? In a previous paper we showed that product free Lambek grammars where learnable from structured sentences, the structures being incomplete natural deductions. These grammars were shown to be unlearnable from strings by Foret and Le Nir. In the present paper we show that Lambek grammars, possibly with product, are learnabl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.0576","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":""},"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-18T03:11:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f7jqV900bjKT6L8YitCjMq8iOwueJy08qXAY1VmDMiDfzWLk4HeDASNQR4Fy0Y1JtPKA8PMy4fbN23yZ+QLzAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T18:18:37.088728Z"},"content_sha256":"71b49efbaf0562730877859f3be63c197d5ec0d43cbbf7def507aeee8cda27f1","schema_version":"1.0","event_id":"sha256:71b49efbaf0562730877859f3be63c197d5ec0d43cbbf7def507aeee8cda27f1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QHTIIQCA6MJT6QZJEIRN6UVFGV/bundle.json","state_url":"https://pith.science/pith/QHTIIQCA6MJT6QZJEIRN6UVFGV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QHTIIQCA6MJT6QZJEIRN6UVFGV/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-23T18:18:37Z","links":{"resolver":"https://pith.science/pith/QHTIIQCA6MJT6QZJEIRN6UVFGV","bundle":"https://pith.science/pith/QHTIIQCA6MJT6QZJEIRN6UVFGV/bundle.json","state":"https://pith.science/pith/QHTIIQCA6MJT6QZJEIRN6UVFGV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QHTIIQCA6MJT6QZJEIRN6UVFGV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:QHTIIQCA6MJT6QZJEIRN6UVFGV","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":"4570a0f0b59d8d6b32a35635a4a194247b33b65000be52e26214806beb502aac","cross_cats_sorted":["cs.AI","cs.LO","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2013-10-02T06:06:02Z","title_canon_sha256":"4b1c22f1920bd79b3cf47d3dc1c04596103baec4d4b2561e0f465b5980821050"},"schema_version":"1.0","source":{"id":"1310.0576","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.0576","created_at":"2026-05-18T03:11:34Z"},{"alias_kind":"arxiv_version","alias_value":"1310.0576v1","created_at":"2026-05-18T03:11:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.0576","created_at":"2026-05-18T03:11:34Z"},{"alias_kind":"pith_short_12","alias_value":"QHTIIQCA6MJT","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"QHTIIQCA6MJT6QZJ","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"QHTIIQCA","created_at":"2026-05-18T12:27:57Z"}],"graph_snapshots":[{"event_id":"sha256:71b49efbaf0562730877859f3be63c197d5ec0d43cbbf7def507aeee8cda27f1","target":"graph","created_at":"2026-05-18T03:11:34Z","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":"In addition to their limpid interface with semantics, categorial grammars enjoy another important property: learnability. This was first noticed by Buskowsky and Penn and further studied by Kanazawa, for Bar-Hillel categorial grammars.\n  What about Lambek categorial grammars? In a previous paper we showed that product free Lambek grammars where learnable from structured sentences, the structures being incomplete natural deductions. These grammars were shown to be unlearnable from strings by Foret and Le Nir. In the present paper we show that Lambek grammars, possibly with product, are learnabl","authors_text":"Christian Retor\\'e, Roberto Bonato","cross_cats":["cs.AI","cs.LO","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2013-10-02T06:06:02Z","title":"Learning Lambek grammars from proof frames"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.0576","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:5a8ef78cb3dbf03824f6246f0a41b31888275980c738dcb5b90bcf11aa9bae68","target":"record","created_at":"2026-05-18T03:11:34Z","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":"4570a0f0b59d8d6b32a35635a4a194247b33b65000be52e26214806beb502aac","cross_cats_sorted":["cs.AI","cs.LO","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2013-10-02T06:06:02Z","title_canon_sha256":"4b1c22f1920bd79b3cf47d3dc1c04596103baec4d4b2561e0f465b5980821050"},"schema_version":"1.0","source":{"id":"1310.0576","kind":"arxiv","version":1}},"canonical_sha256":"81e6844040f3133f43292222df52a53547b940b993d5a0d3f5019f2491b0236b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"81e6844040f3133f43292222df52a53547b940b993d5a0d3f5019f2491b0236b","first_computed_at":"2026-05-18T03:11:34.833530Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:11:34.833530Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0Yqo1qP748s7EGze+GSDiA49RPKIVJ9WLiwuQ/nqTsRy01G1ja0AwkUu/gcldMjVL5iceDuTxmdfU4eo9/xdDA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:11:34.834294Z","signed_message":"canonical_sha256_bytes"},"source_id":"1310.0576","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5a8ef78cb3dbf03824f6246f0a41b31888275980c738dcb5b90bcf11aa9bae68","sha256:71b49efbaf0562730877859f3be63c197d5ec0d43cbbf7def507aeee8cda27f1"],"state_sha256":"31619f912fbf27fd3c81b07f2a8ef5847c5d635619d81303ff6eb3abb2e73ee2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fJhHDXEmXH687DOgP0eNewvRfJKfrxvgJokMaDehOVvid7IdVJWB1YaRdFD+p2jQMNG6u/gfyD9ehXO+/0aXCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T18:18:37.094080Z","bundle_sha256":"7df8b8238dd8e1ad21a9f063405dc8383571dc0f963630198944f30d83c84e5b"}}