{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:GARLY3AOQ2GFLW2HUJQSKAN6OK","short_pith_number":"pith:GARLY3AO","canonical_record":{"source":{"id":"2505.19914","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-26T12:40:31Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"75d39beeb206cb1c80b27c22f14a17f4880fdd1202d8dd5a515af51a38e97e4c","abstract_canon_sha256":"f22fce571b50ff9a954f517612672a9bb9c12b2dc0df0fa75556c200fdc08dbd"},"schema_version":"1.0"},"canonical_sha256":"3022bc6c0e868c55db47a2612501be729f1c17713df0afea854ba78b10729d15","source":{"kind":"arxiv","id":"2505.19914","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.19914","created_at":"2026-07-05T11:18:22Z"},{"alias_kind":"arxiv_version","alias_value":"2505.19914v2","created_at":"2026-07-05T11:18:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.19914","created_at":"2026-07-05T11:18:22Z"},{"alias_kind":"pith_short_12","alias_value":"GARLY3AOQ2GF","created_at":"2026-07-05T11:18:22Z"},{"alias_kind":"pith_short_16","alias_value":"GARLY3AOQ2GFLW2H","created_at":"2026-07-05T11:18:22Z"},{"alias_kind":"pith_short_8","alias_value":"GARLY3AO","created_at":"2026-07-05T11:18:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:GARLY3AOQ2GFLW2HUJQSKAN6OK","target":"record","payload":{"canonical_record":{"source":{"id":"2505.19914","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-26T12:40:31Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"75d39beeb206cb1c80b27c22f14a17f4880fdd1202d8dd5a515af51a38e97e4c","abstract_canon_sha256":"f22fce571b50ff9a954f517612672a9bb9c12b2dc0df0fa75556c200fdc08dbd"},"schema_version":"1.0"},"canonical_sha256":"3022bc6c0e868c55db47a2612501be729f1c17713df0afea854ba78b10729d15","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:18:22.218404Z","signature_b64":"W4g186J5EGi3CXZjOia6XlLELz1EU8Ocm/oHPc7ij9GN2LAk16WkTucvHCBgsIeDpq0d+SLit6ywgf1a8KefCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3022bc6c0e868c55db47a2612501be729f1c17713df0afea854ba78b10729d15","last_reissued_at":"2026-07-05T11:18:22.217892Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:18:22.217892Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.19914","source_version":2,"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-05T11:18:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ob45pgpDC4rjNqED027oKFG9D+qgHtHaHWpsAujzzB0sbKBsUYthicQMN7uIKRtg+fRq8lHXTJJUJ15q2D5ZBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T15:20:40.212369Z"},"content_sha256":"7fc92608d4dc2c616a102b1a23cdbcc52c3ce51ffcd2429b3a302016aaaddd9b","schema_version":"1.0","event_id":"sha256:7fc92608d4dc2c616a102b1a23cdbcc52c3ce51ffcd2429b3a302016aaaddd9b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:GARLY3AOQ2GFLW2HUJQSKAN6OK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Aili Chen, Hao Zhou, Hongli Yu, Jiangjie Chen, Jiaze Chen, Mingxuan Wang, Qianyu He, Qiying Yu, Siyu Yuan, Weinan Dai, Xuefeng Li, Zhicheng Cai","submitted_at":"2025-05-26T12:40:31Z","abstract_excerpt":"Large Language Models (LLMs), such as OpenAI's o1 and DeepSeek's R1, excel at advanced reasoning tasks like math and coding via Reinforcement Learning with Verifiable Rewards (RLVR), but still struggle with puzzles solvable by humans without domain knowledge. We introduce Enigmata, the first comprehensive suite tailored for improving LLMs with puzzle reasoning skills. It includes 36 tasks across seven categories, each with 1) a generator that produces unlimited examples with controllable difficulty and 2) a rule-based verifier for automatic evaluation. This generator-verifier design supports s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.19914","kind":"arxiv","version":2},"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/2505.19914/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-05T11:18:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ojryNUIH8D+Y+zvFwnqpnCMLgUdXxf8JPkLVc+rtUBYhYzHi3dtPFTEcbAvlwYyN/iqwDuXf1MxBNzkaVgo/Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T15:20:40.212742Z"},"content_sha256":"af27f1efe59b79503a63c81e81353514fbc9be5644a099e646bbbd95bbcaedb9","schema_version":"1.0","event_id":"sha256:af27f1efe59b79503a63c81e81353514fbc9be5644a099e646bbbd95bbcaedb9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GARLY3AOQ2GFLW2HUJQSKAN6OK/bundle.json","state_url":"https://pith.science/pith/GARLY3AOQ2GFLW2HUJQSKAN6OK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GARLY3AOQ2GFLW2HUJQSKAN6OK/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-21T15:20:40Z","links":{"resolver":"https://pith.science/pith/GARLY3AOQ2GFLW2HUJQSKAN6OK","bundle":"https://pith.science/pith/GARLY3AOQ2GFLW2HUJQSKAN6OK/bundle.json","state":"https://pith.science/pith/GARLY3AOQ2GFLW2HUJQSKAN6OK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GARLY3AOQ2GFLW2HUJQSKAN6OK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GARLY3AOQ2GFLW2HUJQSKAN6OK","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":"f22fce571b50ff9a954f517612672a9bb9c12b2dc0df0fa75556c200fdc08dbd","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-26T12:40:31Z","title_canon_sha256":"75d39beeb206cb1c80b27c22f14a17f4880fdd1202d8dd5a515af51a38e97e4c"},"schema_version":"1.0","source":{"id":"2505.19914","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.19914","created_at":"2026-07-05T11:18:22Z"},{"alias_kind":"arxiv_version","alias_value":"2505.19914v2","created_at":"2026-07-05T11:18:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.19914","created_at":"2026-07-05T11:18:22Z"},{"alias_kind":"pith_short_12","alias_value":"GARLY3AOQ2GF","created_at":"2026-07-05T11:18:22Z"},{"alias_kind":"pith_short_16","alias_value":"GARLY3AOQ2GFLW2H","created_at":"2026-07-05T11:18:22Z"},{"alias_kind":"pith_short_8","alias_value":"GARLY3AO","created_at":"2026-07-05T11:18:22Z"}],"graph_snapshots":[{"event_id":"sha256:af27f1efe59b79503a63c81e81353514fbc9be5644a099e646bbbd95bbcaedb9","target":"graph","created_at":"2026-07-05T11:18:22Z","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/2505.19914/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs), such as OpenAI's o1 and DeepSeek's R1, excel at advanced reasoning tasks like math and coding via Reinforcement Learning with Verifiable Rewards (RLVR), but still struggle with puzzles solvable by humans without domain knowledge. We introduce Enigmata, the first comprehensive suite tailored for improving LLMs with puzzle reasoning skills. It includes 36 tasks across seven categories, each with 1) a generator that produces unlimited examples with controllable difficulty and 2) a rule-based verifier for automatic evaluation. This generator-verifier design supports s","authors_text":"Aili Chen, Hao Zhou, Hongli Yu, Jiangjie Chen, Jiaze Chen, Mingxuan Wang, Qianyu He, Qiying Yu, Siyu Yuan, Weinan Dai, Xuefeng Li, Zhicheng Cai","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.19914","kind":"arxiv","version":2},"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:7fc92608d4dc2c616a102b1a23cdbcc52c3ce51ffcd2429b3a302016aaaddd9b","target":"record","created_at":"2026-07-05T11:18:22Z","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":"f22fce571b50ff9a954f517612672a9bb9c12b2dc0df0fa75556c200fdc08dbd","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-26T12:40:31Z","title_canon_sha256":"75d39beeb206cb1c80b27c22f14a17f4880fdd1202d8dd5a515af51a38e97e4c"},"schema_version":"1.0","source":{"id":"2505.19914","kind":"arxiv","version":2}},"canonical_sha256":"3022bc6c0e868c55db47a2612501be729f1c17713df0afea854ba78b10729d15","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3022bc6c0e868c55db47a2612501be729f1c17713df0afea854ba78b10729d15","first_computed_at":"2026-07-05T11:18:22.217892Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:18:22.217892Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"W4g186J5EGi3CXZjOia6XlLELz1EU8Ocm/oHPc7ij9GN2LAk16WkTucvHCBgsIeDpq0d+SLit6ywgf1a8KefCw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:18:22.218404Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.19914","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7fc92608d4dc2c616a102b1a23cdbcc52c3ce51ffcd2429b3a302016aaaddd9b","sha256:af27f1efe59b79503a63c81e81353514fbc9be5644a099e646bbbd95bbcaedb9"],"state_sha256":"9f75bf1d604d53a069d88ac1178f5f3587108114c96332f140460afd4aa66eab"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"coOROpbB7+YiVyteiAJATmI4WzOLXWsASWx2j71SC9C9o4Srjwmu8/Rc+d6fBnXCMHPMLwnudJUAxlrFcPwhDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T15:20:40.215382Z","bundle_sha256":"b759442c1a51c899b86d99af5fd957cc3bdef364016a1d77fa0dda1c71895128"}}