Paper Citation Record · LEDGER

StepProof: Step-by-step verification of natural language mathematical proofs

As of 15 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 1 inbound Pith citation observation for arXiv:2506.10558.

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

pith.paper-citation-record.v1
2506.10558 v2

Coverage vector

measured 37 of 37 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T04:29:44.327508Z

measured 38 of 38 standing notices

One-hop event checks from named stored sources.

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

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T05:40:01.827929Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

37 of 37 outbound references displayed

verified exact3
verified fuzzy12
unresolved22
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a4e4956b-b7d4-4884-9293-81fcf41d2657 · outbound

This paper cites History of interactive theorem proving.

StepProof: Step-by-step verification of natural language mathematical proofs History of interactive theorem proving

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:29:48.505467Z

Source-reported events for the cited work

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

Observation 9938a94f-8d89-4423-ace6-8fb181cd5650 · outbound

This paper cites A survey of interactive theorem proving.

StepProof: Step-by-step verification of natural language mathematical proofs A survey of interactive theorem proving

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:29:48.297050Z

Source-reported events for the cited work

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

Observation 3eaf6296-fbf8-41c9-b2d5-6e10e01a7de6 · outbound

This paper cites A Survey on Theorem Provers in Formal Methods.

StepProof: Step-by-step verification of natural language mathematical proofs A Survey on Theorem Provers in Formal Methods

Reference 3

Resolution: verified exact; local_arxiv, observed 2026-08-07T04:29:45.340968Z

Source-reported events for the cited work

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

Observation 28dedfe2-01a3-4b9a-9932-9f895f60d142 · outbound

This paper cites A Survey of Large Language Models.

StepProof: Step-by-step verification of natural language mathematical proofs A Survey of Large Language Models

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:39.266472Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a0f0bbf-c070-4643-8fd2-479cd51973a1 · outbound

This paper cites Pre-train, prompt, and predict: A systematic survey of prompting methods in natural language processing.

StepProof: Step-by-step verification of natural language mathematical proofs Pre-train, prompt, and predict: A systematic survey of prompting methods in natural language processing

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:29:48.055157Z

Source-reported events for the cited work

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

Observation 612e2a3b-2f0e-4ad7-bcc8-f283ece5a08c · outbound

This paper cites Generalizing from a few examples: A survey on few-shot learning.

StepProof: Step-by-step verification of natural language mathematical proofs Generalizing from a few examples: A survey on few-shot learning

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:39.532894Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 114b28f8-9faf-4e73-9652-2c44b26837c7 · outbound

This paper cites GPT-4 Technical Report.

StepProof: Step-by-step verification of natural language mathematical proofs GPT-4 Technical Report

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:39.658638Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 898aff92-2a32-4279-8f9d-a423515e891f · outbound

This paper cites Survey of hallucination in natural language generation.

StepProof: Step-by-step verification of natural language mathematical proofs Survey of hallucination in natural language generation

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:39.770246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a23d382c-2d55-42df-9de1-e1a8988e3382 · outbound

This paper cites Large Language Models Cannot Self-Correct Reasoning Yet.

StepProof: Step-by-step verification of natural language mathematical proofs Large Language Models Cannot Self-Correct Reasoning Yet

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:39.947787Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32c7d1ec-d19b-4f36-967e-b5f21de60a56 · outbound

This paper cites A Survey on Deep Learning for Theorem Proving.

StepProof: Step-by-step verification of natural language mathematical proofs A Survey on Deep Learning for Theorem Proving

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:40.066926Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdffaf22-8f6b-4633-a362-436e16f99fd7 · outbound

This paper cites A survey on interactive theorem proving.

StepProof: Step-by-step verification of natural language mathematical proofs A survey on interactive theorem proving

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:29:47.784679Z

Source-reported events for the cited work

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

Observation 8671de5c-4728-4eba-8a9b-ad411668c4f7 · outbound

This paper cites A survey of automated theorem proving.

StepProof: Step-by-step verification of natural language mathematical proofs A survey of automated theorem proving

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:29:47.484422Z

Source-reported events for the cited work

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

Observation 7e030e64-f9f5-44e6-a8c2-e71af7ef1b92 · outbound

This paper cites Isabelle: A generic theorem prover.

StepProof: Step-by-step verification of natural language mathematical proofs Isabelle: A generic theorem prover

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:40.476573Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e07bc7b8-4f73-4425-ad50-fc7d40fc0dfb · outbound

This paper cites The coq proof assistant a tutorial.

StepProof: Step-by-step verification of natural language mathematical proofs The coq proof assistant a tutorial

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:29:47.195089Z

Source-reported events for the cited work

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

Observation a82bd82f-773a-49be-8964-dae94d483a1f · outbound

This paper cites The lean theorem prover (system description).

StepProof: Step-by-step verification of natural language mathematical proofs The lean theorem prover (system description)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:29:46.922757Z

Source-reported events for the cited work

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

Observation a2f5097d-b921-49f7-b256-0a34b04581f9 · outbound

This paper cites Comparison of Two Theorem Provers: Isabelle/HOL and Coq.

StepProof: Step-by-step verification of natural language mathematical proofs Comparison of Two Theorem Provers: Isabelle/HOL and Coq

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-08-07T04:29:44.973309Z

Source-reported events for the cited work

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

Observation a923cc8c-de07-463e-ba2a-cd86e154655e · outbound

This paper cites The Llama 3 Herd of Models.

StepProof: Step-by-step verification of natural language mathematical proofs The Llama 3 Herd of Models

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:40.903743Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3f8fa41-d970-4077-9468-5c49a4ec452c · outbound

This paper cites A Comprehensive Capability Analysis of GPT-3 and GPT-3.5 Series Models.

StepProof: Step-by-step verification of natural language mathematical proofs A Comprehensive Capability Analysis of GPT-3 and GPT-3.5 Series Models

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:41.010720Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37f789de-57ea-4368-a3c2-f8bbf89f28c3 · outbound

This paper cites Chatglm: A family of large language models from glm-130b to glm-4 all tools, 2024.

StepProof: Step-by-step verification of natural language mathematical proofs Chatglm: A family of large language models from glm-130b to glm-4 all tools, 2024

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:41.141837Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e0d78eb-656f-4ab4-8254-d99392e4d803 · outbound

This paper cites Do Large Language Models Understand Logic or Just Mimick Context?.

StepProof: Step-by-step verification of natural language mathematical proofs Do Large Language Models Understand Logic or Just Mimick Context?

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:41.237959Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24762c14-0475-4b2b-b180-0298dac30bd5 · outbound

This paper cites LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models.

StepProof: Step-by-step verification of natural language mathematical proofs LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:41.363509Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 817c7eb7-543e-40f3-a30b-12c2d4259015 · outbound

This paper cites Assessing the strengths and weaknesses of large language models.

StepProof: Step-by-step verification of natural language mathematical proofs Assessing the strengths and weaknesses of large language models

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:29:46.665451Z

Source-reported events for the cited work

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

Observation 7f9911b8-ff50-40e3-ac3e-5380bb2fd9e2 · outbound

This paper cites A survey on rag meeting llms: Towards retrieval-augmented large language models.

StepProof: Step-by-step verification of natural language mathematical proofs A survey on rag meeting llms: Towards retrieval-augmented large language models

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:41.595031Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c3e5cd2-2606-423c-9dcf-fa025c02086c · outbound

This paper cites Chain-of-thought prompting elicits reasoning in large language models.Advances in neural information processing systems, 35:24824–24837, 2022.

StepProof: Step-by-step verification of natural language mathematical proofs Chain-of-thought prompting elicits reasoning in large language models.Advances in neural information processing systems, 35:24824–24837, 2022

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:41.731293Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9484b2e8-01f0-47b1-9aa8-a074d7b30809 · outbound

This paper cites Decomposed Prompting: A Modular Approach for Solving Complex Tasks.

StepProof: Step-by-step verification of natural language mathematical proofs Decomposed Prompting: A Modular Approach for Solving Complex Tasks

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:41.846035Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 106c8051-eefe-4c63-9a10-fa1020a9df86 · outbound

This paper cites Relation extraction: Perspective from convolutional neural networks.

StepProof: Step-by-step verification of natural language mathematical proofs Relation extraction: Perspective from convolutional neural networks

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:29:46.369937Z

Source-reported events for the cited work

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

Observation cdf6610a-3389-4210-9eed-7f211d38ea97 · outbound

This paper cites Exploring Neural Models for Parsing Natural Language into First-Order Logic.

StepProof: Step-by-step verification of natural language mathematical proofs Exploring Neural Models for Parsing Natural Language into First-Order Logic

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:42.108781Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b137dc8-0ae0-4728-9402-f8fe0100f675 · outbound

This paper cites Parsing natural language into propositional and first-order logic with dual reinforcement learning.

StepProof: Step-by-step verification of natural language mathematical proofs Parsing natural language into propositional and first-order logic with dual reinforcement learning

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:29:46.101510Z

Source-reported events for the cited work

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

Observation 021e879c-f2d0-4c48-89be-aa5fc4e6f559 · outbound

This paper cites Exploration of neural machine translation in autoformalization of mathematics in mizar.

StepProof: Step-by-step verification of natural language mathematical proofs Exploration of neural machine translation in autoformalization of mathematics in mizar

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:29:45.844947Z

Source-reported events for the cited work

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

Observation b5a99230-bc96-4fe4-9c70-695a5eeaa37b · outbound

This paper cites Solving quantitative reasoning problems with language models, 2022.

StepProof: Step-by-step verification of natural language mathematical proofs Solving quantitative reasoning problems with language models, 2022

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:43.512775Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6abb32d-adc8-4f39-a87d-a28b6bcdf0c4 · outbound

This paper cites Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.

StepProof: Step-by-step verification of natural language mathematical proofs Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:43.631961Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39197d42-937a-4c6b-a105-276629058944 · outbound

This paper cites Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization.

StepProof: Step-by-step verification of natural language mathematical proofs Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:43.741667Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d5b99e8-5c14-4a34-bdd8-4a0f4264ef87 · outbound

This paper cites LEGO-Prover: Neural Theorem Proving with Growing Libraries.

StepProof: Step-by-step verification of natural language mathematical proofs LEGO-Prover: Neural Theorem Proving with Growing Libraries

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:43.837522Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b98ed609-4301-407f-954e-dbe98a7d29f1 · outbound

This paper cites Training Verifiers to Solve Math Word Problems.

StepProof: Step-by-step verification of natural language mathematical proofs Training Verifiers to Solve Math Word Problems

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:43.964008Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0bd8c2a-b75c-4798-a10d-f054b71f3663 · outbound

This paper cites Python client for Isabelle server.

StepProof: Step-by-step verification of natural language mathematical proofs Python client for Isabelle server

Reference 35

Resolution: verified exact; local_arxiv, observed 2026-08-07T04:29:44.563050Z

Source-reported events for the cited work

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

Observation 6e75f372-59a4-4118-af0e-3af0918ff091 · outbound

This paper cites Measuring mathematical problem solving with the math dataset.

StepProof: Step-by-step verification of natural language mathematical proofs Measuring mathematical problem solving with the math dataset

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-07T04:29:44.229446Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 051e4ff5-f2e2-40ba-be46-2ea77d576137 · outbound

This paper cites We know that 7−1 exists modulo 50 because 7 and 50 are relatively prime.

StepProof: Step-by-step verification of natural language mathematical proofs We know that 7−1 exists modulo 50 because 7 and 50 are relatively prime

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:29:45.591765Z

Source-reported events for the cited work

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

Pith citing papers

Observation 34072f5b-4427-4c65-a8f2-7d07815629ae · inbound

Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases cites this paper.

Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases StepProof: Step-by-step verification of natural language mathematical proofs

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-02T05:40:01.827929Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.