{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:HC5SO3XHVCOYAUZG465KQPTJPQ","short_pith_number":"pith:HC5SO3XH","canonical_record":{"source":{"id":"2502.09955","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-14T07:22:25Z","cross_cats_sorted":[],"title_canon_sha256":"935882c6171dc324438e5e5041a0e89361f40974ff59dcde09a75823eb3ca120","abstract_canon_sha256":"4b0618d25540ca7b22a1e117a3755bb5e99b7618a492e536a8f04818241c33f5"},"schema_version":"1.0"},"canonical_sha256":"38bb276ee7a89d805326e7baa83e697c359b8af3e88b616e04687b103c1b75f5","source":{"kind":"arxiv","id":"2502.09955","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.09955","created_at":"2026-07-05T10:14:28Z"},{"alias_kind":"arxiv_version","alias_value":"2502.09955v1","created_at":"2026-07-05T10:14:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.09955","created_at":"2026-07-05T10:14:28Z"},{"alias_kind":"pith_short_12","alias_value":"HC5SO3XHVCOY","created_at":"2026-07-05T10:14:28Z"},{"alias_kind":"pith_short_16","alias_value":"HC5SO3XHVCOYAUZG","created_at":"2026-07-05T10:14:28Z"},{"alias_kind":"pith_short_8","alias_value":"HC5SO3XH","created_at":"2026-07-05T10:14:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:HC5SO3XHVCOYAUZG465KQPTJPQ","target":"record","payload":{"canonical_record":{"source":{"id":"2502.09955","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-14T07:22:25Z","cross_cats_sorted":[],"title_canon_sha256":"935882c6171dc324438e5e5041a0e89361f40974ff59dcde09a75823eb3ca120","abstract_canon_sha256":"4b0618d25540ca7b22a1e117a3755bb5e99b7618a492e536a8f04818241c33f5"},"schema_version":"1.0"},"canonical_sha256":"38bb276ee7a89d805326e7baa83e697c359b8af3e88b616e04687b103c1b75f5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:14:28.020534Z","signature_b64":"Mzp6xyQbnqmnXYd1+U0nqbKgfQbDB61nCDBOVjc5SKc5nf9e2UHj5RoXmtGQZItw+q8/eNyscuVojCU9dvj1Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"38bb276ee7a89d805326e7baa83e697c359b8af3e88b616e04687b103c1b75f5","last_reissued_at":"2026-07-05T10:14:28.019991Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:14:28.019991Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.09955","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-07-05T10:14:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o5amwcVdzoHj0i+CG3tm53UmUFs7XAWyzSxXaw0KPyKxwJvIifF8eCPzY4MTdo+dJlXgCGsN2o/7+6/z22DvAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T09:10:27.526648Z"},"content_sha256":"803040c7958c3ec7b882b4280fc9d50167eb254213fac42a7764c8a55bab0c66","schema_version":"1.0","event_id":"sha256:803040c7958c3ec7b882b4280fc9d50167eb254213fac42a7764c8a55bab0c66"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:HC5SO3XHVCOYAUZG465KQPTJPQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Diverse Inference and Verification for Advanced Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alon Amit, Avi Shporer, Ben Segev, Gaston Longhitano, Howard Yong, Iddo Drori, Madeleine Udell, Mao Mao, Nakul Verma, Seunghwan Hyun, Sungjun Park, Xin-Yu Zhang, Yuke Zhang, Zachary Meeks","submitted_at":"2025-02-14T07:22:25Z","abstract_excerpt":"Reasoning LLMs such as OpenAI o1, o3 and DeepSeek R1 have made significant progress in mathematics and coding, yet find challenging advanced tasks such as International Mathematical Olympiad (IMO) combinatorics problems, Abstraction and Reasoning Corpus (ARC) puzzles, and Humanity's Last Exam (HLE) questions. We use a diverse inference approach that combines multiple models and methods at test time. We find that verifying mathematics and code problems, and rejection sampling on other problems is simple and effective. We automatically verify correctness of solutions to IMO problems by Lean, and"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.09955","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/2502.09955/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-05T10:14:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z0KUZ6Z8+oD2GeIzwdBn7WtWuIdsDziWqxhepEOuKmnIboU1JhcBTZ1IPgYOn86gB9lBGwwHFDIlrxPqR64vBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T09:10:27.527020Z"},"content_sha256":"446e7641e2156d86b0449b55cfcdc47ce7120e7e2e5cebe9ca8da928a87943ae","schema_version":"1.0","event_id":"sha256:446e7641e2156d86b0449b55cfcdc47ce7120e7e2e5cebe9ca8da928a87943ae"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HC5SO3XHVCOYAUZG465KQPTJPQ/bundle.json","state_url":"https://pith.science/pith/HC5SO3XHVCOYAUZG465KQPTJPQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HC5SO3XHVCOYAUZG465KQPTJPQ/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-07-06T09:10:27Z","links":{"resolver":"https://pith.science/pith/HC5SO3XHVCOYAUZG465KQPTJPQ","bundle":"https://pith.science/pith/HC5SO3XHVCOYAUZG465KQPTJPQ/bundle.json","state":"https://pith.science/pith/HC5SO3XHVCOYAUZG465KQPTJPQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HC5SO3XHVCOYAUZG465KQPTJPQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:HC5SO3XHVCOYAUZG465KQPTJPQ","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":"4b0618d25540ca7b22a1e117a3755bb5e99b7618a492e536a8f04818241c33f5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-14T07:22:25Z","title_canon_sha256":"935882c6171dc324438e5e5041a0e89361f40974ff59dcde09a75823eb3ca120"},"schema_version":"1.0","source":{"id":"2502.09955","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.09955","created_at":"2026-07-05T10:14:28Z"},{"alias_kind":"arxiv_version","alias_value":"2502.09955v1","created_at":"2026-07-05T10:14:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.09955","created_at":"2026-07-05T10:14:28Z"},{"alias_kind":"pith_short_12","alias_value":"HC5SO3XHVCOY","created_at":"2026-07-05T10:14:28Z"},{"alias_kind":"pith_short_16","alias_value":"HC5SO3XHVCOYAUZG","created_at":"2026-07-05T10:14:28Z"},{"alias_kind":"pith_short_8","alias_value":"HC5SO3XH","created_at":"2026-07-05T10:14:28Z"}],"graph_snapshots":[{"event_id":"sha256:446e7641e2156d86b0449b55cfcdc47ce7120e7e2e5cebe9ca8da928a87943ae","target":"graph","created_at":"2026-07-05T10:14:28Z","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/2502.09955/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reasoning LLMs such as OpenAI o1, o3 and DeepSeek R1 have made significant progress in mathematics and coding, yet find challenging advanced tasks such as International Mathematical Olympiad (IMO) combinatorics problems, Abstraction and Reasoning Corpus (ARC) puzzles, and Humanity's Last Exam (HLE) questions. We use a diverse inference approach that combines multiple models and methods at test time. We find that verifying mathematics and code problems, and rejection sampling on other problems is simple and effective. We automatically verify correctness of solutions to IMO problems by Lean, and","authors_text":"Alon Amit, Avi Shporer, Ben Segev, Gaston Longhitano, Howard Yong, Iddo Drori, Madeleine Udell, Mao Mao, Nakul Verma, Seunghwan Hyun, Sungjun Park, Xin-Yu Zhang, Yuke Zhang, Zachary Meeks","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-14T07:22:25Z","title":"Diverse Inference and Verification for Advanced Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.09955","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:803040c7958c3ec7b882b4280fc9d50167eb254213fac42a7764c8a55bab0c66","target":"record","created_at":"2026-07-05T10:14:28Z","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":"4b0618d25540ca7b22a1e117a3755bb5e99b7618a492e536a8f04818241c33f5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-14T07:22:25Z","title_canon_sha256":"935882c6171dc324438e5e5041a0e89361f40974ff59dcde09a75823eb3ca120"},"schema_version":"1.0","source":{"id":"2502.09955","kind":"arxiv","version":1}},"canonical_sha256":"38bb276ee7a89d805326e7baa83e697c359b8af3e88b616e04687b103c1b75f5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"38bb276ee7a89d805326e7baa83e697c359b8af3e88b616e04687b103c1b75f5","first_computed_at":"2026-07-05T10:14:28.019991Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:14:28.019991Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Mzp6xyQbnqmnXYd1+U0nqbKgfQbDB61nCDBOVjc5SKc5nf9e2UHj5RoXmtGQZItw+q8/eNyscuVojCU9dvj1Cg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:14:28.020534Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.09955","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:803040c7958c3ec7b882b4280fc9d50167eb254213fac42a7764c8a55bab0c66","sha256:446e7641e2156d86b0449b55cfcdc47ce7120e7e2e5cebe9ca8da928a87943ae"],"state_sha256":"d609a6560530c63d9b1d1ad2f279109ebf6367db195e1224dc7a6435ff927ab8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qugbrbFW20Fwh1lECQpoJLTN84NsNunyANWv0BosFlqo4T7xw5MgFypvIorfcFDrYVITznt48h0uvyhjEn8zCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T09:10:27.528967Z","bundle_sha256":"a701cedb9ffa1d0e60d2b74e2a1e5f858cbf705409341f9637be4236709b1c00"}}