{"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"}