Paper Citation Record · LEDGER

Proof Artifact Co-training for Theorem Proving with Language Models

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

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

pith.paper-citation-record.v1
2102.06203 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 18 of 18 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00

measured 18 of 18 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-11T15:00:20.015137Z

measured 1 of 1 external citation measurements

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

Source: pith, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

6
pith, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 22b0787c-4700-4f4e-b20e-32659a8656b1 · inbound

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

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics Proof Artifact Co-training for Theorem Proving with Language Models

Reference 4

Resolution: metadata mismatch; arxiv_id, observed 2026-05-16T20:03:04.449813Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 2e264bf0-8c97-4c16-9798-39bc71059358 · inbound

Towards Scientific Discovery with Generative AI: Progress, Opportunities, and Challenges cites this paper.

Towards Scientific Discovery with Generative AI: Progress, Opportunities, and Challenges Proof Artifact Co-training for Theorem Proving with Language Models

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-11T15:00:20.015137Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a64539fd-97d9-4995-96ad-34bc2df6f121 · inbound

ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis cites this paper.

ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis Proof Artifact Co-training for Theorem Proving with Language Models

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-10T00:06:30.320287Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a39b1e7-aeb1-4213-989a-d1c41dbadb08 · inbound

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving cites this paper.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving Proof Artifact Co-training for Theorem Proving with Language Models

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-08T22:00:46.341019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e5e47a6-6f5f-4a53-9e12-2e768a8865e2 · inbound

Clarifying Before Reasoning: A Coq Prover with Structural Context cites this paper.

Clarifying Before Reasoning: A Coq Prover with Structural Context Proof Artifact Co-training for Theorem Proving with Language Models

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T20:31:25.406924Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a30fabea-82b8-48c7-a6e9-eff7dcc3820e · inbound

Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving cites this paper.

Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving Proof Artifact Co-training for Theorem Proving with Language Models

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-06T20:27:36.339984Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b7d673e-992c-4913-a156-fe8ec7543d7f · inbound

LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4 cites this paper.

LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4 Proof Artifact Co-training for Theorem Proving with Language Models

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-06T15:54:11.363351Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5bd1ca69-0150-4e46-ad3e-fb5d221c9ca3 · inbound

Solving Formal Math Problems by Decomposition and Iterative Reflection cites this paper.

Solving Formal Math Problems by Decomposition and Iterative Reflection Proof Artifact Co-training for Theorem Proving with Language Models

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T15:42:06.117326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d37634bd-c2d9-4c7f-ae1e-b858f07c514f · inbound

Aristotle: IMO-level Automated Theorem Proving cites this paper.

Aristotle: IMO-level Automated Theorem Proving Proof Artifact Co-training for Theorem Proving with Language Models

Reference 15

Resolution: metadata mismatch; arxiv_id, observed 2026-05-15T08:51:37.923051Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation eb98df2c-71e2-4474-91d0-04839180c562 · inbound

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning cites this paper.

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning Proof Artifact Co-training for Theorem Proving with Language Models

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-03T06:20:28.012363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad2ad671-8ee0-43a9-b480-ab1093c27f10 · inbound

Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving cites this paper.

Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving Proof Artifact Co-training for Theorem Proving with Language Models

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-05-13T06:12:22.919206Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a6c884cb-10f7-4b61-a58d-1764a8d4b0e8 · inbound

OProver: A Unified Framework for Agentic Formal Theorem Proving cites this paper.

OProver: A Unified Framework for Agentic Formal Theorem Proving Proof Artifact Co-training for Theorem Proving with Language Models

Reference 147

Resolution: verified exact; arxiv_id, observed 2026-05-20T14:48:23.525719Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 0f1ec9fe-02ec-4cc3-8417-ae889ab8e9c1 · inbound

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic cites this paper.

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic Proof Artifact Co-training for Theorem Proving with Language Models

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-05-25T06:15:23.796206Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation eef51392-14cb-4bf8-85ff-6b08ae43302a · inbound

Automating Formal Verification with Agent-Guided Tree Search cites this paper.

Automating Formal Verification with Agent-Guided Tree Search Proof Artifact Co-training for Theorem Proving with Language Models

Reference 79

Resolution: verified exact; arxiv_id, observed 2026-06-29T15:03:31.285818Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b51b4a5d-ea0d-490f-9399-2107e790c908 · inbound

Automating Formal Verification with Reinforcement Learning and Recursive Inference cites this paper.

Automating Formal Verification with Reinforcement Learning and Recursive Inference Proof Artifact Co-training for Theorem Proving with Language Models

Reference 48

Resolution: metadata mismatch; arxiv_id, observed 2026-06-28T23:52:49.198486Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation da14bd74-8343-4942-9f54-926267e2a56d · inbound

LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization cites this paper.

LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization Proof Artifact Co-training for Theorem Proving with Language Models

Reference 15

Resolution: metadata mismatch; arxiv_id, observed 2026-07-02T08:36:48.744588Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 4720456d-1fd0-4990-9d9e-56d1e6e909df · inbound

Geometric Measurements of the Axiom of Choice in Neural Proof Embeddings cites this paper.

Geometric Measurements of the Axiom of Choice in Neural Proof Embeddings Proof Artifact Co-training for Theorem Proving with Language Models

Reference 2

Resolution: metadata mismatch; arxiv_id, observed 2026-07-01T16:15:49.852169Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation d1886ede-ffca-4fb5-a564-010cece99689 · inbound

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier cites this paper.

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier Proof Artifact Co-training for Theorem Proving with Language Models

Reference 93

Resolution: verified exact; local_arxiv, observed 2026-07-10T18:17:33.700862Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.