{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:OXUCBDMX5AF4NE7IMWMG3FXJXV","short_pith_number":"pith:OXUCBDMX","canonical_record":{"source":{"id":"2504.21801","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-30T16:57:48Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"bf5d910ecaf0d586c06fa829f87927eb46db812956b8276ad6a26c0214b828b9","abstract_canon_sha256":"314813eb5810c27c4a0fd5ea06f6793a726b2401782d3db55c566eedb7593c9c"},"schema_version":"1.0"},"canonical_sha256":"75e8208d97e80bc693e865986d96e9bd647ab816316f887d843c2e1aa1b764c9","source":{"kind":"arxiv","id":"2504.21801","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.21801","created_at":"2026-05-17T23:38:52Z"},{"alias_kind":"arxiv_version","alias_value":"2504.21801v2","created_at":"2026-05-17T23:38:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.21801","created_at":"2026-05-17T23:38:52Z"},{"alias_kind":"pith_short_12","alias_value":"OXUCBDMX5AF4","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"OXUCBDMX5AF4NE7I","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"OXUCBDMX","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:OXUCBDMX5AF4NE7IMWMG3FXJXV","target":"record","payload":{"canonical_record":{"source":{"id":"2504.21801","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-30T16:57:48Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"bf5d910ecaf0d586c06fa829f87927eb46db812956b8276ad6a26c0214b828b9","abstract_canon_sha256":"314813eb5810c27c4a0fd5ea06f6793a726b2401782d3db55c566eedb7593c9c"},"schema_version":"1.0"},"canonical_sha256":"75e8208d97e80bc693e865986d96e9bd647ab816316f887d843c2e1aa1b764c9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:38:52.892819Z","signature_b64":"fEyu51bqdiL0eOSNVV9L9aGJJAT7dgF2lNQS7QtYGTF0VpPG1ab7S4TV33EdygRXDZcobAd+Im27M7O7P18gDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"75e8208d97e80bc693e865986d96e9bd647ab816316f887d843c2e1aa1b764c9","last_reissued_at":"2026-05-17T23:38:52.892126Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:38:52.892126Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.21801","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-05-17T23:38:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qsD/vdf/Jh32EAYpI1B0aiKsV1IMUTrlhydDNZ5goZTiFG1T/gJEaoq4nb6ReOgjaooMK0Cs/q/5G3kjrsAaDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T18:57:49.552514Z"},"content_sha256":"8ee61e3ba598b13502f18282d5028234c7c64b7d8a57ecbb721f463e41eb0622","schema_version":"1.0","event_id":"sha256:8ee61e3ba598b13502f18282d5028234c7c64b7d8a57ecbb721f463e41eb0622"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:OXUCBDMX5AF4NE7IMWMG3FXJXV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"DeepSeek-Prover-V2 trains a 671B model on subgoal-decomposed proofs to reach 88.9% success on formal theorem proving benchmarks.","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Chong Ruan, Daya Guo, Dejian Yang, Haocheng Wang, Hongxuan Tang, Huajian Xin, Junxiao Song, Liyue Zhang, Qihao Zhu, Shirong Ma, Wanjia Zhao, Wenjun Gao, Yuxuan Liu, Z.F. Wu, Zhe Fu, Zhibin Gou, Zhihong Shao, Z.Z. Ren","submitted_at":"2025-04-30T16:57:48Z","abstract_excerpt":"We introduce DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving in Lean 4, with initialization data collected through a recursive theorem proving pipeline powered by DeepSeek-V3. The cold-start training procedure begins by prompting DeepSeek-V3 to decompose complex problems into a series of subgoals. The proofs of resolved subgoals are synthesized into a chain-of-thought process, combined with DeepSeek-V3's step-by-step reasoning, to create an initial cold start for reinforcement learning. This process enables us to integrate both informal and formal ma"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"The resulting model, DeepSeek-Prover-V2-671B, achieves state-of-the-art performance in neural theorem proving, reaching 88.9% pass ratio on the MiniF2F-test and solving 49 out of 658 problems from PutnamBench. Further evaluation on these 15 AIME problems shows that the model successfully solves 6 of them.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The cold-start data generated by prompting DeepSeek-V3 to decompose problems into subgoals and synthesize proofs produces high-quality, error-free formal reasoning traces that reinforcement learning can reliably improve without systematic biases or invalid steps.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"DeepSeek-Prover-V2-671B reaches 88.9% on MiniF2F-test and solves 49 PutnamBench problems plus 6 of 15 recent AIME problems by training on subgoal-decomposed proofs collected via DeepSeek-V3.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"DeepSeek-Prover-V2 trains a 671B model on subgoal-decomposed proofs to reach 88.9% success on formal theorem proving benchmarks.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"a6f9cf98a011ffbb04df5961cc8174a46d357a7e81bede592be9d0f7be98e9f5"},"source":{"id":"2504.21801","kind":"arxiv","version":2},"verdict":{"id":"9152bb00-de7a-495f-b496-6e8e8fd8a72f","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T09:28:06.880518Z","strongest_claim":"The resulting model, DeepSeek-Prover-V2-671B, achieves state-of-the-art performance in neural theorem proving, reaching 88.9% pass ratio on the MiniF2F-test and solving 49 out of 658 problems from PutnamBench. Further evaluation on these 15 AIME problems shows that the model successfully solves 6 of them.","one_line_summary":"DeepSeek-Prover-V2-671B reaches 88.9% on MiniF2F-test and solves 49 PutnamBench problems plus 6 of 15 recent AIME problems by training on subgoal-decomposed proofs collected via DeepSeek-V3.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The cold-start data generated by prompting DeepSeek-V3 to decompose problems into subgoals and synthesize proofs produces high-quality, error-free formal reasoning traces that reinforcement learning can reliably improve without systematic biases or invalid steps.","pith_extraction_headline":"DeepSeek-Prover-V2 trains a 671B model on subgoal-decomposed proofs to reach 88.9% success on formal theorem proving benchmarks."},"references":{"count":36,"sample":[{"doi":"","year":2025,"title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","work_id":"e6b75ad5-2877-4168-97c8-710407094d20","ref_index":1,"cited_arxiv_id":"2501.12948","is_internal_anchor":true},{"doi":"","year":null,"title":"− Note that 𝑘 is a positive integer since all terms are positive","work_id":"83b830c3-d4da-4038-bd1f-48c66e69ac54","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":null,"title":"− Alternatively, note that for 𝑝, 𝑞, 𝑟 in the given range, 𝑘 ⩽ 3 is natural, as larger 𝑘 would make the right side too large","work_id":"1e07868d-93a5-41eb-8108-17b3b66ea174","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":null,"title":"− This has no solutions since 𝑝, 𝑞, 𝑟 ⩾ 2, making the left side much larger than the right","work_id":"bd94dcb5-e42a-47dd-a5eb-72a363080a08","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":null,"title":"− For 𝑝 = 2, no solution","work_id":"eb276d23-0d26-44fd-a2c2-1804d4aaf33e","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":36,"snapshot_sha256":"c18a743c39f2c7ed0c14b8d4e3b7a713347667046da9d92946fc7f747cfa9d7f","internal_anchors":1},"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":"9152bb00-de7a-495f-b496-6e8e8fd8a72f"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:38:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AYELsKwnxFBk/ctZDfh0G3i2SEHRPfFxMp8hMJEpKVOH9HgoKI2RbE+Er39xeUglrTNT6YRTXHYMpa6oBVRhAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T18:57:49.553850Z"},"content_sha256":"ecb845624f8942e3500c13b48e8203f204f112e2a6b835ff918731f905db27a7","schema_version":"1.0","event_id":"sha256:ecb845624f8942e3500c13b48e8203f204f112e2a6b835ff918731f905db27a7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OXUCBDMX5AF4NE7IMWMG3FXJXV/bundle.json","state_url":"https://pith.science/pith/OXUCBDMX5AF4NE7IMWMG3FXJXV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OXUCBDMX5AF4NE7IMWMG3FXJXV/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-05-25T18:57:49Z","links":{"resolver":"https://pith.science/pith/OXUCBDMX5AF4NE7IMWMG3FXJXV","bundle":"https://pith.science/pith/OXUCBDMX5AF4NE7IMWMG3FXJXV/bundle.json","state":"https://pith.science/pith/OXUCBDMX5AF4NE7IMWMG3FXJXV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OXUCBDMX5AF4NE7IMWMG3FXJXV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:OXUCBDMX5AF4NE7IMWMG3FXJXV","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":"314813eb5810c27c4a0fd5ea06f6793a726b2401782d3db55c566eedb7593c9c","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-30T16:57:48Z","title_canon_sha256":"bf5d910ecaf0d586c06fa829f87927eb46db812956b8276ad6a26c0214b828b9"},"schema_version":"1.0","source":{"id":"2504.21801","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.21801","created_at":"2026-05-17T23:38:52Z"},{"alias_kind":"arxiv_version","alias_value":"2504.21801v2","created_at":"2026-05-17T23:38:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.21801","created_at":"2026-05-17T23:38:52Z"},{"alias_kind":"pith_short_12","alias_value":"OXUCBDMX5AF4","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"OXUCBDMX5AF4NE7I","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"OXUCBDMX","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:ecb845624f8942e3500c13b48e8203f204f112e2a6b835ff918731f905db27a7","target":"graph","created_at":"2026-05-17T23:38: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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"The resulting model, DeepSeek-Prover-V2-671B, achieves state-of-the-art performance in neural theorem proving, reaching 88.9% pass ratio on the MiniF2F-test and solving 49 out of 658 problems from PutnamBench. Further evaluation on these 15 AIME problems shows that the model successfully solves 6 of them."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The cold-start data generated by prompting DeepSeek-V3 to decompose problems into subgoals and synthesize proofs produces high-quality, error-free formal reasoning traces that reinforcement learning can reliably improve without systematic biases or invalid steps."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"DeepSeek-Prover-V2-671B reaches 88.9% on MiniF2F-test and solves 49 PutnamBench problems plus 6 of 15 recent AIME problems by training on subgoal-decomposed proofs collected via DeepSeek-V3."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"DeepSeek-Prover-V2 trains a 671B model on subgoal-decomposed proofs to reach 88.9% success on formal theorem proving benchmarks."}],"snapshot_sha256":"a6f9cf98a011ffbb04df5961cc8174a46d357a7e81bede592be9d0f7be98e9f5"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We introduce DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving in Lean 4, with initialization data collected through a recursive theorem proving pipeline powered by DeepSeek-V3. The cold-start training procedure begins by prompting DeepSeek-V3 to decompose complex problems into a series of subgoals. The proofs of resolved subgoals are synthesized into a chain-of-thought process, combined with DeepSeek-V3's step-by-step reasoning, to create an initial cold start for reinforcement learning. This process enables us to integrate both informal and formal ma","authors_text":"Chong Ruan, Daya Guo, Dejian Yang, Haocheng Wang, Hongxuan Tang, Huajian Xin, Junxiao Song, Liyue Zhang, Qihao Zhu, Shirong Ma, Wanjia Zhao, Wenjun Gao, Yuxuan Liu, Z.F. Wu, Zhe Fu, Zhibin Gou, Zhihong Shao, Z.Z. Ren","cross_cats":["cs.AI"],"headline":"DeepSeek-Prover-V2 trains a 671B model on subgoal-decomposed proofs to reach 88.9% success on formal theorem proving benchmarks.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-30T16:57:48Z","title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition"},"references":{"count":36,"internal_anchors":1,"resolved_work":36,"sample":[{"cited_arxiv_id":"2501.12948","doi":"","is_internal_anchor":true,"ref_index":1,"title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","work_id":"e6b75ad5-2877-4168-97c8-710407094d20","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"− Note that 𝑘 is a positive integer since all terms are positive","work_id":"83b830c3-d4da-4038-bd1f-48c66e69ac54","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"− Alternatively, note that for 𝑝, 𝑞, 𝑟 in the given range, 𝑘 ⩽ 3 is natural, as larger 𝑘 would make the right side too large","work_id":"1e07868d-93a5-41eb-8108-17b3b66ea174","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"− This has no solutions since 𝑝, 𝑞, 𝑟 ⩾ 2, making the left side much larger than the right","work_id":"bd94dcb5-e42a-47dd-a5eb-72a363080a08","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"− For 𝑝 = 2, no solution","work_id":"eb276d23-0d26-44fd-a2c2-1804d4aaf33e","year":null}],"snapshot_sha256":"c18a743c39f2c7ed0c14b8d4e3b7a713347667046da9d92946fc7f747cfa9d7f"},"source":{"id":"2504.21801","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-15T09:28:06.880518Z","id":"9152bb00-de7a-495f-b496-6e8e8fd8a72f","model_set":{"reader":"grok-4.3"},"one_line_summary":"DeepSeek-Prover-V2-671B reaches 88.9% on MiniF2F-test and solves 49 PutnamBench problems plus 6 of 15 recent AIME problems by training on subgoal-decomposed proofs collected via DeepSeek-V3.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"DeepSeek-Prover-V2 trains a 671B model on subgoal-decomposed proofs to reach 88.9% success on formal theorem proving benchmarks.","strongest_claim":"The resulting model, DeepSeek-Prover-V2-671B, achieves state-of-the-art performance in neural theorem proving, reaching 88.9% pass ratio on the MiniF2F-test and solving 49 out of 658 problems from PutnamBench. Further evaluation on these 15 AIME problems shows that the model successfully solves 6 of them.","weakest_assumption":"The cold-start data generated by prompting DeepSeek-V3 to decompose problems into subgoals and synthesize proofs produces high-quality, error-free formal reasoning traces that reinforcement learning can reliably improve without systematic biases or invalid steps."}},"verdict_id":"9152bb00-de7a-495f-b496-6e8e8fd8a72f"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:8ee61e3ba598b13502f18282d5028234c7c64b7d8a57ecbb721f463e41eb0622","target":"record","created_at":"2026-05-17T23:38: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":"314813eb5810c27c4a0fd5ea06f6793a726b2401782d3db55c566eedb7593c9c","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-30T16:57:48Z","title_canon_sha256":"bf5d910ecaf0d586c06fa829f87927eb46db812956b8276ad6a26c0214b828b9"},"schema_version":"1.0","source":{"id":"2504.21801","kind":"arxiv","version":2}},"canonical_sha256":"75e8208d97e80bc693e865986d96e9bd647ab816316f887d843c2e1aa1b764c9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"75e8208d97e80bc693e865986d96e9bd647ab816316f887d843c2e1aa1b764c9","first_computed_at":"2026-05-17T23:38:52.892126Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:38:52.892126Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fEyu51bqdiL0eOSNVV9L9aGJJAT7dgF2lNQS7QtYGTF0VpPG1ab7S4TV33EdygRXDZcobAd+Im27M7O7P18gDA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:38:52.892819Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.21801","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8ee61e3ba598b13502f18282d5028234c7c64b7d8a57ecbb721f463e41eb0622","sha256:ecb845624f8942e3500c13b48e8203f204f112e2a6b835ff918731f905db27a7"],"state_sha256":"48febfeb9923863668bddbffe0b61283dd2d564e9826914d46c164335f2ed278"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pDJ/lm4BxSgh0wMbMGcCinS4jgXR9gUxWa9ZX5rSnWDapgNVNRdnXid9t3it0NqrM/FPefZWGB17nQxSZeVPBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T18:57:49.559256Z","bundle_sha256":"0f4e5b7931084b334c31fd616cb59ba38acd4e78224d9cf5dafccda1d56f3ad2"}}