{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:XSVCGREQUEEHUFXLNEBVMD22WN","short_pith_number":"pith:XSVCGREQ","canonical_record":{"source":{"id":"2511.18760","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-11-24T04:50:18Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"9a56bb6aba42ad66c37b58b1023ea2cb4b7b115650800b749f758df1d3b53031","abstract_canon_sha256":"c5c38459cdab412ac886ca441be6f3425ce983611dfb0a056ce09de8ee141f37"},"schema_version":"1.0"},"canonical_sha256":"bcaa234490a1087a16eb6903560f5ab35cd1eb892a52595c9005dae93129ba16","source":{"kind":"arxiv","id":"2511.18760","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.18760","created_at":"2026-06-01T01:03:46Z"},{"alias_kind":"arxiv_version","alias_value":"2511.18760v2","created_at":"2026-06-01T01:03:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.18760","created_at":"2026-06-01T01:03:46Z"},{"alias_kind":"pith_short_12","alias_value":"XSVCGREQUEEH","created_at":"2026-06-01T01:03:46Z"},{"alias_kind":"pith_short_16","alias_value":"XSVCGREQUEEHUFXL","created_at":"2026-06-01T01:03:46Z"},{"alias_kind":"pith_short_8","alias_value":"XSVCGREQ","created_at":"2026-06-01T01:03:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:XSVCGREQUEEHUFXLNEBVMD22WN","target":"record","payload":{"canonical_record":{"source":{"id":"2511.18760","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-11-24T04:50:18Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"9a56bb6aba42ad66c37b58b1023ea2cb4b7b115650800b749f758df1d3b53031","abstract_canon_sha256":"c5c38459cdab412ac886ca441be6f3425ce983611dfb0a056ce09de8ee141f37"},"schema_version":"1.0"},"canonical_sha256":"bcaa234490a1087a16eb6903560f5ab35cd1eb892a52595c9005dae93129ba16","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-01T01:03:46.930271Z","signature_b64":"2/3dVkeidiMYcOX4ZWU7RfyokjWKU0X9lm6hvM5WV/7ozGm/CXtFzZ4H7sSBEuaaVijriHqVlfp1tTeRnVf0BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bcaa234490a1087a16eb6903560f5ab35cd1eb892a52595c9005dae93129ba16","last_reissued_at":"2026-06-01T01:03:46.929371Z","signature_status":"signed_v1","first_computed_at":"2026-06-01T01:03:46.929371Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2511.18760","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-06-01T01:03:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lxteC2QG9/lrubW2OJiFkeE45zUytvud2oaGvArOu096vdPsRdC7FTRp/DVxYuKNHNPns4QiNgX97yJGAXowCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T21:28:12.419100Z"},"content_sha256":"6b1ba28bf2099fdff3ffadd13c91dcd344159e60a8bf0f54e345953166961f5d","schema_version":"1.0","event_id":"sha256:6b1ba28bf2099fdff3ffadd13c91dcd344159e60a8bf0f54e345953166961f5d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:XSVCGREQUEEHUFXLNEBVMD22WN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.AI","authors_text":"Azim Ospanov, Farzan Farnia, Haoli Bai, Jiacheng Sun, Xin Shen, Zijin Feng","submitted_at":"2025-11-24T04:50:18Z","abstract_excerpt":"Informal mathematics has been central to modern large language model (LLM) reasoning, offering flexibility and efficient construction of arguments. However, purely informal reasoning is prone to logical gaps and subtle errors that are difficult to detect and correct. In contrast, formal theorem proving provides rigorous, verifiable mathematical reasoning, where each inference step is checked by a trusted compiler, but lacks the exploratory freedom of informal problem-solving. This mismatch leaves current LLM-based math agents without a principled way to combine the strengths of both paradigms."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.18760","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/2511.18760/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-01T01:03:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iP/zUeQ8vpVA5fF6cvx7f2XKA9uRD+KIfJoFfEyU0TH6kNFimzqLPqeRWedZb8lFKY7IaQtPMU0k+3ATpBWeDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T21:28:12.419487Z"},"content_sha256":"518f701f51a4e5d5931b20adb3a045084f23f57a332f6165b3cb69b1824ee48b","schema_version":"1.0","event_id":"sha256:518f701f51a4e5d5931b20adb3a045084f23f57a332f6165b3cb69b1824ee48b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XSVCGREQUEEHUFXLNEBVMD22WN/bundle.json","state_url":"https://pith.science/pith/XSVCGREQUEEHUFXLNEBVMD22WN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XSVCGREQUEEHUFXLNEBVMD22WN/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-04T21:28:12Z","links":{"resolver":"https://pith.science/pith/XSVCGREQUEEHUFXLNEBVMD22WN","bundle":"https://pith.science/pith/XSVCGREQUEEHUFXLNEBVMD22WN/bundle.json","state":"https://pith.science/pith/XSVCGREQUEEHUFXLNEBVMD22WN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XSVCGREQUEEHUFXLNEBVMD22WN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:XSVCGREQUEEHUFXLNEBVMD22WN","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":"c5c38459cdab412ac886ca441be6f3425ce983611dfb0a056ce09de8ee141f37","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-11-24T04:50:18Z","title_canon_sha256":"9a56bb6aba42ad66c37b58b1023ea2cb4b7b115650800b749f758df1d3b53031"},"schema_version":"1.0","source":{"id":"2511.18760","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.18760","created_at":"2026-06-01T01:03:46Z"},{"alias_kind":"arxiv_version","alias_value":"2511.18760v2","created_at":"2026-06-01T01:03:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.18760","created_at":"2026-06-01T01:03:46Z"},{"alias_kind":"pith_short_12","alias_value":"XSVCGREQUEEH","created_at":"2026-06-01T01:03:46Z"},{"alias_kind":"pith_short_16","alias_value":"XSVCGREQUEEHUFXL","created_at":"2026-06-01T01:03:46Z"},{"alias_kind":"pith_short_8","alias_value":"XSVCGREQ","created_at":"2026-06-01T01:03:46Z"}],"graph_snapshots":[{"event_id":"sha256:518f701f51a4e5d5931b20adb3a045084f23f57a332f6165b3cb69b1824ee48b","target":"graph","created_at":"2026-06-01T01:03:46Z","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/2511.18760/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Informal mathematics has been central to modern large language model (LLM) reasoning, offering flexibility and efficient construction of arguments. However, purely informal reasoning is prone to logical gaps and subtle errors that are difficult to detect and correct. In contrast, formal theorem proving provides rigorous, verifiable mathematical reasoning, where each inference step is checked by a trusted compiler, but lacks the exploratory freedom of informal problem-solving. This mismatch leaves current LLM-based math agents without a principled way to combine the strengths of both paradigms.","authors_text":"Azim Ospanov, Farzan Farnia, Haoli Bai, Jiacheng Sun, Xin Shen, Zijin Feng","cross_cats":["cs.FL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-11-24T04:50:18Z","title":"HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.18760","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:6b1ba28bf2099fdff3ffadd13c91dcd344159e60a8bf0f54e345953166961f5d","target":"record","created_at":"2026-06-01T01:03:46Z","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":"c5c38459cdab412ac886ca441be6f3425ce983611dfb0a056ce09de8ee141f37","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-11-24T04:50:18Z","title_canon_sha256":"9a56bb6aba42ad66c37b58b1023ea2cb4b7b115650800b749f758df1d3b53031"},"schema_version":"1.0","source":{"id":"2511.18760","kind":"arxiv","version":2}},"canonical_sha256":"bcaa234490a1087a16eb6903560f5ab35cd1eb892a52595c9005dae93129ba16","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bcaa234490a1087a16eb6903560f5ab35cd1eb892a52595c9005dae93129ba16","first_computed_at":"2026-06-01T01:03:46.929371Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-01T01:03:46.929371Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2/3dVkeidiMYcOX4ZWU7RfyokjWKU0X9lm6hvM5WV/7ozGm/CXtFzZ4H7sSBEuaaVijriHqVlfp1tTeRnVf0BA==","signature_status":"signed_v1","signed_at":"2026-06-01T01:03:46.930271Z","signed_message":"canonical_sha256_bytes"},"source_id":"2511.18760","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6b1ba28bf2099fdff3ffadd13c91dcd344159e60a8bf0f54e345953166961f5d","sha256:518f701f51a4e5d5931b20adb3a045084f23f57a332f6165b3cb69b1824ee48b"],"state_sha256":"dd8616da0349cc1845f67511aeb4e948c090d5bdae7e95527e343e8d6201991d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JHwXN5lwx03jLDQVHp1TVR1ASsUWOaWnCydvUKmdiCiXkHafHs44wOelqSiqGz10chZXAejTuMUBhCmSGXR8Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T21:28:12.421510Z","bundle_sha256":"616d82cd6cce6fe7b3018395565becad2831a1ec030c480dc345a7e433f7f4ee"}}