{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:BDDL3FJT7DHBXITRWHZYFEMJBF","short_pith_number":"pith:BDDL3FJT","canonical_record":{"source":{"id":"2506.01531","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-06-02T10:48:49Z","cross_cats_sorted":[],"title_canon_sha256":"8ffec7cbea5bc80d3594526ab80deb256ce4c2cba867d30d7a941386c27ea29e","abstract_canon_sha256":"2c9f8570696c9a0e409b5e5a6b6b6e4de5c041fae40c3232f7665b05e7caebb7"},"schema_version":"1.0"},"canonical_sha256":"08c6bd9533f8ce1ba271b1f38291890948830eaaad9c7baaeb8a7ef61026a45d","source":{"kind":"arxiv","id":"2506.01531","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.01531","created_at":"2026-07-05T11:15:01Z"},{"alias_kind":"arxiv_version","alias_value":"2506.01531v2","created_at":"2026-07-05T11:15:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.01531","created_at":"2026-07-05T11:15:01Z"},{"alias_kind":"pith_short_12","alias_value":"BDDL3FJT7DHB","created_at":"2026-07-05T11:15:01Z"},{"alias_kind":"pith_short_16","alias_value":"BDDL3FJT7DHBXITR","created_at":"2026-07-05T11:15:01Z"},{"alias_kind":"pith_short_8","alias_value":"BDDL3FJT","created_at":"2026-07-05T11:15:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:BDDL3FJT7DHBXITRWHZYFEMJBF","target":"record","payload":{"canonical_record":{"source":{"id":"2506.01531","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-06-02T10:48:49Z","cross_cats_sorted":[],"title_canon_sha256":"8ffec7cbea5bc80d3594526ab80deb256ce4c2cba867d30d7a941386c27ea29e","abstract_canon_sha256":"2c9f8570696c9a0e409b5e5a6b6b6e4de5c041fae40c3232f7665b05e7caebb7"},"schema_version":"1.0"},"canonical_sha256":"08c6bd9533f8ce1ba271b1f38291890948830eaaad9c7baaeb8a7ef61026a45d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:15:01.515646Z","signature_b64":"Bu7d7Z6IXUSPMbgnxz1qJO9hJdhFEvePXKvZWoZldJGfiJOhElxJL/dGzV6tV7urpUw4fdKTXyYrNJZBtirgAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"08c6bd9533f8ce1ba271b1f38291890948830eaaad9c7baaeb8a7ef61026a45d","last_reissued_at":"2026-07-05T11:15:01.515129Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:15:01.515129Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.01531","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:15:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5VTzEsWnbZq41UymP7zWCkOs8qcHeMNgQmCvt/OJ1zouj7hxcYinus7QBtc5EUNUT1EoLcmuBNm4FkM5kdYiAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T15:38:32.272887Z"},"content_sha256":"674f5932adae605e14ee02143d59d513d5bb301ce8be22d4fb55a3321908de9f","schema_version":"1.0","event_id":"sha256:674f5932adae605e14ee02143d59d513d5bb301ce8be22d4fb55a3321908de9f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:BDDL3FJT7DHBXITRWHZYFEMJBF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Chengbo Zhang, Dailin Li, Dandan Li, Haiteng Wang, Huilin Cao, Jiacheng Cen, Jierui Zhang, Kun Xie, Pei Zhang, Wenhao Liu, Xiaohong Huang, Xinyu Hu, Yan Ma, Yuhan Li, Yuxiang Ren, Zhenyi Lu","submitted_at":"2025-06-02T10:48:49Z","abstract_excerpt":"High-quality math datasets are crucial for advancing the reasoning abilities of large language models (LLMs). However, existing datasets often suffer from three key issues: outdated and insufficient challenging content, neglecting human-like reasoning, and limited reliability due to single-LLM generation. To address these, we introduce STORM-BORN, an ultra-challenging dataset of mathematical derivations sourced from cutting-edge academic papers, which includes dense human-like approximations and heuristic cues. To ensure the reliability and quality, we propose a novel human-in-the-loop, multi-"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.01531","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/2506.01531/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:15:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0zejgWAXuL8iLyYApps+XXmxtEbhCBF2ZJnvDuwYbJBvNW+Tjp+v6lD7M5oWO1bta1PlsaWb3kEwkS3AlafADg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T15:38:32.273387Z"},"content_sha256":"ca8f166d25a1363c8ed4b7c880bd0a6ecbd4f22513e954f127f8552175fefcc3","schema_version":"1.0","event_id":"sha256:ca8f166d25a1363c8ed4b7c880bd0a6ecbd4f22513e954f127f8552175fefcc3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BDDL3FJT7DHBXITRWHZYFEMJBF/bundle.json","state_url":"https://pith.science/pith/BDDL3FJT7DHBXITRWHZYFEMJBF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BDDL3FJT7DHBXITRWHZYFEMJBF/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-04T15:38:32Z","links":{"resolver":"https://pith.science/pith/BDDL3FJT7DHBXITRWHZYFEMJBF","bundle":"https://pith.science/pith/BDDL3FJT7DHBXITRWHZYFEMJBF/bundle.json","state":"https://pith.science/pith/BDDL3FJT7DHBXITRWHZYFEMJBF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BDDL3FJT7DHBXITRWHZYFEMJBF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:BDDL3FJT7DHBXITRWHZYFEMJBF","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":"2c9f8570696c9a0e409b5e5a6b6b6e4de5c041fae40c3232f7665b05e7caebb7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-06-02T10:48:49Z","title_canon_sha256":"8ffec7cbea5bc80d3594526ab80deb256ce4c2cba867d30d7a941386c27ea29e"},"schema_version":"1.0","source":{"id":"2506.01531","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.01531","created_at":"2026-07-05T11:15:01Z"},{"alias_kind":"arxiv_version","alias_value":"2506.01531v2","created_at":"2026-07-05T11:15:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.01531","created_at":"2026-07-05T11:15:01Z"},{"alias_kind":"pith_short_12","alias_value":"BDDL3FJT7DHB","created_at":"2026-07-05T11:15:01Z"},{"alias_kind":"pith_short_16","alias_value":"BDDL3FJT7DHBXITR","created_at":"2026-07-05T11:15:01Z"},{"alias_kind":"pith_short_8","alias_value":"BDDL3FJT","created_at":"2026-07-05T11:15:01Z"}],"graph_snapshots":[{"event_id":"sha256:ca8f166d25a1363c8ed4b7c880bd0a6ecbd4f22513e954f127f8552175fefcc3","target":"graph","created_at":"2026-07-05T11:15:01Z","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/2506.01531/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"High-quality math datasets are crucial for advancing the reasoning abilities of large language models (LLMs). However, existing datasets often suffer from three key issues: outdated and insufficient challenging content, neglecting human-like reasoning, and limited reliability due to single-LLM generation. To address these, we introduce STORM-BORN, an ultra-challenging dataset of mathematical derivations sourced from cutting-edge academic papers, which includes dense human-like approximations and heuristic cues. To ensure the reliability and quality, we propose a novel human-in-the-loop, multi-","authors_text":"Chengbo Zhang, Dailin Li, Dandan Li, Haiteng Wang, Huilin Cao, Jiacheng Cen, Jierui Zhang, Kun Xie, Pei Zhang, Wenhao Liu, Xiaohong Huang, Xinyu Hu, Yan Ma, Yuhan Li, Yuxiang Ren, Zhenyi Lu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-06-02T10:48:49Z","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.01531","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:674f5932adae605e14ee02143d59d513d5bb301ce8be22d4fb55a3321908de9f","target":"record","created_at":"2026-07-05T11:15:01Z","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":"2c9f8570696c9a0e409b5e5a6b6b6e4de5c041fae40c3232f7665b05e7caebb7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-06-02T10:48:49Z","title_canon_sha256":"8ffec7cbea5bc80d3594526ab80deb256ce4c2cba867d30d7a941386c27ea29e"},"schema_version":"1.0","source":{"id":"2506.01531","kind":"arxiv","version":2}},"canonical_sha256":"08c6bd9533f8ce1ba271b1f38291890948830eaaad9c7baaeb8a7ef61026a45d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"08c6bd9533f8ce1ba271b1f38291890948830eaaad9c7baaeb8a7ef61026a45d","first_computed_at":"2026-07-05T11:15:01.515129Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:15:01.515129Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Bu7d7Z6IXUSPMbgnxz1qJO9hJdhFEvePXKvZWoZldJGfiJOhElxJL/dGzV6tV7urpUw4fdKTXyYrNJZBtirgAA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:15:01.515646Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.01531","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:674f5932adae605e14ee02143d59d513d5bb301ce8be22d4fb55a3321908de9f","sha256:ca8f166d25a1363c8ed4b7c880bd0a6ecbd4f22513e954f127f8552175fefcc3"],"state_sha256":"97b712f2a0a9fa8ef2280596599e6e09316338c1ae56c91b3c6565569c38997e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nbXxGTpJs02QLNFmtVl1ZsB7l3wbBwT0RXcxEEnbzaLwoVg6K4F1LCg/NNDIVLYQDQbuCAiCedUcvZnwiQDBAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T15:38:32.289250Z","bundle_sha256":"650c155df8aa306cd3bb3c2668ffaa8ecda32f070eac5602216f857dcaf7fd16"}}