Paper Citation Record · LEDGER

NaturalProofs: Mathematical Theorem Proving in Natural Language

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

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

pith.paper-citation-record.v1
2104.01112 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

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

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T13:05:25.544101Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T20:10:07.118799Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation d06716e2-4dd9-4381-8673-c080bbd41005 · inbound

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics cites this paper.

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics NaturalProofs: Mathematical Theorem Proving in Natural Language

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-16T20:03:04.459617Z

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 1b80a8eb-dc37-4a35-b1f4-6f6b0ba24090 · inbound

Decomposing Elements of Problem Solving: What "Math" Does RL Teach? cites this paper.

Decomposing Elements of Problem Solving: What "Math" Does RL Teach? NaturalProofs: Mathematical Theorem Proving in Natural Language

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T13:05:25.544101Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c0acb54-0c4a-4575-a1c2-cde87f2e93f3 · inbound

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization cites this paper.

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization NaturalProofs: Mathematical Theorem Proving in Natural Language

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-06T19:14:19.930177Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6821d12-8248-4134-b5c3-65fcd8ddfaa8 · inbound

Integrating External Tools with Large Language Models to Improve Accuracy cites this paper.

Integrating External Tools with Large Language Models to Improve Accuracy NaturalProofs: Mathematical Theorem Proving in Natural Language

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T19:05:02.508255Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93a1edd2-e2a6-4bf8-88c7-75d62821539c · inbound

FormaRL: Enhancing Autoformalization with no Labeled Data cites this paper.

FormaRL: Enhancing Autoformalization with no Labeled Data NaturalProofs: Mathematical Theorem Proving in Natural Language

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-05T16:11:23.239508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3471c095-e371-43aa-8a02-01e23abc99d3 · inbound

Rethinking Wireless Communications through Formal Mathematical AI Reasoning cites this paper.

Rethinking Wireless Communications through Formal Mathematical AI Reasoning NaturalProofs: Mathematical Theorem Proving in Natural Language

Reference 87

Resolution: metadata mismatch; arxiv_id, observed 2026-05-12T00:11:16.536339Z

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 47879202-e249-464e-9c6b-4f31b0479449 · inbound

Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics cites this paper.

Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics NaturalProofs: Mathematical Theorem Proving in Natural Language

Reference 22

Resolution: metadata mismatch; arxiv_id, observed 2026-05-12T02:11:16.019547Z

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 f0ceaba1-97b6-4930-8d6e-8e4e55af6967 · inbound

Does My Embedding Reflect That $A = B$? Evaluating Mathematical Equivalence in Embedding Models cites this paper.

Does My Embedding Reflect That $A = B$? Evaluating Mathematical Equivalence in Embedding Models NaturalProofs: Mathematical Theorem Proving in Natural Language

Reference 13

Resolution: metadata mismatch; arxiv_id, observed 2026-07-04T11:29:51.099630Z

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 09da7f15-0868-4269-849a-a0e7bcf3ada9 · inbound

Does My Embedding Reflect That $A = B$? Evaluating Mathematical Equivalence in Embedding Models cites this paper.

Does My Embedding Reflect That $A = B$? Evaluating Mathematical Equivalence in Embedding Models NaturalProofs: Mathematical Theorem Proving in Natural Language

Reference 13

Resolution: metadata mismatch; arxiv_id, observed 2026-06-29T20:03:56.560937Z

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 80127a9f-f291-4dd0-8666-2b1713e65dcc · inbound

TheoremGraph: Bridging Formal and Informal Mathematics cites this paper.

TheoremGraph: Bridging Formal and Informal Mathematics NaturalProofs: Mathematical Theorem Proving in Natural Language

Reference 38

Resolution: verified exact; arxiv_id, observed 2026-07-04T20:10:07.120690Z

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 a725ec3e-c634-4d32-8732-c727d2dbc5e8 · inbound

AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification cites this paper.

AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification NaturalProofs: Mathematical Theorem Proving in Natural Language

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-14T02:43:21.225324Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.