{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:F75A6PKKLT73R2QWYL3UZTT375","short_pith_number":"pith:F75A6PKK","canonical_record":{"source":{"id":"2606.10479","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-06-09T06:50:15Z","cross_cats_sorted":[],"title_canon_sha256":"556de02d528f4d9a7f907d44f1e6dfc311a6c80aed2c2488ba8371e20f7da25d","abstract_canon_sha256":"64cb1afacc14d44191f65115aed4e76e09b3daf5b10df53836a9a41694890344"},"schema_version":"1.0"},"canonical_sha256":"2ffa0f3d4a5cffb8ea16c2f74cce7bff7946f2f937e3a68398f9702fd59cd2ef","source":{"kind":"arxiv","id":"2606.10479","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.10479","created_at":"2026-06-10T01:10:21Z"},{"alias_kind":"arxiv_version","alias_value":"2606.10479v1","created_at":"2026-06-10T01:10:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.10479","created_at":"2026-06-10T01:10:21Z"},{"alias_kind":"pith_short_12","alias_value":"F75A6PKKLT73","created_at":"2026-06-10T01:10:21Z"},{"alias_kind":"pith_short_16","alias_value":"F75A6PKKLT73R2QW","created_at":"2026-06-10T01:10:21Z"},{"alias_kind":"pith_short_8","alias_value":"F75A6PKK","created_at":"2026-06-10T01:10:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:F75A6PKKLT73R2QWYL3UZTT375","target":"record","payload":{"canonical_record":{"source":{"id":"2606.10479","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-06-09T06:50:15Z","cross_cats_sorted":[],"title_canon_sha256":"556de02d528f4d9a7f907d44f1e6dfc311a6c80aed2c2488ba8371e20f7da25d","abstract_canon_sha256":"64cb1afacc14d44191f65115aed4e76e09b3daf5b10df53836a9a41694890344"},"schema_version":"1.0"},"canonical_sha256":"2ffa0f3d4a5cffb8ea16c2f74cce7bff7946f2f937e3a68398f9702fd59cd2ef","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-10T01:10:21.409762Z","signature_b64":"d9yV/NjHZqzOEax8Mg4NuNEMqMyL0/ayYzOWPBw7Jr53vrCdwmbM1HsDYcOW+I0T/UrsCecgC5EQQ2tkcZ6hCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2ffa0f3d4a5cffb8ea16c2f74cce7bff7946f2f937e3a68398f9702fd59cd2ef","last_reissued_at":"2026-06-10T01:10:21.408893Z","signature_status":"signed_v1","first_computed_at":"2026-06-10T01:10:21.408893Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.10479","source_version":1,"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-06-10T01:10:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7SjiEhjecUYZxkRMpH4t8ituQfaYWIVNp6xJRPkpu9RDNL7RNznzmtDTgXmHOxwXTGrdrTA1kWV6BUU2Gik2Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T08:54:41.132085Z"},"content_sha256":"badf0abaa3ae344604856e74bbfd416979e66eeefffe007d231a335f0c7cb398","schema_version":"1.0","event_id":"sha256:badf0abaa3ae344604856e74bbfd416979e66eeefffe007d231a335f0c7cb398"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:F75A6PKKLT73R2QWYL3UZTT375","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Bangjie Xu, Dongrui Liu, Haodi Lei, Haoran Zhang, Ning Ding, Qianjia Cheng, Runzhe Zhan, Shunkai Zhang, Xiaoye Qu, Xinmiao Han, Yafu Li, Yizhuo Li, Yu Cheng, Yucheng Su, Yun Luo, Yu Qiao, Zhilin Wang, Zhouchen Lin","submitted_at":"2026-06-09T06:50:15Z","abstract_excerpt":"Combinatorics is central to Olympiad-level mathematical problem solving, requiring deep discrete reasoning, creative constructions, and rigorous structural insight. Recent evidence suggests that even today's strongest frontier models remain uneven on Olympiad combinatorics, revealing a gap in creative mathematical reasoning. We introduce ComBench, an Olympiad-level combinatorics benchmark for evaluating and diagnosing the combinatorial reasoning capabilities of large language models. ComBench contains 100 human-annotated competition-level problems organized around two complementary settings: a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.10479","kind":"arxiv","version":1},"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/2606.10479/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-06-10T01:10:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hdva6ivIY3mNGReugTSvjji5lo2PF19OOaYflZYChsihrMYZIHjKiyNBCqZzYJMgwMyT0NcNHkrKfRY+Q3EFCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T08:54:41.132479Z"},"content_sha256":"18b4e9cae49b79e3a26040c9779a3667b9d9d40bdf33c3f09a56b5d273c1ceb4","schema_version":"1.0","event_id":"sha256:18b4e9cae49b79e3a26040c9779a3667b9d9d40bdf33c3f09a56b5d273c1ceb4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F75A6PKKLT73R2QWYL3UZTT375/bundle.json","state_url":"https://pith.science/pith/F75A6PKKLT73R2QWYL3UZTT375/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F75A6PKKLT73R2QWYL3UZTT375/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-20T08:54:41Z","links":{"resolver":"https://pith.science/pith/F75A6PKKLT73R2QWYL3UZTT375","bundle":"https://pith.science/pith/F75A6PKKLT73R2QWYL3UZTT375/bundle.json","state":"https://pith.science/pith/F75A6PKKLT73R2QWYL3UZTT375/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F75A6PKKLT73R2QWYL3UZTT375/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:F75A6PKKLT73R2QWYL3UZTT375","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":"64cb1afacc14d44191f65115aed4e76e09b3daf5b10df53836a9a41694890344","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-06-09T06:50:15Z","title_canon_sha256":"556de02d528f4d9a7f907d44f1e6dfc311a6c80aed2c2488ba8371e20f7da25d"},"schema_version":"1.0","source":{"id":"2606.10479","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.10479","created_at":"2026-06-10T01:10:21Z"},{"alias_kind":"arxiv_version","alias_value":"2606.10479v1","created_at":"2026-06-10T01:10:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.10479","created_at":"2026-06-10T01:10:21Z"},{"alias_kind":"pith_short_12","alias_value":"F75A6PKKLT73","created_at":"2026-06-10T01:10:21Z"},{"alias_kind":"pith_short_16","alias_value":"F75A6PKKLT73R2QW","created_at":"2026-06-10T01:10:21Z"},{"alias_kind":"pith_short_8","alias_value":"F75A6PKK","created_at":"2026-06-10T01:10:21Z"}],"graph_snapshots":[{"event_id":"sha256:18b4e9cae49b79e3a26040c9779a3667b9d9d40bdf33c3f09a56b5d273c1ceb4","target":"graph","created_at":"2026-06-10T01:10:21Z","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/2606.10479/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Combinatorics is central to Olympiad-level mathematical problem solving, requiring deep discrete reasoning, creative constructions, and rigorous structural insight. Recent evidence suggests that even today's strongest frontier models remain uneven on Olympiad combinatorics, revealing a gap in creative mathematical reasoning. We introduce ComBench, an Olympiad-level combinatorics benchmark for evaluating and diagnosing the combinatorial reasoning capabilities of large language models. ComBench contains 100 human-annotated competition-level problems organized around two complementary settings: a","authors_text":"Bangjie Xu, Dongrui Liu, Haodi Lei, Haoran Zhang, Ning Ding, Qianjia Cheng, Runzhe Zhan, Shunkai Zhang, Xiaoye Qu, Xinmiao Han, Yafu Li, Yizhuo Li, Yu Cheng, Yucheng Su, Yun Luo, Yu Qiao, Zhilin Wang, Zhouchen Lin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-06-09T06:50:15Z","title":"ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.10479","kind":"arxiv","version":1},"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:badf0abaa3ae344604856e74bbfd416979e66eeefffe007d231a335f0c7cb398","target":"record","created_at":"2026-06-10T01:10:21Z","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":"64cb1afacc14d44191f65115aed4e76e09b3daf5b10df53836a9a41694890344","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-06-09T06:50:15Z","title_canon_sha256":"556de02d528f4d9a7f907d44f1e6dfc311a6c80aed2c2488ba8371e20f7da25d"},"schema_version":"1.0","source":{"id":"2606.10479","kind":"arxiv","version":1}},"canonical_sha256":"2ffa0f3d4a5cffb8ea16c2f74cce7bff7946f2f937e3a68398f9702fd59cd2ef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2ffa0f3d4a5cffb8ea16c2f74cce7bff7946f2f937e3a68398f9702fd59cd2ef","first_computed_at":"2026-06-10T01:10:21.408893Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-10T01:10:21.408893Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"d9yV/NjHZqzOEax8Mg4NuNEMqMyL0/ayYzOWPBw7Jr53vrCdwmbM1HsDYcOW+I0T/UrsCecgC5EQQ2tkcZ6hCQ==","signature_status":"signed_v1","signed_at":"2026-06-10T01:10:21.409762Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.10479","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:badf0abaa3ae344604856e74bbfd416979e66eeefffe007d231a335f0c7cb398","sha256:18b4e9cae49b79e3a26040c9779a3667b9d9d40bdf33c3f09a56b5d273c1ceb4"],"state_sha256":"fe23f3c83f2a91589a9faf7d4d8de77eafed701be882487d98afd92dad0f1508"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nUTG0rb+cb+LSIdKYoZAa8I9ZQ625+3oy7Vr9sAKPMPIsVTTDjAlvXXee9l0TYp6z6yOegDBte5QgrDKqlpnAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T08:54:41.134569Z","bundle_sha256":"f7242d2564c2c3136dba71f38647862eee4c6b2fe68749e34d3b4fbb81a14d1f"}}