{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:IARYJM3FTNA7SZ5OUKCVJQBAF2","short_pith_number":"pith:IARYJM3F","schema_version":"1.0","canonical_sha256":"402384b3659b41f967aea28554c0202e8c583d2953ce630b0ea0cec9a97ed22b","source":{"kind":"arxiv","id":"2402.06332","version":2},"attestation_state":"computed","paper":{"title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Dahua Lin, Fengzhe Zhou, Hang Yan, Hongwei Liu, Huaiyuan Ying, Jiawei Hong, Jiayu Wang, Kai Chen, Kuikun Liu, Linyang Li, Shuaibin Li, Shuo Zhang, Songyang Zhang, Wenwei Zhang, Xipeng Qiu, Yichuan Ma, Yudong Wang, Yunfan Shao, Zhaoye Fei, Zhejian Zhou, Zijian Wu, Ziyi Wang","submitted_at":"2024-02-09T11:22:08Z","abstract_excerpt":"The math abilities of large language models can represent their abstract reasoning ability. In this paper, we introduce and open-source our math reasoning LLMs InternLM-Math which is continue pre-trained from InternLM2. We unify chain-of-thought reasoning, reward modeling, formal reasoning, data augmentation, and code interpreter in a unified seq2seq format and supervise our model to be a versatile math reasoner, verifier, prover, and augmenter. These abilities can be used to develop the next math LLMs or self-iteration. InternLM-Math obtains open-sourced state-of-the-art performance under the"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2402.06332","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2024-02-09T11:22:08Z","cross_cats_sorted":[],"title_canon_sha256":"9ec0648c88c1ff3d9947fd16a1432aa62026df8ef3d6b48f48cb20e19535588f","abstract_canon_sha256":"283c58b2e98334fbe2637d2c41a4d7bac922dcde8162915792579c0155f95c86"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:22:37.150198Z","signature_b64":"SFTzAlzBcoExc0kYzCgyyHefuADweU7wvXSKoWjIimWe10tv+nERHkyvn4zkT2B/Ghj5xlyVykjX1CggGPUmAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"402384b3659b41f967aea28554c0202e8c583d2953ce630b0ea0cec9a97ed22b","last_reissued_at":"2026-07-05T08:22:37.149661Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:22:37.149661Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Dahua Lin, Fengzhe Zhou, Hang Yan, Hongwei Liu, Huaiyuan Ying, Jiawei Hong, Jiayu Wang, Kai Chen, Kuikun Liu, Linyang Li, Shuaibin Li, Shuo Zhang, Songyang Zhang, Wenwei Zhang, Xipeng Qiu, Yichuan Ma, Yudong Wang, Yunfan Shao, Zhaoye Fei, Zhejian Zhou, Zijian Wu, Ziyi Wang","submitted_at":"2024-02-09T11:22:08Z","abstract_excerpt":"The math abilities of large language models can represent their abstract reasoning ability. In this paper, we introduce and open-source our math reasoning LLMs InternLM-Math which is continue pre-trained from InternLM2. We unify chain-of-thought reasoning, reward modeling, formal reasoning, data augmentation, and code interpreter in a unified seq2seq format and supervise our model to be a versatile math reasoner, verifier, prover, and augmenter. These abilities can be used to develop the next math LLMs or self-iteration. InternLM-Math obtains open-sourced state-of-the-art performance under the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.06332","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/2402.06332/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2402.06332","created_at":"2026-07-05T08:22:37.149723+00:00"},{"alias_kind":"arxiv_version","alias_value":"2402.06332v2","created_at":"2026-07-05T08:22:37.149723+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.06332","created_at":"2026-07-05T08:22:37.149723+00:00"},{"alias_kind":"pith_short_12","alias_value":"IARYJM3FTNA7","created_at":"2026-07-05T08:22:37.149723+00:00"},{"alias_kind":"pith_short_16","alias_value":"IARYJM3FTNA7SZ5O","created_at":"2026-07-05T08:22:37.149723+00:00"},{"alias_kind":"pith_short_8","alias_value":"IARYJM3F","created_at":"2026-07-05T08:22:37.149723+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":14,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2607.07779","citing_title":"From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier","ref_index":281,"is_internal_anchor":true},{"citing_arxiv_id":"2606.08728","citing_title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","ref_index":164,"is_internal_anchor":false},{"citing_arxiv_id":"2606.11470","citing_title":"The Periodic Table of LLM Reasoning: A Structured Survey of Reasoning Paradigms, Methods, and Failure Modes","ref_index":297,"is_internal_anchor":false},{"citing_arxiv_id":"2502.02871","citing_title":"Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning","ref_index":236,"is_internal_anchor":false},{"citing_arxiv_id":"2506.06856","citing_title":"Vision-EKIPL: External Knowledge-Infused Policy Learning for Visual Reasoning","ref_index":62,"is_internal_anchor":false},{"citing_arxiv_id":"2502.10248","citing_title":"Step-Video-T2V Technical Report: The Practice, Challenges, and Future of Video Foundation Model","ref_index":95,"is_internal_anchor":false},{"citing_arxiv_id":"2406.18629","citing_title":"Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs","ref_index":30,"is_internal_anchor":false},{"citing_arxiv_id":"2601.13209","citing_title":"AI for Mathematics: Progress, Challenges, and Prospects","ref_index":166,"is_internal_anchor":false},{"citing_arxiv_id":"2602.07605","citing_title":"Fine-R1: Make Multi-modal LLMs Excel in Fine-Grained Visual Recognition by Chain-of-Thought Reasoning","ref_index":31,"is_internal_anchor":false},{"citing_arxiv_id":"2409.18839","citing_title":"MinerU: An Open-Source Solution for Precise Document Content Extraction","ref_index":41,"is_internal_anchor":false},{"citing_arxiv_id":"2603.03197","citing_title":"Specificity-aware reinforcement learning for fine-grained open-world classification","ref_index":54,"is_internal_anchor":false},{"citing_arxiv_id":"2410.07985","citing_title":"Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models","ref_index":76,"is_internal_anchor":false},{"citing_arxiv_id":"2503.01785","citing_title":"Visual-RFT: Visual Reinforcement Fine-Tuning","ref_index":41,"is_internal_anchor":false},{"citing_arxiv_id":"2605.11974","citing_title":"Towards Order Fairness: Mitigating LLMs Order Sensitivity through Dual Group Advantage Optimization","ref_index":34,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/IARYJM3FTNA7SZ5OUKCVJQBAF2","json":"https://pith.science/pith/IARYJM3FTNA7SZ5OUKCVJQBAF2.json","graph_json":"https://pith.science/api/pith-number/IARYJM3FTNA7SZ5OUKCVJQBAF2/graph.json","events_json":"https://pith.science/api/pith-number/IARYJM3FTNA7SZ5OUKCVJQBAF2/events.json","paper":"https://pith.science/paper/IARYJM3F"},"agent_actions":{"view_html":"https://pith.science/pith/IARYJM3FTNA7SZ5OUKCVJQBAF2","download_json":"https://pith.science/pith/IARYJM3FTNA7SZ5OUKCVJQBAF2.json","view_paper":"https://pith.science/paper/IARYJM3F","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2402.06332&json=true","fetch_graph":"https://pith.science/api/pith-number/IARYJM3FTNA7SZ5OUKCVJQBAF2/graph.json","fetch_events":"https://pith.science/api/pith-number/IARYJM3FTNA7SZ5OUKCVJQBAF2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IARYJM3FTNA7SZ5OUKCVJQBAF2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IARYJM3FTNA7SZ5OUKCVJQBAF2/action/storage_attestation","attest_author":"https://pith.science/pith/IARYJM3FTNA7SZ5OUKCVJQBAF2/action/author_attestation","sign_citation":"https://pith.science/pith/IARYJM3FTNA7SZ5OUKCVJQBAF2/action/citation_signature","submit_replication":"https://pith.science/pith/IARYJM3FTNA7SZ5OUKCVJQBAF2/action/replication_record"}},"created_at":"2026-07-05T08:22:37.149723+00:00","updated_at":"2026-07-05T08:22:37.149723+00:00"}