{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:2XUZK46I74VQWN4QMSLEUCEJMF","short_pith_number":"pith:2XUZK46I","schema_version":"1.0","canonical_sha256":"d5e99573c8ff2b0b379064964a0889615bb0bcb728b046b4645dfe1297f09ae5","source":{"kind":"arxiv","id":"2506.06739","version":3},"attestation_state":"computed","paper":{"title":"Honey, I shrunk the hypothesis space (through logical preprocessing)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Andrew Cropper, David M. Cerna, Filipe Gouveia","submitted_at":"2025-06-07T09:53:02Z","abstract_excerpt":"Inductive logic programming (ILP) is a form of logical machine learning. The goal is to search a hypothesis space for a hypothesis that generalises training examples and background knowledge. We introduce an approach that 'shrinks' the hypothesis space before an ILP system searches it. Our approach uses background knowledge to find rules that cannot be in an optimal hypothesis regardless of the training examples. For instance, our approach discovers relationships such as \"even numbers cannot be odd\" and \"prime numbers greater than 2 are odd\". It then removes violating rules from the hypothesis"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2506.06739","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-07T09:53:02Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"769103c9cb6cec890839aecd84e456d43eb5a068d727442540a6f21b5fd145d7","abstract_canon_sha256":"38208422893ae94b8cb3a559736d35312201cfc5e2c865cbf0989e62a330a43a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:00:20.915423Z","signature_b64":"6xIF/gcjdRsu4xCiyon0E6U0EFd4idLi8hAwWYBVY3J4rbXaR4Ju5shWJta2nLFbqjzGVfWrJ5vBiWxtS1O/Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d5e99573c8ff2b0b379064964a0889615bb0bcb728b046b4645dfe1297f09ae5","last_reissued_at":"2026-05-20T00:00:20.914696Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:00:20.914696Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Honey, I shrunk the hypothesis space (through logical preprocessing)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Andrew Cropper, David M. Cerna, Filipe Gouveia","submitted_at":"2025-06-07T09:53:02Z","abstract_excerpt":"Inductive logic programming (ILP) is a form of logical machine learning. The goal is to search a hypothesis space for a hypothesis that generalises training examples and background knowledge. We introduce an approach that 'shrinks' the hypothesis space before an ILP system searches it. Our approach uses background knowledge to find rules that cannot be in an optimal hypothesis regardless of the training examples. For instance, our approach discovers relationships such as \"even numbers cannot be odd\" and \"prime numbers greater than 2 are odd\". It then removes violating rules from the hypothesis"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.06739","kind":"arxiv","version":3},"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/2506.06739/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2506.06739","created_at":"2026-05-20T00:00:20.914799+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.06739v3","created_at":"2026-05-20T00:00:20.914799+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.06739","created_at":"2026-05-20T00:00:20.914799+00:00"},{"alias_kind":"pith_short_12","alias_value":"2XUZK46I74VQ","created_at":"2026-05-20T00:00:20.914799+00:00"},{"alias_kind":"pith_short_16","alias_value":"2XUZK46I74VQWN4Q","created_at":"2026-05-20T00:00:20.914799+00:00"},{"alias_kind":"pith_short_8","alias_value":"2XUZK46I","created_at":"2026-05-20T00:00:20.914799+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/2XUZK46I74VQWN4QMSLEUCEJMF","json":"https://pith.science/pith/2XUZK46I74VQWN4QMSLEUCEJMF.json","graph_json":"https://pith.science/api/pith-number/2XUZK46I74VQWN4QMSLEUCEJMF/graph.json","events_json":"https://pith.science/api/pith-number/2XUZK46I74VQWN4QMSLEUCEJMF/events.json","paper":"https://pith.science/paper/2XUZK46I"},"agent_actions":{"view_html":"https://pith.science/pith/2XUZK46I74VQWN4QMSLEUCEJMF","download_json":"https://pith.science/pith/2XUZK46I74VQWN4QMSLEUCEJMF.json","view_paper":"https://pith.science/paper/2XUZK46I","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.06739&json=true","fetch_graph":"https://pith.science/api/pith-number/2XUZK46I74VQWN4QMSLEUCEJMF/graph.json","fetch_events":"https://pith.science/api/pith-number/2XUZK46I74VQWN4QMSLEUCEJMF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2XUZK46I74VQWN4QMSLEUCEJMF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2XUZK46I74VQWN4QMSLEUCEJMF/action/storage_attestation","attest_author":"https://pith.science/pith/2XUZK46I74VQWN4QMSLEUCEJMF/action/author_attestation","sign_citation":"https://pith.science/pith/2XUZK46I74VQWN4QMSLEUCEJMF/action/citation_signature","submit_replication":"https://pith.science/pith/2XUZK46I74VQWN4QMSLEUCEJMF/action/replication_record"}},"created_at":"2026-05-20T00:00:20.914799+00:00","updated_at":"2026-05-20T00:00:20.914799+00:00"}