Paper Citation Record · LEDGER

FMC: Formalization of Natural Language Mathematical Competition Problems

As of 10 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2507.11275.

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

pith.paper-citation-record.v1
2507.11275 v1

Coverage vector

measured 12 of 12 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T17:17:14.635399Z

measured 12 of 12 standing notices

One-hop event checks from named stored sources.

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

12 of 12 outbound references displayed

verified exact0
verified fuzzy2
unresolved10
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c85501a4-f4a4-443a-97be-6d73a93b67db · outbound

This paper cites an unresolved cited work.

FMC: Formalization of Natural Language Mathematical Competition Problems Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:17:15.280927Z

Source-reported events for the cited work

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

Observation 476d7ab8-3f0a-4a1a-8ba6-32788bf25cb3 · outbound

This paper cites an unresolved cited work.

FMC: Formalization of Natural Language Mathematical Competition Problems Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:17:15.420069Z

Source-reported events for the cited work

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

Observation 0b1f8176-861e-402b-bc2f-1d5dad7464da · outbound

This paper cites an unresolved cited work.

FMC: Formalization of Natural Language Mathematical Competition Problems Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:17:15.080186Z

Source-reported events for the cited work

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

Observation edb515c3-8ea6-4ad8-922f-4d5ac0c329fb · outbound

This paper cites an unresolved cited work.

FMC: Formalization of Natural Language Mathematical Competition Problems Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:17:14.964831Z

Source-reported events for the cited work

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

Observation 1d886610-7e7b-4efa-a96f-50e534c83c46 · outbound

This paper cites Analysis.

FMC: Formalization of Natural Language Mathematical Competition Problems Analysis

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:17:14.856270Z

Source-reported events for the cited work

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

Observation 2e591df7-2cf8-45aa-8b4f-1f96909618d2 · outbound

This paper cites FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models.

FMC: Formalization of Natural Language Mathematical Competition Problems FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:14.330509Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fd36baf-1353-42c9-934d-b4e6cba8fc9b · outbound

This paper cites an unresolved cited work.

FMC: Formalization of Natural Language Mathematical Competition Problems Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:17:15.190306Z

Source-reported events for the cited work

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

Observation 6d3ead40-8e3e-4eb7-a243-c744bd2efb78 · outbound

This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.

FMC: Formalization of Natural Language Mathematical Competition Problems DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

Reference 388

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:14.073277Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32c37c79-a739-4ea2-9f14-b1641c4bc42e · outbound

This paper cites PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.

FMC: Formalization of Natural Language Mathematical Competition Problems PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 1993

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:14.287824Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb7eb88a-59f1-4a5b-816f-2883117582dc · outbound

This paper cites Training Verifiers to Solve Math Word Problems.

FMC: Formalization of Natural Language Mathematical Competition Problems Training Verifiers to Solve Math Word Problems

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:14.006344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad790a34-8675-4c23-9cbc-f669560c68b7 · outbound

This paper cites org/CorpusID:263609132.

FMC: Formalization of Natural Language Mathematical Competition Problems org/CorpusID:263609132

Reference 2023

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:17:15.580223Z

Source-reported events for the cited work

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

Observation c92c4418-92c6-4830-a5f2-dfa5c6e3d6c1 · outbound

This paper cites A Survey on Optical Character Recognition System.

FMC: Formalization of Natural Language Mathematical Competition Problems A Survey on Optical Character Recognition System

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:14.258068Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.