{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:CTXNKC4RKCMHMVQE6BTYPEPIKV","short_pith_number":"pith:CTXNKC4R","canonical_record":{"source":{"id":"2508.02208","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-08-04T08:59:36Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"077ccdd11d965652101fbce9ec1ac2030c58320fde4b6b2136fe9ecb5d6005f6","abstract_canon_sha256":"c4c6939114bb1dbed74c3e3377c0c4c16148c94b22f9c41895726d099dfd83c7"},"schema_version":"1.0"},"canonical_sha256":"14eed50b915098765604f0678791e855538564e932961c1a172effba1d46d119","source":{"kind":"arxiv","id":"2508.02208","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.02208","created_at":"2026-07-05T11:48:52Z"},{"alias_kind":"arxiv_version","alias_value":"2508.02208v2","created_at":"2026-07-05T11:48:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.02208","created_at":"2026-07-05T11:48:52Z"},{"alias_kind":"pith_short_12","alias_value":"CTXNKC4RKCMH","created_at":"2026-07-05T11:48:52Z"},{"alias_kind":"pith_short_16","alias_value":"CTXNKC4RKCMHMVQE","created_at":"2026-07-05T11:48:52Z"},{"alias_kind":"pith_short_8","alias_value":"CTXNKC4R","created_at":"2026-07-05T11:48:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:CTXNKC4RKCMHMVQE6BTYPEPIKV","target":"record","payload":{"canonical_record":{"source":{"id":"2508.02208","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-08-04T08:59:36Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"077ccdd11d965652101fbce9ec1ac2030c58320fde4b6b2136fe9ecb5d6005f6","abstract_canon_sha256":"c4c6939114bb1dbed74c3e3377c0c4c16148c94b22f9c41895726d099dfd83c7"},"schema_version":"1.0"},"canonical_sha256":"14eed50b915098765604f0678791e855538564e932961c1a172effba1d46d119","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:48:52.508082Z","signature_b64":"qMSHCu6H/v8+uCphAmZs8KCOHFWq4C7Svup4GXuwtwavzc66eZoSVU4/6WyIyVpB8QP4A5lwz8wPmAvb0h6tDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"14eed50b915098765604f0678791e855538564e932961c1a172effba1d46d119","last_reissued_at":"2026-07-05T11:48:52.507539Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:48:52.507539Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.02208","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:48:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"96yF4WJf4FaxCUOMAi+5W5wJHjHuKr1lhhtqY9HzGBlv/AEd7G/1SFLT1TNxLJwAEAw3wzXQMntYvcymPi/JDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T21:28:16.615757Z"},"content_sha256":"224d91586903b4c2a3e3dcedbd62a98c8a2927fdfa36105a937bdccc11a28771","schema_version":"1.0","event_id":"sha256:224d91586903b4c2a3e3dcedbd62a98c8a2927fdfa36105a937bdccc11a28771"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:CTXNKC4RKCMHMVQE6BTYPEPIKV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Bowen Ye, Tong Yang, Weijun Yuan, Xinye Xu, Yaoming Li, Yebo Peng, Zhizhuo Yang, Zihan Wang, Zixiang Liu","submitted_at":"2025-08-04T08:59:36Z","abstract_excerpt":"Evaluating the mathematical capability of Large Language Models (LLMs) is a critical yet challenging frontier. Existing benchmarks fall short, particularly for proof-centric problems, as manual creation is unscalable and costly, leaving the true mathematical abilities of LLMs largely unassessed. To overcome these barriers, we propose Proof2Hybrid, the first fully automated framework that synthesizes high-quality, proof-centric benchmarks from natural language mathematical corpora. The key novelty of our solution is Proof2X, a roadmap of converting mathematical proofs into various kinds of ques"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.02208","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/2508.02208/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:48:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"46DIZCniq5R8yrGhAHYmxEvxBZ50gjKbHBLtPU2zrPxMSMrDjiajWyg++KkwDa1OQr1jBWkdQCylylutTETjCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T21:28:16.616245Z"},"content_sha256":"d7fc720f5dfc9eb0c746777691fa043a58b011d3531f279257a3c172b8836f8c","schema_version":"1.0","event_id":"sha256:d7fc720f5dfc9eb0c746777691fa043a58b011d3531f279257a3c172b8836f8c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CTXNKC4RKCMHMVQE6BTYPEPIKV/bundle.json","state_url":"https://pith.science/pith/CTXNKC4RKCMHMVQE6BTYPEPIKV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CTXNKC4RKCMHMVQE6BTYPEPIKV/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-07T21:28:16Z","links":{"resolver":"https://pith.science/pith/CTXNKC4RKCMHMVQE6BTYPEPIKV","bundle":"https://pith.science/pith/CTXNKC4RKCMHMVQE6BTYPEPIKV/bundle.json","state":"https://pith.science/pith/CTXNKC4RKCMHMVQE6BTYPEPIKV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CTXNKC4RKCMHMVQE6BTYPEPIKV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:CTXNKC4RKCMHMVQE6BTYPEPIKV","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":"c4c6939114bb1dbed74c3e3377c0c4c16148c94b22f9c41895726d099dfd83c7","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-08-04T08:59:36Z","title_canon_sha256":"077ccdd11d965652101fbce9ec1ac2030c58320fde4b6b2136fe9ecb5d6005f6"},"schema_version":"1.0","source":{"id":"2508.02208","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.02208","created_at":"2026-07-05T11:48:52Z"},{"alias_kind":"arxiv_version","alias_value":"2508.02208v2","created_at":"2026-07-05T11:48:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.02208","created_at":"2026-07-05T11:48:52Z"},{"alias_kind":"pith_short_12","alias_value":"CTXNKC4RKCMH","created_at":"2026-07-05T11:48:52Z"},{"alias_kind":"pith_short_16","alias_value":"CTXNKC4RKCMHMVQE","created_at":"2026-07-05T11:48:52Z"},{"alias_kind":"pith_short_8","alias_value":"CTXNKC4R","created_at":"2026-07-05T11:48:52Z"}],"graph_snapshots":[{"event_id":"sha256:d7fc720f5dfc9eb0c746777691fa043a58b011d3531f279257a3c172b8836f8c","target":"graph","created_at":"2026-07-05T11:48:52Z","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.02208/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Evaluating the mathematical capability of Large Language Models (LLMs) is a critical yet challenging frontier. Existing benchmarks fall short, particularly for proof-centric problems, as manual creation is unscalable and costly, leaving the true mathematical abilities of LLMs largely unassessed. To overcome these barriers, we propose Proof2Hybrid, the first fully automated framework that synthesizes high-quality, proof-centric benchmarks from natural language mathematical corpora. The key novelty of our solution is Proof2X, a roadmap of converting mathematical proofs into various kinds of ques","authors_text":"Bowen Ye, Tong Yang, Weijun Yuan, Xinye Xu, Yaoming Li, Yebo Peng, Zhizhuo Yang, Zihan Wang, Zixiang Liu","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-08-04T08:59:36Z","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.02208","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:224d91586903b4c2a3e3dcedbd62a98c8a2927fdfa36105a937bdccc11a28771","target":"record","created_at":"2026-07-05T11:48:52Z","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":"c4c6939114bb1dbed74c3e3377c0c4c16148c94b22f9c41895726d099dfd83c7","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-08-04T08:59:36Z","title_canon_sha256":"077ccdd11d965652101fbce9ec1ac2030c58320fde4b6b2136fe9ecb5d6005f6"},"schema_version":"1.0","source":{"id":"2508.02208","kind":"arxiv","version":2}},"canonical_sha256":"14eed50b915098765604f0678791e855538564e932961c1a172effba1d46d119","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"14eed50b915098765604f0678791e855538564e932961c1a172effba1d46d119","first_computed_at":"2026-07-05T11:48:52.507539Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:48:52.507539Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qMSHCu6H/v8+uCphAmZs8KCOHFWq4C7Svup4GXuwtwavzc66eZoSVU4/6WyIyVpB8QP4A5lwz8wPmAvb0h6tDg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:48:52.508082Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.02208","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:224d91586903b4c2a3e3dcedbd62a98c8a2927fdfa36105a937bdccc11a28771","sha256:d7fc720f5dfc9eb0c746777691fa043a58b011d3531f279257a3c172b8836f8c"],"state_sha256":"cefda05b0999edb77529894a550b93e83f41a153590f9eaab89f9ca83e41106e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dF90o5v5RGaZ+T1ZhIoqc0Rbo00W0H0w+UEqSB0PcUoOI2ryIXHGwQusMWw6UX9K65HGKdqivI+QefYPmNnVAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T21:28:16.620152Z","bundle_sha256":"94eb67ab181d9c947599eb286b8b7fc76c9fe4053fc0c5f6d66f2e6e48af746b"}}