Paper Citation Record · LEDGER

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving

As of 9 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 1 inbound Pith citation observation for arXiv:2502.04671.

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

pith.paper-citation-record.v1
2502.04671 v3

Coverage vector

measured 34 of 34 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-08T22:00:46.431245Z

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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-26T00:26:02.757706Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-04T16:39:57.361399Z

Reference resolution

34 of 34 outbound references displayed

verified exact4
verified fuzzy10
unresolved19
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 41243e74-0c9d-41f6-967f-9c29eab58dcf · outbound

This paper cites write newline.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving write newline

Reference 1

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ec0e339-c3d8-43cb-ab9d-32a51a60db24 · outbound

This paper cites Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4

Reference 2

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88bade77-60ef-4696-9e00-6b207969340a · outbound

This paper cites The Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq, pp.\ 271–277.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving The Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq, pp.\ 271–277

Reference 3

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da1e2124-c623-44a1-9300-e205b7e46be6 · outbound

This paper cites Graph2Tac: Online Representation Learning of Formal Math Concepts.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving Graph2Tac: Online Representation Learning of Formal Math Concepts

Reference 4

Resolution: verified exact; local_arxiv, observed 2026-08-08T22:01:17.782607Z

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 dbc88678-d52c-4ceb-ac41-5bc4041219ca · outbound

This paper cites F., and First, E.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving F., and First, E

Reference 5

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-08T22:01:17.766701Z

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 11207c5d-c293-4769-b392-a3e5cacea2df · outbound

This paper cites Evaluating Large Language Models Trained on Code.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving Evaluating Large Language Models Trained on Code

Reference 6

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5f0f855-a6e6-4b21-84bd-a92924e7be7d · outbound

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

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving The Lean theorem prover (system description)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:01:17.931522Z

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 f1b0dd96-bac3-4270-a6ec-f375d2e41746 · outbound

This paper cites ABEL : Sample efficient online reinforcement learning for neural theorem proving.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving ABEL : Sample efficient online reinforcement learning for neural theorem proving

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:01:17.921292Z

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 7a39b1e7-aeb1-4213-989a-d1c41dbadb08 · outbound

This paper cites Proof Artifact Co-training for Theorem Proving with Language Models.

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 1c6fad2b-214c-4f4f-ac98-0139ec9f2be4 · outbound

This paper cites The coq proof assistant a tutorial.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving The coq proof assistant a tutorial

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:01:17.910945Z

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 70a08e20-7dd7-485d-a802-7678fd0c902c · outbound

This paper cites Multilingual Mathematical Autoformalization.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving Multilingual Mathematical Autoformalization

Reference 11

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba3db516-c283-47bf-a4c2-490b89fe4d40 · outbound

This paper cites Coqpilot, a plugin for llm-based generation of proofs.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving Coqpilot, a plugin for llm-based generation of proofs

Reference 12

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-08T22:01:10.017263Z

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 bdd19f7e-45e7-4e64-821a-0f44de830ac5 · outbound

This paper cites Hypertree proof search for neural theorem proving.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving Hypertree proof search for neural theorem proving

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:01:17.900970Z

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 eb29d55f-30ac-45ab-b738-8262e1c91932 · outbound

This paper cites Formal verification of a realistic compiler.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving Formal verification of a realistic compiler

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:01:17.890544Z

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 dc8c34a9-e8ca-41bc-9951-f0caaccb5a84 · outbound

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

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving A Survey on Deep Learning for Theorem Proving

Reference 15

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57834414-2f16-4fb9-b1c4-50ebde644c61 · outbound

This paper cites G it H ub - math-comp/math-comp: M athematical C omponents --- github.com.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving G it H ub - math-comp/math-comp: M athematical C omponents --- github.com

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:01:17.881282Z

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 199be383-c008-4985-95eb-1e674079c86e · outbound

This paper cites The lean mathematical library.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving The lean mathematical library

Reference 17

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-08T22:01:05.294350Z

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 07c509cb-efd4-4936-9ab6-ea65f1d0ce86 · outbound

This paper cites I., et al.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving I., et al

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:01:17.871204Z

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 475b3688-7c35-4482-b788-9b0283b53a24 · outbound

This paper cites an unresolved cited work.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-08T22:01:17.861876Z

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 80ef6e97-0897-4f0a-8ca0-63b87e86c755 · outbound

This paper cites Generative Language Modeling for Automated Theorem Proving.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving Generative Language Modeling for Automated Theorem Proving

Reference 20

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de87652e-1ddf-4e04-9df9-e5d2a1b3dc1e · outbound

This paper cites Generating correctness proofs with neural networks.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving Generating correctness proofs with neural networks

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:01:17.851646Z

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 8ca1f596-25df-47e3-ad28-8edc4224c23a · outbound

This paper cites Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean

Reference 22

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ce489a8-a3d3-4cc5-973c-046a9bdf6f6a · outbound

This paper cites An in-context learning agent for formal theorem-proving.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving An in-context learning agent for formal theorem-proving

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:01:17.840458Z

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 85455684-eeac-4edf-bbd2-abed94d25ea1 · outbound

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

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 24

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07cefce8-2ac9-4be2-8a0a-1f8106930ce8 · outbound

This paper cites an unresolved cited work.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-08T22:01:17.830193Z

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 4e08b31d-c564-44e5-b14b-92487cecf940 · outbound

This paper cites LLMSTEP: LLM proofstep suggestions in Lean.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving LLMSTEP: LLM proofstep suggestions in Lean

Reference 26

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4fcccf4-dd1e-4d19-a4d9-bb830236b3ee · outbound

This paper cites and Deng, J.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving and Deng, J

Reference 27

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83de4696-97d1-4744-860b-9c05d394b9af · outbound

This paper cites LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Reference 28

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a07b55fa-943e-4db4-be03-cbfb2978abf3 · outbound

This paper cites Formal Mathematical Reasoning: A New Frontier in AI.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving Formal Mathematical Reasoning: A New Frontier in AI

Reference 29

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71895f3d-8296-4e5f-b1f7-b87d9ccec859 · outbound

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

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

Reference 30

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62d83f89-5610-4e87-a587-a82ee4a9421f · outbound

This paper cites Neural theorem proving toolkit, 2023.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving Neural theorem proving toolkit, 2023

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:01:17.814246Z

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 db6333dc-20ef-4d16-a865-24d774c1f74a · outbound

This paper cites @esa (Ref.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving @esa (Ref

Reference 32

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55a2946c-eb73-47c8-b3ff-446ebbe74de6 · outbound

This paper cites an unresolved cited work.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving Unresolved cited work

Reference 33

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c51d41fb-690f-42bc-8dbf-7243c4568045 · outbound

This paper cites output.w18.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving output.w18

Reference 34

Resolution: malformed identifier; arxiv_id_nonexistent, observed 2026-08-08T22:00:51.258240Z

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.

Pith citing papers

Observation b17a48cc-bdab-4a99-85d9-f53c7e6c0cad · inbound

AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities cites this paper.

AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-07-04T16:39:57.362751Z

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.