{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:VQU5TKT57PEO43VMX3OZ4Q4I5Y","short_pith_number":"pith:VQU5TKT5","canonical_record":{"source":{"id":"2504.11354","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-15T16:23:44Z","cross_cats_sorted":[],"title_canon_sha256":"6b7fd57e71d2e17f40b73cbe50db5c27488d5f9de599d4cb48858638c5f99b18","abstract_canon_sha256":"1063cfd94819ad6bce0642a71c39f45b9bf0e35b22ab75793349f9c922c704a9"},"schema_version":"1.0"},"canonical_sha256":"ac29d9aa7dfbc8ee6eacbedd9e4388ee312d01108a734145ba566f61c9d31c3d","source":{"kind":"arxiv","id":"2504.11354","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.11354","created_at":"2026-05-17T23:38:13Z"},{"alias_kind":"arxiv_version","alias_value":"2504.11354v1","created_at":"2026-05-17T23:38:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.11354","created_at":"2026-05-17T23:38:13Z"},{"alias_kind":"pith_short_12","alias_value":"VQU5TKT57PEO","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"VQU5TKT57PEO43VM","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"VQU5TKT5","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:VQU5TKT57PEO43VMX3OZ4Q4I5Y","target":"record","payload":{"canonical_record":{"source":{"id":"2504.11354","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-15T16:23:44Z","cross_cats_sorted":[],"title_canon_sha256":"6b7fd57e71d2e17f40b73cbe50db5c27488d5f9de599d4cb48858638c5f99b18","abstract_canon_sha256":"1063cfd94819ad6bce0642a71c39f45b9bf0e35b22ab75793349f9c922c704a9"},"schema_version":"1.0"},"canonical_sha256":"ac29d9aa7dfbc8ee6eacbedd9e4388ee312d01108a734145ba566f61c9d31c3d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:38:13.398585Z","signature_b64":"TyDFaOHEM/LQNUjlDaUWHSuozXW5M4NxSV8rMIf58iSO3abRO7EKNfb7jo1WDAfYq1nFtPlnE8uGE6PbQNTkAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ac29d9aa7dfbc8ee6eacbedd9e4388ee312d01108a734145ba566f61c9d31c3d","last_reissued_at":"2026-05-17T23:38:13.397740Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:38:13.397740Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.11354","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-05-17T23:38:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g1k/JVNdJRkT7mV7pY6PmgYt6J2AA2a3NP8ZPYoT6AfeD1U8ToZuZ+s/oFPinjvUa3uKAemSE0rfIJDTRTCiCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T12:04:29.933444Z"},"content_sha256":"791516e1cfa47a568b4ec91dcac5d92c13664419defd6b7ba6077f999deaf326","schema_version":"1.0","event_id":"sha256:791516e1cfa47a568b4ec91dcac5d92c13664419defd6b7ba6077f999deaf326"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:VQU5TKT57PEO43VMX3OZ4Q4I5Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"A large model trained with reinforcement learning and a formal reasoning pattern reaches 80.7 percent on the miniF2F Lean theorem proving benchmark.","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Bolton Bailey, Chendong Song, Chenjun Xiao, Dehao Zhang, Ebony Zhang, Flood Sung, Frederick Pu, Haiming Wang, Han Zhu, Hugues de Saxc\\'e, Jia Li, Jianqiao Lu, Jiawei Liu, Jonas Bayer, Julien Michel, Junqi Liu, L\\'eo Dreyfus-Schmidt, Lewis Tunstall, Longhui Yu, Luigi Pagani, Mantas Baksys, Marco Dos Santos, Marina Vinyes, Mert Unsal, Moreira Machado, Pauline Bourigault, Ran Wang, Stanislas Polu, Thibaut Barroyer, Wen-Ding Li, Xiaohan Lin, Yangyang Hu, Yann Fleureau, Yazhe Niu, Zekai Zhu, Zhengying Liu, Zhenzhe Ying, Zhilin Yang, Zhouliang Yu, Zihan Wang","submitted_at":"2025-04-15T16:23:44Z","abstract_excerpt":"We introduce Kimina-Prover Preview, a large language model that pioneers a novel reasoning-driven exploration paradigm for formal theorem proving, as showcased in this preview release. Trained with a large-scale reinforcement learning pipeline from Qwen2.5-72B, Kimina-Prover demonstrates strong performance in Lean 4 proof generation by employing a structured reasoning pattern we term \\textit{formal reasoning pattern}. This approach allows the model to emulate human problem-solving strategies in Lean, iteratively generating and refining proof steps. Kimina-Prover sets a new state-of-the-art on "},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"Kimina-Prover sets a new state-of-the-art on the miniF2F benchmark, reaching 80.7% with pass@8192.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That the reported gains stem primarily from the novel formal reasoning pattern and RL training rather than from benchmark-specific tuning, large sampling budgets, or unstated data overlaps.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Kimina-Prover achieves 80.7% pass@8192 on miniF2F for Lean 4 theorem proving via RL training and a formal reasoning pattern that emulates iterative human-style proof refinement.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"A large model trained with reinforcement learning and a formal reasoning pattern reaches 80.7 percent on the miniF2F Lean theorem proving benchmark.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"c13fe1eff2c835de8fde04c39fb56c2d502a9f49915b91da6919a92f60e2e43d"},"source":{"id":"2504.11354","kind":"arxiv","version":1},"verdict":{"id":"40ccf245-48c8-4896-babf-b5674648011a","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-17T18:24:08.411260Z","strongest_claim":"Kimina-Prover sets a new state-of-the-art on the miniF2F benchmark, reaching 80.7% with pass@8192.","one_line_summary":"Kimina-Prover achieves 80.7% pass@8192 on miniF2F for Lean 4 theorem proving via RL training and a formal reasoning pattern that emulates iterative human-style proof refinement.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That the reported gains stem primarily from the novel formal reasoning pattern and RL training rather than from benchmark-specific tuning, large sampling budgets, or unstated data overlaps.","pith_extraction_headline":"A large model trained with reinforcement learning and a formal reasoning pattern reaches 80.7 percent on the miniF2F Lean theorem proving benchmark."},"references":{"count":17,"sample":[{"doi":"","year":2023,"title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.arXiv preprint arXiv:2407.11214","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2025,"title":"Lego-prover: Neural theorem proving with growing libraries","work_id":"ba7b923c-31a8-402f-8437-764efbd6e2ba","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2024,"title":"Initial Dataset Acquisition: We begin with the Numina 1.5 dataset (J. Li et al. 2024), a comprehensive collection of mathematical problems","work_id":"4af7420b-3157-4eed-9ad0-ca4e8ccbb7a0","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":null,"title":"Problems involving geometry and combinatorics are excluded to form a dataset more suitable for autoformalization","work_id":"4c2d829f-d0a9-425a-9aa5-1dbcc69f5f88","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":null,"title":"This step converts natural language mathematical problems into formal statements compatible with the Lean 4 proof assistant","work_id":"1869929e-4d68-44ad-9b8a-7ee3b7c2c976","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":17,"snapshot_sha256":"3e8c6f92fd064d7b7bc0d0423d537354822eed88adea26c2c12e5e5a11f00f42","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":"40ccf245-48c8-4896-babf-b5674648011a"},"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:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7lyDG7pRx+/6ry0xXoRnMH/XS53tp+2+5TU1kGn6gHS8MV5SW2sZoOLAdArEN2eZy423aOD28dyC27nXMWfMCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T12:04:29.934555Z"},"content_sha256":"9617150a63c00222eb50bcf8536e79bf3c161d1aee5c9428b8e7de26ef1c9f9f","schema_version":"1.0","event_id":"sha256:9617150a63c00222eb50bcf8536e79bf3c161d1aee5c9428b8e7de26ef1c9f9f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VQU5TKT57PEO43VMX3OZ4Q4I5Y/bundle.json","state_url":"https://pith.science/pith/VQU5TKT57PEO43VMX3OZ4Q4I5Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VQU5TKT57PEO43VMX3OZ4Q4I5Y/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-10T12:04:29Z","links":{"resolver":"https://pith.science/pith/VQU5TKT57PEO43VMX3OZ4Q4I5Y","bundle":"https://pith.science/pith/VQU5TKT57PEO43VMX3OZ4Q4I5Y/bundle.json","state":"https://pith.science/pith/VQU5TKT57PEO43VMX3OZ4Q4I5Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VQU5TKT57PEO43VMX3OZ4Q4I5Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:VQU5TKT57PEO43VMX3OZ4Q4I5Y","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":"1063cfd94819ad6bce0642a71c39f45b9bf0e35b22ab75793349f9c922c704a9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-15T16:23:44Z","title_canon_sha256":"6b7fd57e71d2e17f40b73cbe50db5c27488d5f9de599d4cb48858638c5f99b18"},"schema_version":"1.0","source":{"id":"2504.11354","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.11354","created_at":"2026-05-17T23:38:13Z"},{"alias_kind":"arxiv_version","alias_value":"2504.11354v1","created_at":"2026-05-17T23:38:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.11354","created_at":"2026-05-17T23:38:13Z"},{"alias_kind":"pith_short_12","alias_value":"VQU5TKT57PEO","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"VQU5TKT57PEO43VM","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"VQU5TKT5","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:9617150a63c00222eb50bcf8536e79bf3c161d1aee5c9428b8e7de26ef1c9f9f","target":"graph","created_at":"2026-05-17T23:38:13Z","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":"Kimina-Prover sets a new state-of-the-art on the miniF2F benchmark, reaching 80.7% with pass@8192."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That the reported gains stem primarily from the novel formal reasoning pattern and RL training rather than from benchmark-specific tuning, large sampling budgets, or unstated data overlaps."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Kimina-Prover achieves 80.7% pass@8192 on miniF2F for Lean 4 theorem proving via RL training and a formal reasoning pattern that emulates iterative human-style proof refinement."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"A large model trained with reinforcement learning and a formal reasoning pattern reaches 80.7 percent on the miniF2F Lean theorem proving benchmark."}],"snapshot_sha256":"c13fe1eff2c835de8fde04c39fb56c2d502a9f49915b91da6919a92f60e2e43d"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We introduce Kimina-Prover Preview, a large language model that pioneers a novel reasoning-driven exploration paradigm for formal theorem proving, as showcased in this preview release. Trained with a large-scale reinforcement learning pipeline from Qwen2.5-72B, Kimina-Prover demonstrates strong performance in Lean 4 proof generation by employing a structured reasoning pattern we term \\textit{formal reasoning pattern}. This approach allows the model to emulate human problem-solving strategies in Lean, iteratively generating and refining proof steps. Kimina-Prover sets a new state-of-the-art on ","authors_text":"Bolton Bailey, Chendong Song, Chenjun Xiao, Dehao Zhang, Ebony Zhang, Flood Sung, Frederick Pu, Haiming Wang, Han Zhu, Hugues de Saxc\\'e, Jia Li, Jianqiao Lu, Jiawei Liu, Jonas Bayer, Julien Michel, Junqi Liu, L\\'eo Dreyfus-Schmidt, Lewis Tunstall, Longhui Yu, Luigi Pagani, Mantas Baksys, Marco Dos Santos, Marina Vinyes, Mert Unsal, Moreira Machado, Pauline Bourigault, Ran Wang, Stanislas Polu, Thibaut Barroyer, Wen-Ding Li, Xiaohan Lin, Yangyang Hu, Yann Fleureau, Yazhe Niu, Zekai Zhu, Zhengying Liu, Zhenzhe Ying, Zhilin Yang, Zhouliang Yu, Zihan Wang","cross_cats":[],"headline":"A large model trained with reinforcement learning and a formal reasoning pattern reaches 80.7 percent on the miniF2F Lean theorem proving benchmark.","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-15T16:23:44Z","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning"},"references":{"count":17,"internal_anchors":0,"resolved_work":17,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.arXiv preprint arXiv:2407.11214","work_id":"0cad43ad-ae3a-4db7-8d68-131238a0ad95","year":2023},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Lego-prover: Neural theorem proving with growing libraries","work_id":"ba7b923c-31a8-402f-8437-764efbd6e2ba","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Initial Dataset Acquisition: We begin with the Numina 1.5 dataset (J. Li et al. 2024), a comprehensive collection of mathematical problems","work_id":"4af7420b-3157-4eed-9ad0-ca4e8ccbb7a0","year":2024},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Problems involving geometry and combinatorics are excluded to form a dataset more suitable for autoformalization","work_id":"4c2d829f-d0a9-425a-9aa5-1dbcc69f5f88","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"This step converts natural language mathematical problems into formal statements compatible with the Lean 4 proof assistant","work_id":"1869929e-4d68-44ad-9b8a-7ee3b7c2c976","year":null}],"snapshot_sha256":"3e8c6f92fd064d7b7bc0d0423d537354822eed88adea26c2c12e5e5a11f00f42"},"source":{"id":"2504.11354","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-17T18:24:08.411260Z","id":"40ccf245-48c8-4896-babf-b5674648011a","model_set":{"reader":"grok-4.3"},"one_line_summary":"Kimina-Prover achieves 80.7% pass@8192 on miniF2F for Lean 4 theorem proving via RL training and a formal reasoning pattern that emulates iterative human-style proof refinement.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"A large model trained with reinforcement learning and a formal reasoning pattern reaches 80.7 percent on the miniF2F Lean theorem proving benchmark.","strongest_claim":"Kimina-Prover sets a new state-of-the-art on the miniF2F benchmark, reaching 80.7% with pass@8192.","weakest_assumption":"That the reported gains stem primarily from the novel formal reasoning pattern and RL training rather than from benchmark-specific tuning, large sampling budgets, or unstated data overlaps."}},"verdict_id":"40ccf245-48c8-4896-babf-b5674648011a"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:791516e1cfa47a568b4ec91dcac5d92c13664419defd6b7ba6077f999deaf326","target":"record","created_at":"2026-05-17T23:38:13Z","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":"1063cfd94819ad6bce0642a71c39f45b9bf0e35b22ab75793349f9c922c704a9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-15T16:23:44Z","title_canon_sha256":"6b7fd57e71d2e17f40b73cbe50db5c27488d5f9de599d4cb48858638c5f99b18"},"schema_version":"1.0","source":{"id":"2504.11354","kind":"arxiv","version":1}},"canonical_sha256":"ac29d9aa7dfbc8ee6eacbedd9e4388ee312d01108a734145ba566f61c9d31c3d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ac29d9aa7dfbc8ee6eacbedd9e4388ee312d01108a734145ba566f61c9d31c3d","first_computed_at":"2026-05-17T23:38:13.397740Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:38:13.397740Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TyDFaOHEM/LQNUjlDaUWHSuozXW5M4NxSV8rMIf58iSO3abRO7EKNfb7jo1WDAfYq1nFtPlnE8uGE6PbQNTkAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:38:13.398585Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.11354","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:791516e1cfa47a568b4ec91dcac5d92c13664419defd6b7ba6077f999deaf326","sha256:9617150a63c00222eb50bcf8536e79bf3c161d1aee5c9428b8e7de26ef1c9f9f"],"state_sha256":"00893ffb2b8df1aa38a7c1ef00d0cb1290c783a79cefa78c6bede6f4b1b414ba"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t+dZiif8kn+Uk5PbM9G88EBrl61VMwXbTl7o/7nBjaP4riDl3q3+w8YX/rkiGfrwGOWAZ8MltL33RcmMcy3oDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T12:04:29.939949Z","bundle_sha256":"5ece43d9a3fcf627d86d63380686920806a6a0d92615fc2ef1c2aa064f2fa2d6"}}