{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:PMON42BUSDIJJTLWMWPRG3KXCD","short_pith_number":"pith:PMON42BU","canonical_record":{"source":{"id":"2407.00401","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-06-29T11:02:05Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"bda277e63c5c2c4acad2e174c39d798656fbf3668ad21691a7448bc802b48bf4","abstract_canon_sha256":"f6826d28137034f576f184a7f0618bdfd8bfa110e5e2120ea1682112cb84e622"},"schema_version":"1.0"},"canonical_sha256":"7b1cde683490d094cd76659f136d5710c606fe62625bf08b9bc4d61659dc0492","source":{"kind":"arxiv","id":"2407.00401","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.00401","created_at":"2026-07-05T08:38:19Z"},{"alias_kind":"arxiv_version","alias_value":"2407.00401v1","created_at":"2026-07-05T08:38:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.00401","created_at":"2026-07-05T08:38:19Z"},{"alias_kind":"pith_short_12","alias_value":"PMON42BUSDIJ","created_at":"2026-07-05T08:38:19Z"},{"alias_kind":"pith_short_16","alias_value":"PMON42BUSDIJJTLW","created_at":"2026-07-05T08:38:19Z"},{"alias_kind":"pith_short_8","alias_value":"PMON42BU","created_at":"2026-07-05T08:38:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:PMON42BUSDIJJTLWMWPRG3KXCD","target":"record","payload":{"canonical_record":{"source":{"id":"2407.00401","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-06-29T11:02:05Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"bda277e63c5c2c4acad2e174c39d798656fbf3668ad21691a7448bc802b48bf4","abstract_canon_sha256":"f6826d28137034f576f184a7f0618bdfd8bfa110e5e2120ea1682112cb84e622"},"schema_version":"1.0"},"canonical_sha256":"7b1cde683490d094cd76659f136d5710c606fe62625bf08b9bc4d61659dc0492","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:38:19.239908Z","signature_b64":"8zYtJh/9DCjWDde50gDydURx9o+4ieOEQ39+HbVeSpxfJuFR8b5L+192agr7i4rybBadfArERORTN7NZjkMpCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7b1cde683490d094cd76659f136d5710c606fe62625bf08b9bc4d61659dc0492","last_reissued_at":"2026-07-05T08:38:19.238426Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:38:19.238426Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2407.00401","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-07-05T08:38:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LSWTuc3weDheORkpEekd9ACFQXbmEP82FsngwDWK3j4mBTYHZ2D7gLm+g9/jQzz0fS9qjYUPaITotC7mNlWJDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T09:16:59.957702Z"},"content_sha256":"13a0f2889c5c7af0843c7d92ac9831fa1001edf3eabef49b2135a8c61ddfe3d3","schema_version":"1.0","event_id":"sha256:13a0f2889c5c7af0843c7d92ac9831fa1001edf3eabef49b2135a8c61ddfe3d3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:PMON42BUSDIJJTLWMWPRG3KXCD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PUZZLES: A Benchmark for Neural Algorithmic Reasoning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Benjamin Estermann, Luca A. Lanzend\\\"orfer, Roger Wattenhofer, Yannick Niedermayr","submitted_at":"2024-06-29T11:02:05Z","abstract_excerpt":"Algorithmic reasoning is a fundamental cognitive ability that plays a pivotal role in problem-solving and decision-making processes. Reinforcement Learning (RL) has demonstrated remarkable proficiency in tasks such as motor control, handling perceptual input, and managing stochastic environments. These advancements have been enabled in part by the availability of benchmarks. In this work we introduce PUZZLES, a benchmark based on Simon Tatham's Portable Puzzle Collection, aimed at fostering progress in algorithmic and logical reasoning in RL. PUZZLES contains 40 diverse logic puzzles of adjust"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.00401","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2407.00401/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"},"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-07-05T08:38:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Wd1ddCtbz0JrWtvQVxmPvoiNIhdzU1zF2Fs4mRcHm3mydAOhjKkG6gw8NKNLiQP9KzBuLd/8JEjzChNs4TM6Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T09:16:59.958644Z"},"content_sha256":"5c3cf1867c69fbdb0b86d0ea5393e01414596523e23aebe47ec462f13504cf27","schema_version":"1.0","event_id":"sha256:5c3cf1867c69fbdb0b86d0ea5393e01414596523e23aebe47ec462f13504cf27"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PMON42BUSDIJJTLWMWPRG3KXCD/bundle.json","state_url":"https://pith.science/pith/PMON42BUSDIJJTLWMWPRG3KXCD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PMON42BUSDIJJTLWMWPRG3KXCD/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-10T09:17:00Z","links":{"resolver":"https://pith.science/pith/PMON42BUSDIJJTLWMWPRG3KXCD","bundle":"https://pith.science/pith/PMON42BUSDIJJTLWMWPRG3KXCD/bundle.json","state":"https://pith.science/pith/PMON42BUSDIJJTLWMWPRG3KXCD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PMON42BUSDIJJTLWMWPRG3KXCD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:PMON42BUSDIJJTLWMWPRG3KXCD","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":"f6826d28137034f576f184a7f0618bdfd8bfa110e5e2120ea1682112cb84e622","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-06-29T11:02:05Z","title_canon_sha256":"bda277e63c5c2c4acad2e174c39d798656fbf3668ad21691a7448bc802b48bf4"},"schema_version":"1.0","source":{"id":"2407.00401","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.00401","created_at":"2026-07-05T08:38:19Z"},{"alias_kind":"arxiv_version","alias_value":"2407.00401v1","created_at":"2026-07-05T08:38:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.00401","created_at":"2026-07-05T08:38:19Z"},{"alias_kind":"pith_short_12","alias_value":"PMON42BUSDIJ","created_at":"2026-07-05T08:38:19Z"},{"alias_kind":"pith_short_16","alias_value":"PMON42BUSDIJJTLW","created_at":"2026-07-05T08:38:19Z"},{"alias_kind":"pith_short_8","alias_value":"PMON42BU","created_at":"2026-07-05T08:38:19Z"}],"graph_snapshots":[{"event_id":"sha256:5c3cf1867c69fbdb0b86d0ea5393e01414596523e23aebe47ec462f13504cf27","target":"graph","created_at":"2026-07-05T08:38:19Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2407.00401/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Algorithmic reasoning is a fundamental cognitive ability that plays a pivotal role in problem-solving and decision-making processes. Reinforcement Learning (RL) has demonstrated remarkable proficiency in tasks such as motor control, handling perceptual input, and managing stochastic environments. These advancements have been enabled in part by the availability of benchmarks. In this work we introduce PUZZLES, a benchmark based on Simon Tatham's Portable Puzzle Collection, aimed at fostering progress in algorithmic and logical reasoning in RL. PUZZLES contains 40 diverse logic puzzles of adjust","authors_text":"Benjamin Estermann, Luca A. Lanzend\\\"orfer, Roger Wattenhofer, Yannick Niedermayr","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-06-29T11:02:05Z","title":"PUZZLES: A Benchmark for Neural Algorithmic Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.00401","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:13a0f2889c5c7af0843c7d92ac9831fa1001edf3eabef49b2135a8c61ddfe3d3","target":"record","created_at":"2026-07-05T08:38:19Z","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":"f6826d28137034f576f184a7f0618bdfd8bfa110e5e2120ea1682112cb84e622","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-06-29T11:02:05Z","title_canon_sha256":"bda277e63c5c2c4acad2e174c39d798656fbf3668ad21691a7448bc802b48bf4"},"schema_version":"1.0","source":{"id":"2407.00401","kind":"arxiv","version":1}},"canonical_sha256":"7b1cde683490d094cd76659f136d5710c606fe62625bf08b9bc4d61659dc0492","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7b1cde683490d094cd76659f136d5710c606fe62625bf08b9bc4d61659dc0492","first_computed_at":"2026-07-05T08:38:19.238426Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:38:19.238426Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8zYtJh/9DCjWDde50gDydURx9o+4ieOEQ39+HbVeSpxfJuFR8b5L+192agr7i4rybBadfArERORTN7NZjkMpCA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:38:19.239908Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.00401","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:13a0f2889c5c7af0843c7d92ac9831fa1001edf3eabef49b2135a8c61ddfe3d3","sha256:5c3cf1867c69fbdb0b86d0ea5393e01414596523e23aebe47ec462f13504cf27"],"state_sha256":"73148a9479479d62e135afa8cfad6011609d7981a296de4c754e7bd99c43b5fa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Xa90kLkARLko2pKU62k09FgLVufbPRzmaoA+mfHmaGmjK1kBRwgRvS9QFczNOKkJzpdloLUfemvnTg94gHaYAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T09:17:00.017156Z","bundle_sha256":"bf3db367a29dbe2aae7a250818d6a7447e17afc182079a522fb5d45e1d2fcda5"}}