{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:SQPRLAIOHH24E3MOO3DHADS2LO","short_pith_number":"pith:SQPRLAIO","canonical_record":{"source":{"id":"1810.07307","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-10-16T23:06:48Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"08511d772bb2c46be08ee1efdc40b959f2c81dee85c24c31f25419eea52d32c7","abstract_canon_sha256":"0b7e6ead0e5f41219ca542e4784828d1f9e6f6535a2b0918239a224c7bda1f1f"},"schema_version":"1.0"},"canonical_sha256":"941f15810e39f5c26d8e76c6700e5a5b80fd8fdef04e754b4e56e04705e320c4","source":{"kind":"arxiv","id":"1810.07307","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.07307","created_at":"2026-05-18T00:02:58Z"},{"alias_kind":"arxiv_version","alias_value":"1810.07307v1","created_at":"2026-05-18T00:02:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.07307","created_at":"2026-05-18T00:02:58Z"},{"alias_kind":"pith_short_12","alias_value":"SQPRLAIOHH24","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"SQPRLAIOHH24E3MO","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"SQPRLAIO","created_at":"2026-05-18T12:32:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:SQPRLAIOHH24E3MOO3DHADS2LO","target":"record","payload":{"canonical_record":{"source":{"id":"1810.07307","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-10-16T23:06:48Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"08511d772bb2c46be08ee1efdc40b959f2c81dee85c24c31f25419eea52d32c7","abstract_canon_sha256":"0b7e6ead0e5f41219ca542e4784828d1f9e6f6535a2b0918239a224c7bda1f1f"},"schema_version":"1.0"},"canonical_sha256":"941f15810e39f5c26d8e76c6700e5a5b80fd8fdef04e754b4e56e04705e320c4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:02:58.880100Z","signature_b64":"Jo/6OiGZNXIwt6hmuypWiKvIlSJlT6LWY1O5bXH6/lxrg8R80IraqUju/4fOVdxANaAL2rsF17k0mqO3Tk1PBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"941f15810e39f5c26d8e76c6700e5a5b80fd8fdef04e754b4e56e04705e320c4","last_reissued_at":"2026-05-18T00:02:58.879680Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:02:58.879680Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.07307","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-18T00:02:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"94Oow14fYV/tswuXYgMvCH1qjUVC7H8lYwMSHtVI+QQ+4bw0HUpnMZlqqGvxOPXHWIDMriO6YPzl3NZA8BpHDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T14:29:29.183518Z"},"content_sha256":"2ece3cc70c6acd0181b12e508969b89bec59c596accf84d7d307043ece2735cb","schema_version":"1.0","event_id":"sha256:2ece3cc70c6acd0181b12e508969b89bec59c596accf84d7d307043ece2735cb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:SQPRLAIOHH24E3MOO3DHADS2LO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Solving Tree Problems with Category Theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Rafik Hadfi","submitted_at":"2018-10-16T23:06:48Z","abstract_excerpt":"Artificial Intelligence (AI) has long pursued models, theories, and techniques to imbue machines with human-like general intelligence. Yet even the currently predominant data-driven approaches in AI seem to be lacking humans' unique ability to solve wide ranges of problems. This situation begs the question of the existence of principles that underlie general problem-solving capabilities. We approach this question through the mathematical formulation of analogies across different problems and solutions. We focus in particular on problems that could be represented as tree-like structures. Most i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.07307","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-18T00:02:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8H64vXXsvT8CIt3B5/78POleulF34qFcKe8l3k9eCVhdCDWT1phJrVa5VGu6oZ1BsVyZrhnHu7ZIvjXRD+VEBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T14:29:29.183872Z"},"content_sha256":"dcb9e7a2f37d7af4be4d3fea1aaf14be1a79b049b1d999f68d877c5ed4ab5dfe","schema_version":"1.0","event_id":"sha256:dcb9e7a2f37d7af4be4d3fea1aaf14be1a79b049b1d999f68d877c5ed4ab5dfe"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SQPRLAIOHH24E3MOO3DHADS2LO/bundle.json","state_url":"https://pith.science/pith/SQPRLAIOHH24E3MOO3DHADS2LO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SQPRLAIOHH24E3MOO3DHADS2LO/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-07-06T14:29:29Z","links":{"resolver":"https://pith.science/pith/SQPRLAIOHH24E3MOO3DHADS2LO","bundle":"https://pith.science/pith/SQPRLAIOHH24E3MOO3DHADS2LO/bundle.json","state":"https://pith.science/pith/SQPRLAIOHH24E3MOO3DHADS2LO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SQPRLAIOHH24E3MOO3DHADS2LO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:SQPRLAIOHH24E3MOO3DHADS2LO","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":"0b7e6ead0e5f41219ca542e4784828d1f9e6f6535a2b0918239a224c7bda1f1f","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-10-16T23:06:48Z","title_canon_sha256":"08511d772bb2c46be08ee1efdc40b959f2c81dee85c24c31f25419eea52d32c7"},"schema_version":"1.0","source":{"id":"1810.07307","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.07307","created_at":"2026-05-18T00:02:58Z"},{"alias_kind":"arxiv_version","alias_value":"1810.07307v1","created_at":"2026-05-18T00:02:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.07307","created_at":"2026-05-18T00:02:58Z"},{"alias_kind":"pith_short_12","alias_value":"SQPRLAIOHH24","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"SQPRLAIOHH24E3MO","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"SQPRLAIO","created_at":"2026-05-18T12:32:53Z"}],"graph_snapshots":[{"event_id":"sha256:dcb9e7a2f37d7af4be4d3fea1aaf14be1a79b049b1d999f68d877c5ed4ab5dfe","target":"graph","created_at":"2026-05-18T00:02:58Z","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":"Artificial Intelligence (AI) has long pursued models, theories, and techniques to imbue machines with human-like general intelligence. Yet even the currently predominant data-driven approaches in AI seem to be lacking humans' unique ability to solve wide ranges of problems. This situation begs the question of the existence of principles that underlie general problem-solving capabilities. We approach this question through the mathematical formulation of analogies across different problems and solutions. We focus in particular on problems that could be represented as tree-like structures. Most i","authors_text":"Rafik Hadfi","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-10-16T23:06:48Z","title":"Solving Tree Problems with Category Theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.07307","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:2ece3cc70c6acd0181b12e508969b89bec59c596accf84d7d307043ece2735cb","target":"record","created_at":"2026-05-18T00:02:58Z","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":"0b7e6ead0e5f41219ca542e4784828d1f9e6f6535a2b0918239a224c7bda1f1f","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-10-16T23:06:48Z","title_canon_sha256":"08511d772bb2c46be08ee1efdc40b959f2c81dee85c24c31f25419eea52d32c7"},"schema_version":"1.0","source":{"id":"1810.07307","kind":"arxiv","version":1}},"canonical_sha256":"941f15810e39f5c26d8e76c6700e5a5b80fd8fdef04e754b4e56e04705e320c4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"941f15810e39f5c26d8e76c6700e5a5b80fd8fdef04e754b4e56e04705e320c4","first_computed_at":"2026-05-18T00:02:58.879680Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:02:58.879680Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Jo/6OiGZNXIwt6hmuypWiKvIlSJlT6LWY1O5bXH6/lxrg8R80IraqUju/4fOVdxANaAL2rsF17k0mqO3Tk1PBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:02:58.880100Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.07307","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2ece3cc70c6acd0181b12e508969b89bec59c596accf84d7d307043ece2735cb","sha256:dcb9e7a2f37d7af4be4d3fea1aaf14be1a79b049b1d999f68d877c5ed4ab5dfe"],"state_sha256":"8c95425834b4c7b8b29d40e11ee3fb2371ef9a58013c7294edfb74dc0852b51a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t+W6B/p/CVWslMWPvSj3ooe77ezHADyuOzAh/gFq5UioJg6pmBtFQ+Or9C93ma7Iijs7rd/DswyhkkokYJhFAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T14:29:29.185760Z","bundle_sha256":"69200d95c32eb9c637495ce1fc3d9bfdd0b242f785b1dd89d8b0762ed90315a5"}}