{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:7CIRJ6GAZVAKDJWRNE7XAAHHVW","short_pith_number":"pith:7CIRJ6GA","canonical_record":{"source":{"id":"2409.17972","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-09-26T15:47:42Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"f0df82c1125a45e8d07d36dea580e37ca24d999af829db82d2e2a53233fc0ce2","abstract_canon_sha256":"04ff9daf1101ce323f6997f503b5f77018b818a22a02bb0c566ce477604136d2"},"schema_version":"1.0"},"canonical_sha256":"f89114f8c0cd40a1a6d1693f7000e7ad8886b5dd3e9675c6e30d34095c24a98a","source":{"kind":"arxiv","id":"2409.17972","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.17972","created_at":"2026-07-05T09:13:08Z"},{"alias_kind":"arxiv_version","alias_value":"2409.17972v2","created_at":"2026-07-05T09:13:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.17972","created_at":"2026-07-05T09:13:08Z"},{"alias_kind":"pith_short_12","alias_value":"7CIRJ6GAZVAK","created_at":"2026-07-05T09:13:08Z"},{"alias_kind":"pith_short_16","alias_value":"7CIRJ6GAZVAKDJWR","created_at":"2026-07-05T09:13:08Z"},{"alias_kind":"pith_short_8","alias_value":"7CIRJ6GA","created_at":"2026-07-05T09:13:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:7CIRJ6GAZVAKDJWRNE7XAAHHVW","target":"record","payload":{"canonical_record":{"source":{"id":"2409.17972","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-09-26T15:47:42Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"f0df82c1125a45e8d07d36dea580e37ca24d999af829db82d2e2a53233fc0ce2","abstract_canon_sha256":"04ff9daf1101ce323f6997f503b5f77018b818a22a02bb0c566ce477604136d2"},"schema_version":"1.0"},"canonical_sha256":"f89114f8c0cd40a1a6d1693f7000e7ad8886b5dd3e9675c6e30d34095c24a98a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:13:08.494171Z","signature_b64":"KdQB7a5YOE7h22E2jFuG8F17MM2jL5NJKM1i/hL5SobPhZ6oOxC6nMgwkNiPb758II/7gcbTYNeF6eldp4RTBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f89114f8c0cd40a1a6d1693f7000e7ad8886b5dd3e9675c6e30d34095c24a98a","last_reissued_at":"2026-07-05T09:13:08.493607Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:13:08.493607Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2409.17972","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-07-05T09:13:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jbplBv28NlqUeR+D0fuY9nEb1QVPe5mOD/8W22nn95KiAW2AI4Pgku+1xYt7HPi3sa21bRYLBPLzcGCbygjaBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T14:08:56.149551Z"},"content_sha256":"21c695aaa6b3f1d014651d16a13c9acdda1d2c53a03cf82b578675c15a06c85c","schema_version":"1.0","event_id":"sha256:21c695aaa6b3f1d014651d16a13c9acdda1d2c53a03cf82b578675c15a06c85c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:7CIRJ6GAZVAKDJWRNE7XAAHHVW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"BEATS: Optimizing LLM Mathematical Capabilities with BackVerify and Adaptive Disambiguate based Efficient Tree Search","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.CL","authors_text":"Bihui Yu, Conghui He, Hao Liang, Jingxuan Wei, Linzhuang Sun, Wentao Zhang, Zenan Zhou","submitted_at":"2024-09-26T15:47:42Z","abstract_excerpt":"Large Language Models (LLMs) have exhibited exceptional performance across a broad range of tasks and domains. However, they still encounter difficulties in solving mathematical problems due to the rigorous and logical nature of mathematics. Previous studies have employed techniques such as supervised fine-tuning (SFT), prompt engineering, and search-based methods to improve the mathematical problem-solving abilities of LLMs. Despite these efforts, their performance remains suboptimal and demands substantial computational resources. To address this issue, we propose a novel approach, BEATS, to"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.17972","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/2409.17972/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-05T09:13:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v21RmnOBQawta5c2lgsOL+KA+1OFyIzEVwf80M/n2U6TuitApbsy9huh+AB+jognmCb+ekQ9u90uOj7L3deJDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T14:08:56.150097Z"},"content_sha256":"6fc73ee7eab102e7df726f3bc2da3fabe2a0af243a2527f548efc76ff3760b49","schema_version":"1.0","event_id":"sha256:6fc73ee7eab102e7df726f3bc2da3fabe2a0af243a2527f548efc76ff3760b49"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7CIRJ6GAZVAKDJWRNE7XAAHHVW/bundle.json","state_url":"https://pith.science/pith/7CIRJ6GAZVAKDJWRNE7XAAHHVW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7CIRJ6GAZVAKDJWRNE7XAAHHVW/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-08-10T14:08:56Z","links":{"resolver":"https://pith.science/pith/7CIRJ6GAZVAKDJWRNE7XAAHHVW","bundle":"https://pith.science/pith/7CIRJ6GAZVAKDJWRNE7XAAHHVW/bundle.json","state":"https://pith.science/pith/7CIRJ6GAZVAKDJWRNE7XAAHHVW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7CIRJ6GAZVAKDJWRNE7XAAHHVW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:7CIRJ6GAZVAKDJWRNE7XAAHHVW","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":"04ff9daf1101ce323f6997f503b5f77018b818a22a02bb0c566ce477604136d2","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-09-26T15:47:42Z","title_canon_sha256":"f0df82c1125a45e8d07d36dea580e37ca24d999af829db82d2e2a53233fc0ce2"},"schema_version":"1.0","source":{"id":"2409.17972","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.17972","created_at":"2026-07-05T09:13:08Z"},{"alias_kind":"arxiv_version","alias_value":"2409.17972v2","created_at":"2026-07-05T09:13:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.17972","created_at":"2026-07-05T09:13:08Z"},{"alias_kind":"pith_short_12","alias_value":"7CIRJ6GAZVAK","created_at":"2026-07-05T09:13:08Z"},{"alias_kind":"pith_short_16","alias_value":"7CIRJ6GAZVAKDJWR","created_at":"2026-07-05T09:13:08Z"},{"alias_kind":"pith_short_8","alias_value":"7CIRJ6GA","created_at":"2026-07-05T09:13:08Z"}],"graph_snapshots":[{"event_id":"sha256:6fc73ee7eab102e7df726f3bc2da3fabe2a0af243a2527f548efc76ff3760b49","target":"graph","created_at":"2026-07-05T09:13:08Z","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/2409.17972/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) have exhibited exceptional performance across a broad range of tasks and domains. However, they still encounter difficulties in solving mathematical problems due to the rigorous and logical nature of mathematics. Previous studies have employed techniques such as supervised fine-tuning (SFT), prompt engineering, and search-based methods to improve the mathematical problem-solving abilities of LLMs. Despite these efforts, their performance remains suboptimal and demands substantial computational resources. To address this issue, we propose a novel approach, BEATS, to","authors_text":"Bihui Yu, Conghui He, Hao Liang, Jingxuan Wei, Linzhuang Sun, Wentao Zhang, Zenan Zhou","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-09-26T15:47:42Z","title":"BEATS: Optimizing LLM Mathematical Capabilities with BackVerify and Adaptive Disambiguate based Efficient Tree Search"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.17972","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:21c695aaa6b3f1d014651d16a13c9acdda1d2c53a03cf82b578675c15a06c85c","target":"record","created_at":"2026-07-05T09:13:08Z","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":"04ff9daf1101ce323f6997f503b5f77018b818a22a02bb0c566ce477604136d2","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-09-26T15:47:42Z","title_canon_sha256":"f0df82c1125a45e8d07d36dea580e37ca24d999af829db82d2e2a53233fc0ce2"},"schema_version":"1.0","source":{"id":"2409.17972","kind":"arxiv","version":2}},"canonical_sha256":"f89114f8c0cd40a1a6d1693f7000e7ad8886b5dd3e9675c6e30d34095c24a98a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f89114f8c0cd40a1a6d1693f7000e7ad8886b5dd3e9675c6e30d34095c24a98a","first_computed_at":"2026-07-05T09:13:08.493607Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:13:08.493607Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KdQB7a5YOE7h22E2jFuG8F17MM2jL5NJKM1i/hL5SobPhZ6oOxC6nMgwkNiPb758II/7gcbTYNeF6eldp4RTBw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:13:08.494171Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.17972","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:21c695aaa6b3f1d014651d16a13c9acdda1d2c53a03cf82b578675c15a06c85c","sha256:6fc73ee7eab102e7df726f3bc2da3fabe2a0af243a2527f548efc76ff3760b49"],"state_sha256":"457570d64298068b6125244b0a6aae65004c451120c94e4d777b2253f62f25b4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KXorMSlcohbJ8xxPXFJqvgo0VstKEV67Gnp3rYrT6d++w4yv0So5s/JFwySZPuHskUFLiQzgpZN7yzmoxCAEAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T14:08:56.154716Z","bundle_sha256":"6de1325240e52eff48fd0d1ba067a39586e56a8ef971aae789692528fb376520"}}