{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:2FFNLPMK33ODFBWQM7YVM7WPRS","short_pith_number":"pith:2FFNLPMK","canonical_record":{"source":{"id":"2309.17452","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-09-29T17:59:38Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"f4d6ec5fcc22a055c583582bb3ff045f4110ceb8341c94bd066f2d625e806077","abstract_canon_sha256":"236232d89bae51cfc7c77e99ad555890e3702652d8d35c0e7233c9233ddcf942"},"schema_version":"1.0"},"canonical_sha256":"d14ad5bd8adedc3286d067f1567ecf8c9852130969b9f1d34e96670fa5f83dcd","source":{"kind":"arxiv","id":"2309.17452","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.17452","created_at":"2026-05-19T09:14:01Z"},{"alias_kind":"arxiv_version","alias_value":"2309.17452v4","created_at":"2026-05-19T09:14:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.17452","created_at":"2026-05-19T09:14:01Z"},{"alias_kind":"pith_short_12","alias_value":"2FFNLPMK33OD","created_at":"2026-05-19T09:14:01Z"},{"alias_kind":"pith_short_16","alias_value":"2FFNLPMK33ODFBWQ","created_at":"2026-05-19T09:14:01Z"},{"alias_kind":"pith_short_8","alias_value":"2FFNLPMK","created_at":"2026-05-19T09:14:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:2FFNLPMK33ODFBWQM7YVM7WPRS","target":"record","payload":{"canonical_record":{"source":{"id":"2309.17452","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-09-29T17:59:38Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"f4d6ec5fcc22a055c583582bb3ff045f4110ceb8341c94bd066f2d625e806077","abstract_canon_sha256":"236232d89bae51cfc7c77e99ad555890e3702652d8d35c0e7233c9233ddcf942"},"schema_version":"1.0"},"canonical_sha256":"d14ad5bd8adedc3286d067f1567ecf8c9852130969b9f1d34e96670fa5f83dcd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-19T09:14:01.805695Z","signature_b64":"06fraMtHzMq5OxY+MeY6hC9xhb2ZQ8oofnV+iih+PDUQTWlHZVTGpPIDPstbHMmqprcsYEMDfZb/9YJqUIpZAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d14ad5bd8adedc3286d067f1567ecf8c9852130969b9f1d34e96670fa5f83dcd","last_reissued_at":"2026-05-19T09:14:01.802187Z","signature_status":"signed_v1","first_computed_at":"2026-05-19T09:14:01.802187Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2309.17452","source_version":4,"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-19T09:14:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CsE4cJnUHY9TgHC3T2BCqZZ83rBH4mvXJNmX+QmfNNwB7AB2KxQHlHr3d0yJEqGOU0g/VGC//3OZOAqGDLxRBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T18:57:54.628492Z"},"content_sha256":"0b5c34d5860c739d886c6e8f55cdbc7120c392240ce579a23f91ec40c165ceb6","schema_version":"1.0","event_id":"sha256:0b5c34d5860c739d886c6e8f55cdbc7120c392240ce579a23f91ec40c165ceb6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:2FFNLPMK33ODFBWQM7YVM7WPRS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Minlie Huang, Nan Duan, Weizhu Chen, Yelong Shen, Yeyun Gong, Yujiu Yang, Zhibin Gou, Zhihong Shao","submitted_at":"2023-09-29T17:59:38Z","abstract_excerpt":"Large language models have made significant progress in various language tasks, yet they still struggle with complex mathematics. In this paper, we propose ToRA a series of Tool-integrated Reasoning Agents designed to solve challenging mathematical problems by seamlessly integrating natural language reasoning with the utilization of external tools (e.g., computation libraries and symbolic solvers), thereby amalgamating the analytical prowess of language and the computational efficiency of tools. To train ToRA, we curate interactive tool-use trajectories on mathematical datasets, apply imitatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.17452","kind":"arxiv","version":4},"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/2309.17452/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-05-19T09:14:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TSrYivGHI19e4KwzLZt7KQUv/kj559jVocgqAD4gMPQASPWqEc60VVRKtln1jvZURieJIIq9V/KdAJxWJq3XCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T18:57:54.628864Z"},"content_sha256":"eacf5042c2007ebcbbc49732b84b66a5ad0a27ca6ba4af63221939aaf5d353ae","schema_version":"1.0","event_id":"sha256:eacf5042c2007ebcbbc49732b84b66a5ad0a27ca6ba4af63221939aaf5d353ae"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2FFNLPMK33ODFBWQM7YVM7WPRS/bundle.json","state_url":"https://pith.science/pith/2FFNLPMK33ODFBWQM7YVM7WPRS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2FFNLPMK33ODFBWQM7YVM7WPRS/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-19T18:57:54Z","links":{"resolver":"https://pith.science/pith/2FFNLPMK33ODFBWQM7YVM7WPRS","bundle":"https://pith.science/pith/2FFNLPMK33ODFBWQM7YVM7WPRS/bundle.json","state":"https://pith.science/pith/2FFNLPMK33ODFBWQM7YVM7WPRS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2FFNLPMK33ODFBWQM7YVM7WPRS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:2FFNLPMK33ODFBWQM7YVM7WPRS","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":"236232d89bae51cfc7c77e99ad555890e3702652d8d35c0e7233c9233ddcf942","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-09-29T17:59:38Z","title_canon_sha256":"f4d6ec5fcc22a055c583582bb3ff045f4110ceb8341c94bd066f2d625e806077"},"schema_version":"1.0","source":{"id":"2309.17452","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.17452","created_at":"2026-05-19T09:14:01Z"},{"alias_kind":"arxiv_version","alias_value":"2309.17452v4","created_at":"2026-05-19T09:14:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.17452","created_at":"2026-05-19T09:14:01Z"},{"alias_kind":"pith_short_12","alias_value":"2FFNLPMK33OD","created_at":"2026-05-19T09:14:01Z"},{"alias_kind":"pith_short_16","alias_value":"2FFNLPMK33ODFBWQ","created_at":"2026-05-19T09:14:01Z"},{"alias_kind":"pith_short_8","alias_value":"2FFNLPMK","created_at":"2026-05-19T09:14:01Z"}],"graph_snapshots":[{"event_id":"sha256:eacf5042c2007ebcbbc49732b84b66a5ad0a27ca6ba4af63221939aaf5d353ae","target":"graph","created_at":"2026-05-19T09:14:01Z","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/2309.17452/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models have made significant progress in various language tasks, yet they still struggle with complex mathematics. In this paper, we propose ToRA a series of Tool-integrated Reasoning Agents designed to solve challenging mathematical problems by seamlessly integrating natural language reasoning with the utilization of external tools (e.g., computation libraries and symbolic solvers), thereby amalgamating the analytical prowess of language and the computational efficiency of tools. To train ToRA, we curate interactive tool-use trajectories on mathematical datasets, apply imitatio","authors_text":"Minlie Huang, Nan Duan, Weizhu Chen, Yelong Shen, Yeyun Gong, Yujiu Yang, Zhibin Gou, Zhihong Shao","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-09-29T17:59:38Z","title":"ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.17452","kind":"arxiv","version":4},"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:0b5c34d5860c739d886c6e8f55cdbc7120c392240ce579a23f91ec40c165ceb6","target":"record","created_at":"2026-05-19T09:14:01Z","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":"236232d89bae51cfc7c77e99ad555890e3702652d8d35c0e7233c9233ddcf942","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-09-29T17:59:38Z","title_canon_sha256":"f4d6ec5fcc22a055c583582bb3ff045f4110ceb8341c94bd066f2d625e806077"},"schema_version":"1.0","source":{"id":"2309.17452","kind":"arxiv","version":4}},"canonical_sha256":"d14ad5bd8adedc3286d067f1567ecf8c9852130969b9f1d34e96670fa5f83dcd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d14ad5bd8adedc3286d067f1567ecf8c9852130969b9f1d34e96670fa5f83dcd","first_computed_at":"2026-05-19T09:14:01.802187Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-19T09:14:01.802187Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"06fraMtHzMq5OxY+MeY6hC9xhb2ZQ8oofnV+iih+PDUQTWlHZVTGpPIDPstbHMmqprcsYEMDfZb/9YJqUIpZAw==","signature_status":"signed_v1","signed_at":"2026-05-19T09:14:01.805695Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.17452","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0b5c34d5860c739d886c6e8f55cdbc7120c392240ce579a23f91ec40c165ceb6","sha256:eacf5042c2007ebcbbc49732b84b66a5ad0a27ca6ba4af63221939aaf5d353ae"],"state_sha256":"54e13c62f212a612cafec7935ddebb54f6766c9ccff5eb69790943795aa8edd1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5fiqdNhinivQ9SeFNiA7tQWXPiGV391BSVJHe7uHeTA0315lLwqbWf5uW3Wk27ldE8rWQ0/8B1EN4TwmEr/fCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-19T18:57:54.630918Z","bundle_sha256":"5f39dcf78be9a22f2b1996047a85376bde558e9e1bc0b4718cfe07b9eec82305"}}