Paper Citation Record · LEDGER

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques

As of 9 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2502.03321.

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

pith.paper-citation-record.v1
2502.03321 v3

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-09T05:12:15.776525Z

measured 33 of 33 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 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

33 of 33 outbound references displayed

verified exact2
verified fuzzy17
unresolved12
parse uncertain0
malformed identifier1
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f4229066-533a-4c83-ac47-edb7d6a4b5be · outbound

This paper cites GPT-4 Technical Report.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques GPT-4 Technical Report

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-09T05:12:15.618483Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b00c2208-8242-4de9-a384-1467e9832cb7 · outbound

This paper cites ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-09T05:12:15.623991Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9117da53-bc00-431d-83d7-d763b95893e5 · outbound

This paper cites Llemma: An Open Language Model For Mathematics.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques Llemma: An Open Language Model For Mathematics

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-09T05:12:15.629204Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0954fa02-8735-4cb9-8f81-1eb1d4d97e2b · outbound

This paper cites In: Conference on Neural Information Processing Systems, vol.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques In: Conference on Neural Information Processing Systems, vol

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T05:12:16.646037Z

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 2dc7bd97-3263-4ba2-b5de-3e808e544dcb · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques Evaluating Large Language Models Trained on Code

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-09T05:12:15.639616Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c9844d1-a252-4873-b55e-93f0fb5b3c82 · outbound

This paper cites Journal of Machine Learning Research 24(240), 1–113 (2023).

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques Journal of Machine Learning Research 24(240), 1–113 (2023)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T05:12:16.630669Z

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 adbea218-f336-40eb-b125-d2fc368a828d · outbound

This paper cites Nature 600, 70–74 (2021).

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques Nature 600, 70–74 (2021)

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-09T05:12:15.650254Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48d8aa01-5cf8-4b1f-aab8-353d5dc9bdd9 · outbound

This paper cites Communications of the ACM 22(5), 271–280 (1979) 18 S.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques Communications of the ACM 22(5), 271–280 (1979) 18 S

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T05:12:16.616400Z

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 3be9ec92-8048-47ec-af95-4d8b2f92b82f · outbound

This paper cites A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-09T05:12:15.659541Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ded05e4-c861-466b-801c-0ecd55f20ff6 · outbound

This paper cites ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-09T05:12:15.664787Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67514f72-27ca-405c-acde-8443ecfd9e8c · outbound

This paper cites In: International Conference on Learning Representations (2022).

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques In: International Conference on Learning Representations (2022)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T05:12:16.602181Z

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 72283790-501f-4f54-98ca-149258bd31c3 · outbound

This paper cites In: Conference on Neural Information Processing Systems (2021).

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques In: Conference on Neural Information Processing Systems (2021)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T05:12:16.588660Z

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 1586f301-c524-4af3-b074-bfd026c53dd4 · outbound

This paper cites Communications of the ACM 12(10), 576–580 (1969).

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques Communications of the ACM 12(10), 576–580 (1969)

Reference 13

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T05:12:16.303090Z

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 e4834cbd-821e-460b-8724-2c8f7de60af8 · outbound

This paper cites In: Conference on Neural Information Processing Sys- tems, vol.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques In: Conference on Neural Information Processing Sys- tems, vol

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T05:12:16.574640Z

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 3be0fbb5-c923-4591-85f1-3ea2c85974af · outbound

This paper cites In: International Conference on Learning Representations (2023).

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques In: International Conference on Learning Representations (2023)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T05:12:16.559411Z

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 e961c713-1360-4765-8e78-396a96ccdd84 · outbound

This paper cites In: Conference on Neural Information Processing Systems, vol.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques In: Conference on Neural Information Processing Systems, vol

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T05:12:16.544859Z

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 0530847a-9584-438d-853b-cd5250f92d49 · outbound

This paper cites In: International Conference on Certified Programs and Proofs, p.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques In: International Conference on Certified Programs and Proofs, p

Reference 17

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T05:12:16.118462Z

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 2b0732d9-cf1e-4685-8f7c-4faa6646d3dd · outbound

This paper cites Communications of the ACM 3(4), 184–195 (1960).

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques Communications of the ACM 3(4), 184–195 (1960)

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T05:12:16.529616Z

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 bdfcf2f7-d22a-4a15-ae54-fe094b32f0ec · outbound

This paper cites Elaboration in Dependent Type Theory.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques Elaboration in Dependent Type Theory

Reference 19

Resolution: metadata mismatch; local_arxiv, observed 2026-08-09T05:12:15.916549Z

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 ef9e9d1e-a1c6-48ac-84e8-8cb65c25bea7 · outbound

This paper cites In: International Conference on Learning Representations (2023).

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques In: International Conference on Learning Representations (2023)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T05:12:16.515579Z

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 f2a10993-451e-4ed1-9d29-a13ffbc2620d · outbound

This paper cites Generative Language Modeling for Automated Theorem Proving.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques Generative Language Modeling for Automated Theorem Proving

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-09T05:12:15.716502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd762856-37f3-422b-9ac3-e83d780130b1 · outbound

This paper cites https://xenaproject.wordpress.com/2020/ 12/05/liquid-tensor-experiment/ (2020).

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques https://xenaproject.wordpress.com/2020/ 12/05/liquid-tensor-experiment/ (2020)

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T05:12:16.501278Z

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 7b281191-581e-45a4-8f5c-939e8d40b792 · outbound

This paper cites An In-Context Learning Agent for Formal Theorem-Proving.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques An In-Context Learning Agent for Formal Theorem-Proving

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-09T05:12:15.726697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7213ac8d-dc90-4e5a-a50a-4a53f37534a6 · outbound

This paper cites LLaMA: Open and Efficient Foundation Language Models.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques LLaMA: Open and Efficient Foundation Language Models

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-09T05:12:15.731538Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4004419d-a751-465a-a71a-429467ffbbb3 · outbound

This paper cites Nature 625, 476–482 (2024).

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques Nature 625, 476–482 (2024)

Reference 25

Resolution: malformed identifier; no resolver link, observed 2026-08-09T05:12:15.736352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 202acc0b-2dec-493d-9999-faa453244631 · outbound

This paper cites URL https://openreview.net/pdf?id=lxlMFlzZO9.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques URL https://openreview.net/pdf?id=lxlMFlzZO9

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T05:12:16.486249Z

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 bb219c47-ced0-458e-b51f-9fb8fb5bbcd7 · outbound

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

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques LEGO-Prover: Neural Theorem Proving with Growing Libraries

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-09T05:12:15.745314Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ca85870-ba0a-45ba-969e-9cc1a8eaf14e · outbound

This paper cites In: Conference on Neural Information Processing Systems (2021).

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques In: Conference on Neural Information Processing Systems (2021)

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T05:12:16.470463Z

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 abccaf5b-eb50-4f16-8aed-4ddb616f9f93 · outbound

This paper cites In: Con- ference on Neural Information Processing Systems, vol.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques In: Con- ference on Neural Information Processing Systems, vol

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T05:12:16.456206Z

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 81cb6d15-f1e8-4ac8-aac2-b0bdd20150fc · outbound

This paper cites DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-09T05:12:15.759555Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8a63625-b4fe-4312-9ec5-873506050611 · outbound

This paper cites In: International Conference on Machine Learning, vol.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques In: International Conference on Machine Learning, vol

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T05:12:16.441496Z

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 59fa6e84-efa0-451a-9545-0f9d233869d3 · outbound

This paper cites In: Conference on Neural Information Processing Systems (2023).

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques In: Conference on Neural Information Processing Systems (2023)

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T05:12:16.426291Z

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 d363a8a7-c101-4261-bb77-b9ba67408946 · outbound

This paper cites In: International Conference on Learning Represen- tations (2022).

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques In: International Conference on Learning Represen- tations (2022)

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T05:12:16.410876Z

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

No inbound Pith citation observations are available.