{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:K32T42W4PKFDNEEGJOY7TJDPRC","short_pith_number":"pith:K32T42W4","canonical_record":{"source":{"id":"1609.03054","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-09-10T13:41:50Z","cross_cats_sorted":[],"title_canon_sha256":"5c1d020867daabc4d61fdee3bfed774acdb9ec1445fa5ac079f4752ca9c949ad","abstract_canon_sha256":"a2d821b31b681036aff28f19df4a08258e4df5f94332caa80cec0d7a9ff66768"},"schema_version":"1.0"},"canonical_sha256":"56f53e6adc7a8a3690864bb1f9a46f88bbad70e72f1e8716f8ab17fe3a0c4041","source":{"kind":"arxiv","id":"1609.03054","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.03054","created_at":"2026-05-18T01:04:49Z"},{"alias_kind":"arxiv_version","alias_value":"1609.03054v1","created_at":"2026-05-18T01:04:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.03054","created_at":"2026-05-18T01:04:49Z"},{"alias_kind":"pith_short_12","alias_value":"K32T42W4PKFD","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"K32T42W4PKFDNEEG","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"K32T42W4","created_at":"2026-05-18T12:30:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:K32T42W4PKFDNEEGJOY7TJDPRC","target":"record","payload":{"canonical_record":{"source":{"id":"1609.03054","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-09-10T13:41:50Z","cross_cats_sorted":[],"title_canon_sha256":"5c1d020867daabc4d61fdee3bfed774acdb9ec1445fa5ac079f4752ca9c949ad","abstract_canon_sha256":"a2d821b31b681036aff28f19df4a08258e4df5f94332caa80cec0d7a9ff66768"},"schema_version":"1.0"},"canonical_sha256":"56f53e6adc7a8a3690864bb1f9a46f88bbad70e72f1e8716f8ab17fe3a0c4041","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:04:49.052704Z","signature_b64":"mJfggpSMNqaGv3LnXcRvik6znSXmpwi2NKGHObqT2WuvPuHc7LiFJ6EPHA3OHOk+RCqh9a8JdvpZt1j4s6SIBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56f53e6adc7a8a3690864bb1f9a46f88bbad70e72f1e8716f8ab17fe3a0c4041","last_reissued_at":"2026-05-18T01:04:49.052343Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:04:49.052343Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.03054","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:04:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NNFw6RTy+uvj6PhQUMh50RuZnFP2KSAVa55VcjOqy2CXh9oVSjzddcCYFzzAOiPwgFbf1hCixYaR72vgrhEBAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T21:14:36.713764Z"},"content_sha256":"96e3c0dd7ff956a553585da9f841c15365c872ca4e4092d895df811ebc363c55","schema_version":"1.0","event_id":"sha256:96e3c0dd7ff956a553585da9f841c15365c872ca4e4092d895df811ebc363c55"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:K32T42W4PKFDNEEGJOY7TJDPRC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"New Steps on the Exact Learning of CNF","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Ana Ozaki, Montserrat Hermo","submitted_at":"2016-09-10T13:41:50Z","abstract_excerpt":"A major problem in computational learning theory is whether the class of formulas in conjunctive normal form (CNF) is efficiently learnable. Although it is known that this class cannot be polynomially learned using either membership or equivalence queries alone, it is open whether CNF can be polynomially learned using both types of queries. One of the most important results concerning a restriction of the class CNF is that propositional Horn formulas are polynomial time learnable in Angluin's exact learning model with membership and equivalence queries. In this work we push this boundary and s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.03054","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:04:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"evohaF50NlBVhzqNhYaz5O+fFgV5MoabPy0ic3ltuO7UlwozXBzz8zUrG5Ujzj0SS/EAplAmgYopMsJ5owAmBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T21:14:36.714445Z"},"content_sha256":"2b56e54d0140c0bb6a909669d2706d7ed603d583fed4a7a4061a9c694caa539b","schema_version":"1.0","event_id":"sha256:2b56e54d0140c0bb6a909669d2706d7ed603d583fed4a7a4061a9c694caa539b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K32T42W4PKFDNEEGJOY7TJDPRC/bundle.json","state_url":"https://pith.science/pith/K32T42W4PKFDNEEGJOY7TJDPRC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K32T42W4PKFDNEEGJOY7TJDPRC/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-06T21:14:36Z","links":{"resolver":"https://pith.science/pith/K32T42W4PKFDNEEGJOY7TJDPRC","bundle":"https://pith.science/pith/K32T42W4PKFDNEEGJOY7TJDPRC/bundle.json","state":"https://pith.science/pith/K32T42W4PKFDNEEGJOY7TJDPRC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K32T42W4PKFDNEEGJOY7TJDPRC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:K32T42W4PKFDNEEGJOY7TJDPRC","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":"a2d821b31b681036aff28f19df4a08258e4df5f94332caa80cec0d7a9ff66768","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-09-10T13:41:50Z","title_canon_sha256":"5c1d020867daabc4d61fdee3bfed774acdb9ec1445fa5ac079f4752ca9c949ad"},"schema_version":"1.0","source":{"id":"1609.03054","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.03054","created_at":"2026-05-18T01:04:49Z"},{"alias_kind":"arxiv_version","alias_value":"1609.03054v1","created_at":"2026-05-18T01:04:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.03054","created_at":"2026-05-18T01:04:49Z"},{"alias_kind":"pith_short_12","alias_value":"K32T42W4PKFD","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"K32T42W4PKFDNEEG","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"K32T42W4","created_at":"2026-05-18T12:30:25Z"}],"graph_snapshots":[{"event_id":"sha256:2b56e54d0140c0bb6a909669d2706d7ed603d583fed4a7a4061a9c694caa539b","target":"graph","created_at":"2026-05-18T01:04:49Z","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":"A major problem in computational learning theory is whether the class of formulas in conjunctive normal form (CNF) is efficiently learnable. Although it is known that this class cannot be polynomially learned using either membership or equivalence queries alone, it is open whether CNF can be polynomially learned using both types of queries. One of the most important results concerning a restriction of the class CNF is that propositional Horn formulas are polynomial time learnable in Angluin's exact learning model with membership and equivalence queries. In this work we push this boundary and s","authors_text":"Ana Ozaki, Montserrat Hermo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-09-10T13:41:50Z","title":"New Steps on the Exact Learning of CNF"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.03054","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:96e3c0dd7ff956a553585da9f841c15365c872ca4e4092d895df811ebc363c55","target":"record","created_at":"2026-05-18T01:04:49Z","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":"a2d821b31b681036aff28f19df4a08258e4df5f94332caa80cec0d7a9ff66768","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-09-10T13:41:50Z","title_canon_sha256":"5c1d020867daabc4d61fdee3bfed774acdb9ec1445fa5ac079f4752ca9c949ad"},"schema_version":"1.0","source":{"id":"1609.03054","kind":"arxiv","version":1}},"canonical_sha256":"56f53e6adc7a8a3690864bb1f9a46f88bbad70e72f1e8716f8ab17fe3a0c4041","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"56f53e6adc7a8a3690864bb1f9a46f88bbad70e72f1e8716f8ab17fe3a0c4041","first_computed_at":"2026-05-18T01:04:49.052343Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:04:49.052343Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mJfggpSMNqaGv3LnXcRvik6znSXmpwi2NKGHObqT2WuvPuHc7LiFJ6EPHA3OHOk+RCqh9a8JdvpZt1j4s6SIBw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:04:49.052704Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.03054","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:96e3c0dd7ff956a553585da9f841c15365c872ca4e4092d895df811ebc363c55","sha256:2b56e54d0140c0bb6a909669d2706d7ed603d583fed4a7a4061a9c694caa539b"],"state_sha256":"03125517c378d5b0dea543f67f2a36fe9bec98e6d05d8138fd78447a7f74b506"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WRMyZkqN3syPLhxCFyOBspuSmLUO27tQBRiAWlC+/pK7taeAHByvZdA5NLrUyW57J7k2xQUk64QKQM18o9rTDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T21:14:36.717787Z","bundle_sha256":"cd5d959456e57272db56afa90ae212359c511fe9efc5118308b8bc49f50833e1"}}