{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:ZFIJSM4VIY6C5TF7TDPPP4TV4P","short_pith_number":"pith:ZFIJSM4V","canonical_record":{"source":{"id":"2508.15180","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-21T02:36:16Z","cross_cats_sorted":[],"title_canon_sha256":"7ed06383744837d1864ecb0a5129d0b7ccc913348e7d4bc5a88e9bdfcb954f43","abstract_canon_sha256":"41de847fe7bda9e7ec272420c76ca70d9fd322b894b69a5d8b0e6e0ebde61064"},"schema_version":"1.0"},"canonical_sha256":"c950993395463c2eccbf98def7f275e3d625a81da020d271174f6bdea85715f9","source":{"kind":"arxiv","id":"2508.15180","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.15180","created_at":"2026-05-29T02:05:35Z"},{"alias_kind":"arxiv_version","alias_value":"2508.15180v3","created_at":"2026-05-29T02:05:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.15180","created_at":"2026-05-29T02:05:35Z"},{"alias_kind":"pith_short_12","alias_value":"ZFIJSM4VIY6C","created_at":"2026-05-29T02:05:35Z"},{"alias_kind":"pith_short_16","alias_value":"ZFIJSM4VIY6C5TF7","created_at":"2026-05-29T02:05:35Z"},{"alias_kind":"pith_short_8","alias_value":"ZFIJSM4V","created_at":"2026-05-29T02:05:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:ZFIJSM4VIY6C5TF7TDPPP4TV4P","target":"record","payload":{"canonical_record":{"source":{"id":"2508.15180","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-21T02:36:16Z","cross_cats_sorted":[],"title_canon_sha256":"7ed06383744837d1864ecb0a5129d0b7ccc913348e7d4bc5a88e9bdfcb954f43","abstract_canon_sha256":"41de847fe7bda9e7ec272420c76ca70d9fd322b894b69a5d8b0e6e0ebde61064"},"schema_version":"1.0"},"canonical_sha256":"c950993395463c2eccbf98def7f275e3d625a81da020d271174f6bdea85715f9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-29T02:05:35.964714Z","signature_b64":"csxLeY2awTnW8aQ2ZZLyeCwQHiz7Z7igCD9kbSdaJjDUVKpqOIphAYPlOkMLgSp5YICSJqik7YttHCkX5I7rAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c950993395463c2eccbf98def7f275e3d625a81da020d271174f6bdea85715f9","last_reissued_at":"2026-05-29T02:05:35.964219Z","signature_status":"signed_v1","first_computed_at":"2026-05-29T02:05:35.964219Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.15180","source_version":3,"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-29T02:05:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X/Fb1K1tidY0CNYHuVjydxWtUsVea2YvFU/2cDTtIVf2qEW3aTHVLz5kalA0pBYU1QKQW+Vz9ZKeyhUDn1hUDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T05:10:08.477526Z"},"content_sha256":"912b3a4fdf4f3307e9c09821d8c9a64552f6c010c3afef0f5c280397ab36b4c9","schema_version":"1.0","event_id":"sha256:912b3a4fdf4f3307e9c09821d8c9a64552f6c010c3afef0f5c280397ab36b4c9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:ZFIJSM4VIY6C5TF7TDPPP4TV4P","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Haipang Wu, Kai Xiong, Kun Chen, Rongjunchen Zhang, Yanwei Huang, Yingcai Wu","submitted_at":"2025-08-21T02:36:16Z","abstract_excerpt":"High-quality mathematical and logical datasets with verifiable answers are essential for strengthening the reasoning capabilities of large language models (LLMs). While recent data augmentation techniques have facilitated the creation of large-scale benchmarks, existing LLM-generated datasets often suffer from limited reliability, diversity, and scalability. To address these challenges, we introduce PuzzleClone, a formal framework for synthesizing verifiable data at scale using a novel DSL-driven approach. Our approach features three key innovations: (1) encoding seed puzzles into structured l"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.15180","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/2508.15180/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-05-29T02:05:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZjV3n2QimdmxscbKFLukFIZjxjA3oGMblpSyz6oK/b8qgKMbT7q6+rknfOeZEXWx+5UoeEy18dl+gTa4xEejCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T05:10:08.477899Z"},"content_sha256":"8859f751975fa3318481de20db851c4de110c89d881d4b0a68050747e8fe2e4e","schema_version":"1.0","event_id":"sha256:8859f751975fa3318481de20db851c4de110c89d881d4b0a68050747e8fe2e4e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZFIJSM4VIY6C5TF7TDPPP4TV4P/bundle.json","state_url":"https://pith.science/pith/ZFIJSM4VIY6C5TF7TDPPP4TV4P/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZFIJSM4VIY6C5TF7TDPPP4TV4P/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-02T05:10:08Z","links":{"resolver":"https://pith.science/pith/ZFIJSM4VIY6C5TF7TDPPP4TV4P","bundle":"https://pith.science/pith/ZFIJSM4VIY6C5TF7TDPPP4TV4P/bundle.json","state":"https://pith.science/pith/ZFIJSM4VIY6C5TF7TDPPP4TV4P/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZFIJSM4VIY6C5TF7TDPPP4TV4P/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ZFIJSM4VIY6C5TF7TDPPP4TV4P","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":"41de847fe7bda9e7ec272420c76ca70d9fd322b894b69a5d8b0e6e0ebde61064","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-21T02:36:16Z","title_canon_sha256":"7ed06383744837d1864ecb0a5129d0b7ccc913348e7d4bc5a88e9bdfcb954f43"},"schema_version":"1.0","source":{"id":"2508.15180","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.15180","created_at":"2026-05-29T02:05:35Z"},{"alias_kind":"arxiv_version","alias_value":"2508.15180v3","created_at":"2026-05-29T02:05:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.15180","created_at":"2026-05-29T02:05:35Z"},{"alias_kind":"pith_short_12","alias_value":"ZFIJSM4VIY6C","created_at":"2026-05-29T02:05:35Z"},{"alias_kind":"pith_short_16","alias_value":"ZFIJSM4VIY6C5TF7","created_at":"2026-05-29T02:05:35Z"},{"alias_kind":"pith_short_8","alias_value":"ZFIJSM4V","created_at":"2026-05-29T02:05:35Z"}],"graph_snapshots":[{"event_id":"sha256:8859f751975fa3318481de20db851c4de110c89d881d4b0a68050747e8fe2e4e","target":"graph","created_at":"2026-05-29T02:05:35Z","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/2508.15180/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"High-quality mathematical and logical datasets with verifiable answers are essential for strengthening the reasoning capabilities of large language models (LLMs). While recent data augmentation techniques have facilitated the creation of large-scale benchmarks, existing LLM-generated datasets often suffer from limited reliability, diversity, and scalability. To address these challenges, we introduce PuzzleClone, a formal framework for synthesizing verifiable data at scale using a novel DSL-driven approach. Our approach features three key innovations: (1) encoding seed puzzles into structured l","authors_text":"Haipang Wu, Kai Xiong, Kun Chen, Rongjunchen Zhang, Yanwei Huang, Yingcai Wu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.15180","kind":"arxiv","version":3},"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:912b3a4fdf4f3307e9c09821d8c9a64552f6c010c3afef0f5c280397ab36b4c9","target":"record","created_at":"2026-05-29T02:05:35Z","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":"41de847fe7bda9e7ec272420c76ca70d9fd322b894b69a5d8b0e6e0ebde61064","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-21T02:36:16Z","title_canon_sha256":"7ed06383744837d1864ecb0a5129d0b7ccc913348e7d4bc5a88e9bdfcb954f43"},"schema_version":"1.0","source":{"id":"2508.15180","kind":"arxiv","version":3}},"canonical_sha256":"c950993395463c2eccbf98def7f275e3d625a81da020d271174f6bdea85715f9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c950993395463c2eccbf98def7f275e3d625a81da020d271174f6bdea85715f9","first_computed_at":"2026-05-29T02:05:35.964219Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-29T02:05:35.964219Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"csxLeY2awTnW8aQ2ZZLyeCwQHiz7Z7igCD9kbSdaJjDUVKpqOIphAYPlOkMLgSp5YICSJqik7YttHCkX5I7rAA==","signature_status":"signed_v1","signed_at":"2026-05-29T02:05:35.964714Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.15180","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:912b3a4fdf4f3307e9c09821d8c9a64552f6c010c3afef0f5c280397ab36b4c9","sha256:8859f751975fa3318481de20db851c4de110c89d881d4b0a68050747e8fe2e4e"],"state_sha256":"47e1c7a12fd8c1b2f5614819f73619c05720a64d6ebde54bc8cd0437f132e820"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AxZzMinNK5dRBGgkDOxv27yjbnhn5DYmG0kh3ApH1qctJkl/XP3nV6zj9xP29vm6xJxZ1A2x8RegmCmiW5ANDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T05:10:08.479929Z","bundle_sha256":"dc9420c2790912e45ea95f88cc96733619450ce53860f25427a51571e637910d"}}