Paper Citation Record · LEDGER

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation

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

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

pith.paper-citation-record.v1
2505.14419 v1

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T15:39:20.362861Z

measured 39 of 39 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 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

39 of 39 outbound references displayed

verified exact1
verified fuzzy0
unresolved38
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8bdbdd77-ab79-4fef-ad92-f0230ac9b9d9 · outbound

This paper cites an unresolved cited work.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Unresolved cited work

Reference 1

Resolution: verified exact; doi, observed 2026-08-07T15:39:20.620092Z

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 58157a7a-196f-4952-a0fe-cc8c9c97bf12 · outbound

This paper cites DeepSpeed Inference: Enabling Efficient Inference of Transformer Models at Unprecedented Scale.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation DeepSpeed Inference: Enabling Efficient Inference of Transformer Models at Unprecedented Scale

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:16.021201Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23661ad3-865f-46a4-8d5f-1d471ef134ca · outbound

This paper cites Training Verifiers to Solve Math Word Problems.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Training Verifiers to Solve Math Word Problems

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:16.127143Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c21f57e-250e-4acb-a566-c31e18c93254 · outbound

This paper cites Process Reinforcement through Implicit Rewards.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Process Reinforcement through Implicit Rewards

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:16.353103Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 608e0ec1-e507-49b9-85d3-12ccf408443e · outbound

This paper cites The Llama 3 Herd of Models.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation The Llama 3 Herd of Models

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:16.504506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f67a7076-9d68-40a0-920b-580c6667ec10 · outbound

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

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:16.630641Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9e03965-52e5-419e-8245-f17a1224cb1e · outbound

This paper cites OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:16.771657Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c23b895a-696b-44da-9548-52d402e97743 · outbound

This paper cites Measuring Mathematical Problem Solving With the MATH Dataset.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Measuring Mathematical Problem Solving With the MATH Dataset

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:16.918988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b2d8094-f823-453c-91e9-61d5d6b707bb · outbound

This paper cites Qwen2.5-Coder Technical Report.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Qwen2.5-Coder Technical Report

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:17.084575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e55cd05-7eaa-4f38-9936-6fab2eaf0b14 · outbound

This paper cites OpenAI o1 System Card.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation OpenAI o1 System Card

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:17.235582Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 558a436b-7883-4f23-8d1c-99f72a9d1a48 · outbound

This paper cites Solving Quantitative Reasoning Problems with Language Models.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Solving Quantitative Reasoning Problems with Language Models

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:17.342085Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddc4663a-397a-40cf-ad81-a110dc7c8caf · outbound

This paper cites MARIO: MAth Reasoning with code Interpreter Output -- A Reproducible Pipeline.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation MARIO: MAth Reasoning with code Interpreter Output -- A Reproducible Pipeline

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:17.416919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2bfd0813-8ebc-4cb2-bcd7-c25918c24ab6 · outbound

This paper cites Let's Verify Step by Step.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Let's Verify Step by Step

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:17.512878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68c0a8dd-4635-4c3e-aac6-b25f520116af · outbound

This paper cites DeepSeek-V3 Technical Report.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation DeepSeek-V3 Technical Report

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:17.625466Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7200b91b-dfc9-4992-9364-aadc5822300c · outbound

This paper cites Decoupled Weight Decay Regularization.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Decoupled Weight Decay Regularization

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:17.708137Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05b214a7-d29e-4547-8fde-1b6edb5ec25c · outbound

This paper cites AutoPSV: Automated Process-Supervised Verifier.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation AutoPSV: Automated Process-Supervised Verifier

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:17.788709Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6bff7ee-01e8-448f-aad4-043c09284bec · outbound

This paper cites Improve Mathematical Reasoning in Language Models by Automated Process Supervision.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Improve Mathematical Reasoning in Language Models by Automated Process Supervision

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:17.867417Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bff25260-97a9-4a8b-994d-1b6105d91c7c · outbound

This paper cites an unresolved cited work.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:18.014674Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7491b98c-359c-42be-a52e-1da6cee32f58 · outbound

This paper cites an unresolved cited work.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:18.125954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9d12f6f-81ac-49d0-8533-dac6752028eb · outbound

This paper cites PyTorch: An Imperative Style, High-Performance Deep Learning Library.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation PyTorch: An Imperative Style, High-Performance Deep Learning Library

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:18.230609Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b797e3cb-84b5-476e-ad5d-0f64dda8771d · outbound

This paper cites DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:18.332165Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd91ebac-6a9a-4b6d-9eee-107ab3d4a443 · outbound

This paper cites Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:18.448412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab3cd7c2-c07f-497e-9079-8349a5f866e9 · outbound

This paper cites MathScale: Scaling Instruction Tuning for Mathematical Reasoning.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation MathScale: Scaling Instruction Tuning for Mathematical Reasoning

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:18.560842Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b10e4fc-30af-4132-9a8e-1a14d43fe9e0 · outbound

This paper cites Solving math word problems with process- and outcome-based feedback.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Solving math word problems with process- and outcome-based feedback

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:18.695140Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a17b00f-8b4e-4eae-b0e8-53b2f909800e · outbound

This paper cites Do NLP Models Know Numbers? Probing Numeracy in Embeddings.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Do NLP Models Know Numbers? Probing Numeracy in Embeddings

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:18.888014Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 506f9d41-4c07-4711-b492-5cbb3f2f018e · outbound

This paper cites Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:19.004031Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60d052a9-dcb5-45c1-9584-344c8260366a · outbound

This paper cites Sailing by the Stars: A Survey on Reward Models and Learning Strategies for Learning from Rewards.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Sailing by the Stars: A Survey on Reward Models and Learning Strategies for Learning from Rewards

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:19.201927Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50df0602-637b-495e-a425-fa6de2279bce · outbound

This paper cites an unresolved cited work.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:39:21.787337Z

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 adde7db5-ab95-4602-9232-8aedca8da5d9 · outbound

This paper cites an unresolved cited work.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:19.410826Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3070daa4-dcf3-4556-955e-33259d8daf33 · outbound

This paper cites an unresolved cited work.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:19.536249Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f5e1919-66bc-4e72-8a73-67257a4f9690 · outbound

This paper cites AntiLeakBench: Preventing Data Contamination by Automatically Constructing Benchmarks with Updated Real-World Knowledge.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation AntiLeakBench: Preventing Data Contamination by Automatically Constructing Benchmarks with Updated Real-World Knowledge

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:19.614396Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdcc0588-ac29-49f2-9755-58062abf597c · outbound

This paper cites an unresolved cited work.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:19.682796Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7be604d5-6c27-4b8f-a170-f9619d87565b · outbound

This paper cites Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:19.761705Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1e2bd89-95e1-4960-a808-d574518db6c9 · outbound

This paper cites OVM, Outcome-supervised Value Models for Planning in Mathematical Reasoning.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation OVM, Outcome-supervised Value Models for Planning in Mathematical Reasoning

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:19.866278Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7391e279-0ff7-4266-a33b-088200496c8f · outbound

This paper cites Free Process Rewards without Process Labels.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation Free Process Rewards without Process Labels

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:19.945738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e8d739c-fbb5-44f3-b475-12688aab8557 · outbound

This paper cites ProcessBench: Identifying Process Errors in Mathematical Reasoning.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation ProcessBench: Identifying Process Errors in Mathematical Reasoning

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:20.035879Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79ca6736-b26f-4251-abb0-084f7be6bcd2 · outbound

This paper cites SGLang: Efficient Execution of Structured Language Model Programs.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation SGLang: Efficient Execution of Structured Language Model Programs

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:20.143479Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cfd093be-638f-4cbb-839a-d2cdeefc15bf · outbound

This paper cites online" 'onlinestring :=.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation online" 'onlinestring :=

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:20.251704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac12a92f-7163-47a3-9ad4-8847b2affdde · outbound

This paper cites write newline.

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation write newline

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-07T15:39:20.362861Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.