{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:X7CIQ7LODMT3BSKMGCZ27FEPSJ","short_pith_number":"pith:X7CIQ7LO","canonical_record":{"source":{"id":"1608.08927","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-08-31T16:23:07Z","cross_cats_sorted":["cs.AI","cs.DS","cs.IT","math.IT"],"title_canon_sha256":"0470f39d0301e2b69a498d5cb2677bd344bb4e3b0d41aeeec8ff1f408a676d3c","abstract_canon_sha256":"7dd424d685395e099bf035653442563fd5120a481755da62a1d041c760842507"},"schema_version":"1.0"},"canonical_sha256":"bfc4887d6e1b27b0c94c30b3af948f9253968d00e963bd1e85bb9cbb6f95c3d7","source":{"kind":"arxiv","id":"1608.08927","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.08927","created_at":"2026-05-18T01:06:39Z"},{"alias_kind":"arxiv_version","alias_value":"1608.08927v1","created_at":"2026-05-18T01:06:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.08927","created_at":"2026-05-18T01:06:39Z"},{"alias_kind":"pith_short_12","alias_value":"X7CIQ7LODMT3","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"X7CIQ7LODMT3BSKM","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"X7CIQ7LO","created_at":"2026-05-18T12:30:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:X7CIQ7LODMT3BSKMGCZ27FEPSJ","target":"record","payload":{"canonical_record":{"source":{"id":"1608.08927","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-08-31T16:23:07Z","cross_cats_sorted":["cs.AI","cs.DS","cs.IT","math.IT"],"title_canon_sha256":"0470f39d0301e2b69a498d5cb2677bd344bb4e3b0d41aeeec8ff1f408a676d3c","abstract_canon_sha256":"7dd424d685395e099bf035653442563fd5120a481755da62a1d041c760842507"},"schema_version":"1.0"},"canonical_sha256":"bfc4887d6e1b27b0c94c30b3af948f9253968d00e963bd1e85bb9cbb6f95c3d7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:06:39.655722Z","signature_b64":"EB+NfUHIwyh0U7VyvhGQnAyZp1pHUH1bL0QP4fJJ2mXIxHtlY3uyO6cuo/Dy3Z1H1QIiCOn+Hu/LFTDPoUfOBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bfc4887d6e1b27b0c94c30b3af948f9253968d00e963bd1e85bb9cbb6f95c3d7","last_reissued_at":"2026-05-18T01:06:39.655018Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:06:39.655018Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.08927","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-18T01:06:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0fnMPfdVknJ5GWFLJzzk3gpZlmwmv2sKvDPooSpq5lI24CLl0XPNafeWRtDAo7Pj++uzgUjIJe+7ME5Alm2YDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T13:22:19.681551Z"},"content_sha256":"56c9c54dca80606b6450b654cc2399005636dfa1ca16cf9456a8b3b0e5103373","schema_version":"1.0","event_id":"sha256:56c9c54dca80606b6450b654cc2399005636dfa1ca16cf9456a8b3b0e5103373"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:X7CIQ7LODMT3BSKMGCZ27FEPSJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Generalized Smallest Grammar Problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.DS","cs.IT","math.IT"],"primary_cat":"cs.CL","authors_text":"Matthias Gall\\'e, Payam Siyari","submitted_at":"2016-08-31T16:23:07Z","abstract_excerpt":"The Smallest Grammar Problem -- the problem of finding the smallest context-free grammar that generates exactly one given sequence -- has never been successfully applied to grammatical inference. We investigate the reasons and propose an extended formulation that seeks to minimize non-recursive grammars, instead of straight-line programs. In addition, we provide very efficient algorithms that approximate the minimization problem of this class of grammars. Our empirical evaluation shows that we are able to find smaller models than the current best approximations to the Smallest Grammar Problem "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.08927","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-18T01:06:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j7CfUW5TVAsBgwk0QrLGae9tb/2iIAycCXai4JP7DK3U+7n8F3y26P9x9zuTZq5rSwg7wjrCuAGYwuMz5LpEBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T13:22:19.682231Z"},"content_sha256":"e04a5b718132f5436a404658ad38acb9bd4d4b2bb2715e8c975823e015d22bff","schema_version":"1.0","event_id":"sha256:e04a5b718132f5436a404658ad38acb9bd4d4b2bb2715e8c975823e015d22bff"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X7CIQ7LODMT3BSKMGCZ27FEPSJ/bundle.json","state_url":"https://pith.science/pith/X7CIQ7LODMT3BSKMGCZ27FEPSJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X7CIQ7LODMT3BSKMGCZ27FEPSJ/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-06-06T13:22:19Z","links":{"resolver":"https://pith.science/pith/X7CIQ7LODMT3BSKMGCZ27FEPSJ","bundle":"https://pith.science/pith/X7CIQ7LODMT3BSKMGCZ27FEPSJ/bundle.json","state":"https://pith.science/pith/X7CIQ7LODMT3BSKMGCZ27FEPSJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X7CIQ7LODMT3BSKMGCZ27FEPSJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:X7CIQ7LODMT3BSKMGCZ27FEPSJ","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":"7dd424d685395e099bf035653442563fd5120a481755da62a1d041c760842507","cross_cats_sorted":["cs.AI","cs.DS","cs.IT","math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-08-31T16:23:07Z","title_canon_sha256":"0470f39d0301e2b69a498d5cb2677bd344bb4e3b0d41aeeec8ff1f408a676d3c"},"schema_version":"1.0","source":{"id":"1608.08927","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.08927","created_at":"2026-05-18T01:06:39Z"},{"alias_kind":"arxiv_version","alias_value":"1608.08927v1","created_at":"2026-05-18T01:06:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.08927","created_at":"2026-05-18T01:06:39Z"},{"alias_kind":"pith_short_12","alias_value":"X7CIQ7LODMT3","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"X7CIQ7LODMT3BSKM","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"X7CIQ7LO","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:e04a5b718132f5436a404658ad38acb9bd4d4b2bb2715e8c975823e015d22bff","target":"graph","created_at":"2026-05-18T01:06:39Z","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":"The Smallest Grammar Problem -- the problem of finding the smallest context-free grammar that generates exactly one given sequence -- has never been successfully applied to grammatical inference. We investigate the reasons and propose an extended formulation that seeks to minimize non-recursive grammars, instead of straight-line programs. In addition, we provide very efficient algorithms that approximate the minimization problem of this class of grammars. Our empirical evaluation shows that we are able to find smaller models than the current best approximations to the Smallest Grammar Problem ","authors_text":"Matthias Gall\\'e, Payam Siyari","cross_cats":["cs.AI","cs.DS","cs.IT","math.IT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-08-31T16:23:07Z","title":"The Generalized Smallest Grammar Problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.08927","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:56c9c54dca80606b6450b654cc2399005636dfa1ca16cf9456a8b3b0e5103373","target":"record","created_at":"2026-05-18T01:06:39Z","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":"7dd424d685395e099bf035653442563fd5120a481755da62a1d041c760842507","cross_cats_sorted":["cs.AI","cs.DS","cs.IT","math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-08-31T16:23:07Z","title_canon_sha256":"0470f39d0301e2b69a498d5cb2677bd344bb4e3b0d41aeeec8ff1f408a676d3c"},"schema_version":"1.0","source":{"id":"1608.08927","kind":"arxiv","version":1}},"canonical_sha256":"bfc4887d6e1b27b0c94c30b3af948f9253968d00e963bd1e85bb9cbb6f95c3d7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bfc4887d6e1b27b0c94c30b3af948f9253968d00e963bd1e85bb9cbb6f95c3d7","first_computed_at":"2026-05-18T01:06:39.655018Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:06:39.655018Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EB+NfUHIwyh0U7VyvhGQnAyZp1pHUH1bL0QP4fJJ2mXIxHtlY3uyO6cuo/Dy3Z1H1QIiCOn+Hu/LFTDPoUfOBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:06:39.655722Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.08927","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:56c9c54dca80606b6450b654cc2399005636dfa1ca16cf9456a8b3b0e5103373","sha256:e04a5b718132f5436a404658ad38acb9bd4d4b2bb2715e8c975823e015d22bff"],"state_sha256":"87f21a8a554d81662e463a38367ff4e13f5f6d01859752c2e19be20e74cb15d1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C8TYutoUfLuaONSWGQwjjGqv5G8Pn5JBp5ny7EtjA3pLGLixRHVoNJQwmium1A3c/npTV8t7XHUQu6kCLIV0Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T13:22:19.685655Z","bundle_sha256":"42f25c7a91f1474d2d7b062c9a742da7f70fa2f89512b8d39c6f7b888e897f66"}}