Paper Citation Record · LEDGER

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework

As of 9 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2506.01531.

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

pith.paper-citation-record.v1
2506.01531 v2

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T11:47:00.702971Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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

35 of 35 outbound references displayed

verified exact1
verified fuzzy23
unresolved11
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation fe1c6a54-ef87-4e47-ae19-8e3969df8e48 · outbound

This paper cites theorem,.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework theorem,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:48:04.369127Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 5bffc2b0-1067-4018-a7e6-263e5ed33ef7 · outbound

This paper cites where X is.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework where X is

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:48:04.342405Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation dc1422c7-8905-4bb8-b58b-3066b16f7b45 · outbound

This paper cites formula",.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework formula",

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:48:04.314742Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e5b1864c-d01d-4873-9f1a-9bdad8aa2212 · outbound

This paper cites What are the preconditions?.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework What are the preconditions?

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:51.262476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 00e78025-7152-48f8-b200-8688be57cbfa · outbound

This paper cites A Survey of Deep Learning for Mathematical Reasoning.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework A Survey of Deep Learning for Mathematical Reasoning

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T11:46:59.523795Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c627a46-ee1a-4a43-a408-ed5258bd3168 · outbound

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

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T11:46:59.558121Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd3d1be9-b215-4ea4-b4da-591a158f643f · outbound

This paper cites For each such formula, record its full content (in LaTeX format), its numbering (if any), and its name (if any).

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework For each such formula, record its full content (in LaTeX format), its numbering (if any), and its name (if any)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:48:04.277773Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a08fd007-24ca-4fa2-8f67-73b6bf3b81b5 · outbound

This paper cites an unresolved cited work.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:48:04.251772Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 723ca3ce-c5b6-4828-b29b-dc85b8bf45df · outbound

This paper cites --- Step 2: Based on the extracted preconditions, generate a complete question that clearly asks how to derive or prove the formula.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework --- Step 2: Based on the extracted preconditions, generate a complete question that clearly asks how to derive or prove the formula

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:52.197452Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 42e88853-2ba9-482b-9d60-16fb9087d975 · outbound

This paper cites Do not only reference its number.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework Do not only reference its number

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:52.083536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 57892674-49aa-4452-bee7-2a1213bd3337 · outbound

This paper cites What are the preconditions?.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework What are the preconditions?

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:52.005924Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 155deb1a-865d-482f-839d-afa14d63e19a · outbound

This paper cites formula,.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework formula,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:51.919671Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 58732eaa-0040-4ec1-ae8a-d630897dac12 · outbound

This paper cites --- Important Notes:.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework --- Important Notes:

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:51.859700Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9ae64ac1-7b60-4673-89e3-a05f84cadb7c · outbound

This paper cites an unresolved cited work.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:47:51.799018Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f3f4ef16-7dd7-40c6-a6ff-69b0fa4855e5 · outbound

This paper cites Make sure they align with the original mathematical meaning.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework Make sure they align with the original mathematical meaning

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:51.659985Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation af05298d-dfad-43e4-8c6e-defbbac88f11 · outbound

This paper cites - Subscripts and superscripts: Convert subscripts and superscripts correctly.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework - Subscripts and superscripts: Convert subscripts and superscripts correctly

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:51.487760Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3b44b932-d9e5-44c7-95b1-a91d1cd3d3d6 · outbound

This paper cites formula",.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework formula",

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:51.088730Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 811d226d-f429-45e7-950e-825ba4f535a4 · outbound

This paper cites expression.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework expression

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:50.938754Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 53ecd6b0-d29e-4a68-a64e-ffe1fb94a82b · outbound

This paper cites - If there are any references or citations, follow those as well.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework - If there are any references or citations, follow those as well

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:50.865498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 15b2bb96-0723-491a-8e1a-837b1dfd24de · outbound

This paper cites This may well be the answer to the question.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework This may well be the answer to the question

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:50.762074Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 5be796aa-e42b-47b5-a849-8dd93a547d30 · outbound

This paper cites - If the paper does indeed contain content that can answer the question, extract the relevant content from the original text.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework - If the paper does indeed contain content that can answer the question, extract the relevant content from the original text

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:50.668278Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d3381950-28a7-4827-9670-0fe5a057e5d9 · outbound

This paper cites an unresolved cited work.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:47:50.586947Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4a3d06a0-87dc-4ee1-8422-743c08c5cf88 · outbound

This paper cites --- ### Output Requirements:.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework --- ### Output Requirements:

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:50.492961Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f5c34cbd-9c5c-4070-9343-a9e5652c0354 · outbound

This paper cites an unresolved cited work.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:47:50.408037Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 97d2e3f3-8928-4d54-b84e-9839fa79ad65 · outbound

This paper cites an unresolved cited work.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:47:50.310504Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d82b8e3e-319f-43ce-aa25-e4fdfb3ea4ad · outbound

This paper cites $$\\pi_{r}(y | x)=\\frac{1}{Z (x)} \\pi_{r e f}(y | x) \\exp (\\frac{1}{\\beta} r (x, y)), $$(4).

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework $$\\pi_{r}(y | x)=\\frac{1}{Z (x)} \\pi_{r e f}(y | x) \\exp (\\frac{1}{\\beta} r (x, y)), $$(4)

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:50.206417Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 01da026a-a6ee-4a02-a0fb-911ae7c4c4a6 · outbound

This paper cites - 1: Partially correct with significant flaws.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework - 1: Partially correct with significant flaws

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:50.078527Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f8c99f8a-83cb-4203-8b29-45a4663fc80c · outbound

This paper cites - 1: Moderately complete; some steps or justifications are missing.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework - 1: Moderately complete; some steps or justifications are missing

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:49.986777Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a22dc27f-9d2f-4d2d-8918-6326e05619c3 · outbound

This paper cites correctness.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework correctness

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:47:49.833255Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 5bc80ed9-58bb-41a3-8b4a-5d39ed95a108 · outbound

This paper cites an unresolved cited work.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework Unresolved cited work

Reference 2015

Resolution: unresolved; no resolver link, observed 2026-08-07T11:46:59.453119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed737cec-2708-46ba-86fd-336d26e91957 · outbound

This paper cites Training Verifiers to Solve Math Word Problems.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework Training Verifiers to Solve Math Word Problems

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-07T11:46:59.417903Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1d85491-aec0-4094-a166-626381f817e1 · outbound

This paper cites InInternational Conference on Learning Representations.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework InInternational Conference on Learning Representations

Reference 2022

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:48:04.403451Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 30ae2ad4-2b48-4ec0-b373-ad089ae18ed7 · outbound

This paper cites A Survey on Evaluation of Large Language Models.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework A Survey on Evaluation of Large Language Models

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-07T11:46:59.381909Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68be2d71-4036-439f-8d92-29501c1d58cf · outbound

This paper cites [https://huggingface.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework [https://huggingface

Reference 2024

Resolution: verified exact; raw_fallback, observed 2026-08-07T11:47:49.598609Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e575b303-7e7b-4da4-8efb-cfd1cc853d33 · outbound

This paper cites SmolLM2: When Smol Goes Big -- Data-Centric Training of a Small Language Model.

STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework SmolLM2: When Smol Goes Big -- Data-Centric Training of a Small Language Model

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-07T11:46:59.341494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.