Paper Citation Record · LEDGER

InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 26 inbound Pith citation observations for arXiv:2402.06332.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2402.06332 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 26 of 26 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 26 of 26 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T15:42:56.327732Z

measured 1 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

3
pith, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 26791200-3458-4d05-8142-c370e8dc9306 · inbound

Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs cites this paper.

Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 30

Resolution: verified exact; arxiv_id, observed 2026-05-18T23:58:29.220895Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ddddcd9e-3a4f-4f00-873a-4c1f2970e75d · inbound

MinerU: An Open-Source Solution for Precise Document Content Extraction cites this paper.

MinerU: An Open-Source Solution for Precise Document Content Extraction InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 41

Resolution: verified exact; arxiv_id, observed 2026-05-16T04:00:25.772292Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ee60e291-cb29-4f52-9319-9e737ce448b5 · inbound

Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models cites this paper.

Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 76

Resolution: verified exact; arxiv_id, observed 2026-05-15T09:09:15.075148Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation dc2490b1-4d1f-4186-92b1-fd9261c203af · inbound

Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning cites this paper.

Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 236

Resolution: verified exact; arxiv_id, observed 2026-05-23T04:32:33.040305Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3179ab27-421d-4ecb-b699-ce7525ad7db8 · inbound

Step-Video-T2V Technical Report: The Practice, Challenges, and Future of Video Foundation Model cites this paper.

Step-Video-T2V Technical Report: The Practice, Challenges, and Future of Video Foundation Model InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 95

Resolution: metadata mismatch; arxiv_id, observed 2026-05-19T08:02:23.699532Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1fff47fe-0f09-4434-ba09-28a559808675 · inbound

Visual-RFT: Visual Reinforcement Fine-Tuning cites this paper.

Visual-RFT: Visual Reinforcement Fine-Tuning InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 41

Resolution: verified exact; arxiv_id, observed 2026-05-13T22:16:16.602263Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b2bd8e48-5038-4bb4-8688-74ffdd30d9ee · inbound

UniVG-R1: Reasoning Guided Universal Visual Grounding with Reinforcement Learning cites this paper.

UniVG-R1: Reasoning Guided Universal Visual Grounding with Reinforcement Learning InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:56.327732Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f556ed6-553e-4913-a741-6da847dc2fae · inbound

Formally Solving Answer-Construction Problems in Lean cites this paper.

Formally Solving Answer-Construction Problems in Lean InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-07T14:34:10.129039Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7320371f-1ce9-4e52-bbd3-073523d26039 · inbound

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification cites this paper.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.491464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67203c0b-0006-4314-938b-d8c5cfc2a741 · inbound

Vision-EKIPL: External Knowledge-Infused Policy Learning for Visual Reasoning cites this paper.

Vision-EKIPL: External Knowledge-Infused Policy Learning for Visual Reasoning InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 62

Resolution: verified exact; arxiv_id, observed 2026-05-19T10:37:14.957084Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3a09f54a-e450-414c-813e-c26962a29233 · inbound

LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving cites this paper.

LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:28.984795Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8084ff0b-4e90-42fa-bc50-6cd0ad92309c · inbound

Unleashing Embodied Task Planning Ability in LLMs via Reinforcement Learning cites this paper.

Unleashing Embodied Task Planning Ability in LLMs via Reinforcement Learning InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-06T21:55:05.725140Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6fe08ab8-fc13-47ed-b878-c6201a15a37e · inbound

VRAgent-R1: Boosting Video Recommendation with MLLM-based Agents via Reinforcement Learning cites this paper.

VRAgent-R1: Boosting Video Recommendation with MLLM-based Agents via Reinforcement Learning InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-06T20:29:42.699262Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b815c0df-cafb-441a-a788-849f4a226428 · inbound

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization cites this paper.

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T18:47:46.421075Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73fd3fcb-0102-47fa-85a7-b26249943763 · inbound

LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4 cites this paper.

LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4 InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-06T15:54:13.169692Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f419b567-6dd0-45d1-8a9e-d44fabd8a5df · inbound

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation cites this paper.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-05T22:28:12.168349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a75bf5de-78c6-4ddd-aca1-23ea873aedad · inbound

AI for Mathematics: Progress, Challenges, and Prospects cites this paper.

AI for Mathematics: Progress, Challenges, and Prospects InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 166

Resolution: verified exact; arxiv_id, observed 2026-05-16T13:27:55.678773Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3ba621d3-a697-42af-9028-b59b294f5663 · inbound

A Survey on Evaluating Quality and Trustworthiness in LLM-Generated Data cites this paper.

A Survey on Evaluating Quality and Trustworthiness in LLM-Generated Data InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 255

Resolution: unresolved; no resolver link, observed 2026-08-03T08:15:36.327207Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6801dfe7-1f4b-47aa-8ec3-35124fb1753f · inbound

Fine-R1: Make Multi-modal LLMs Excel in Fine-Grained Visual Recognition by Chain-of-Thought Reasoning cites this paper.

Fine-R1: Make Multi-modal LLMs Excel in Fine-Grained Visual Recognition by Chain-of-Thought Reasoning InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 31

Resolution: verified exact; arxiv_id, observed 2026-05-16T06:17:26.770283Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a7075566-4fad-4298-b2c9-3d7805c2f769 · inbound

Specificity-aware reinforcement learning for fine-grained open-world classification cites this paper.

Specificity-aware reinforcement learning for fine-grained open-world classification InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 54

Resolution: verified exact; arxiv_id, observed 2026-05-15T16:46:17.895184Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 9076d9d2-869e-42e8-baf6-73e554382b6c · inbound

Towards Order Fairness: Mitigating LLMs Order Sensitivity through Dual Group Advantage Optimization cites this paper.

Towards Order Fairness: Mitigating LLMs Order Sensitivity through Dual Group Advantage Optimization InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 34

Resolution: metadata mismatch; arxiv_id, observed 2026-05-13T07:37:29.887905Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2015c34d-04b1-4738-b7ba-777759f95e4f · inbound

Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery cites this paper.

Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 164

Resolution: verified exact; arxiv_id, observed 2026-07-02T22:47:26.035682Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 91f5a4e5-51bf-4dc1-950a-da38e4e23a94 · inbound

Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery cites this paper.

Reference 164

Resolution: unresolved; no resolver link, observed 2026-08-02T12:05:18.006219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e965bbc-aa7b-437d-996a-2a50e78b9713 · inbound

The Periodic Table of LLM Reasoning: A Structured Survey of Reasoning Paradigms, Methods, and Failure Modes cites this paper.

The Periodic Table of LLM Reasoning: A Structured Survey of Reasoning Paradigms, Methods, and Failure Modes InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 297

Resolution: verified exact; arxiv_id, observed 2026-06-27T13:00:56.015923Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 99850582-ed2a-4014-b471-fb9d8c56f7d1 · inbound

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier cites this paper.

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 281

Resolution: verified exact; local_arxiv, observed 2026-07-10T18:17:33.825270Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation dc713119-e135-4970-ab3f-cdd325490a1e · inbound

SocietyBench: Forecasting Counterfactual Social-World Evolution cites this paper.

SocietyBench: Forecasting Counterfactual Social-World Evolution InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-05T04:17:18.584230Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.