Paper Citation Record · LEDGER

An In-Context Learning Agent for Formal Theorem-Proving

As of 14 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 20 inbound Pith citation observations for arXiv:2310.04353.

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

pith.paper-citation-record.v1
2310.04353 v5

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 20 of 20 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 20 of 20 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-11T16:23:10.260606Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, 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

3
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation dc1e414b-6b1d-47ca-908b-b60e1d5dd546 · inbound

RepairAgent: An Autonomous, LLM-Based Agent for Program Repair cites this paper.

RepairAgent: An Autonomous, LLM-Based Agent for Program Repair An In-Context Learning Agent for Formal Theorem-Proving

Reference 71

Resolution: verified exact; arxiv_id, observed 2026-05-19T10:22:16.568777Z

Source-reported events for the cited work

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

Observation abd82314-1aeb-4f26-ae1f-de172f3ecaa3 · inbound

You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects cites this paper.

You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects An In-Context Learning Agent for Formal Theorem-Proving

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-11T16:23:10.260606Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ba54822-1893-4da2-9bd6-def8b5fb2850 · 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 An In-Context Learning Agent for Formal Theorem-Proving

Reference 11

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b281191-581e-45a4-8f5c-939e8d40b792 · inbound

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques cites this paper.

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 5f34427c-5443-4482-b71a-9a008303e24c · inbound

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving cites this paper.

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving An In-Context Learning Agent for Formal Theorem-Proving

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-08T12:07:05.032466Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33f465c2-ff0d-44f4-8428-488c028241e4 · inbound

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks cites this paper.

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks An In-Context Learning Agent for Formal Theorem-Proving

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:30.740697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82a89a40-98e0-4ce3-a677-c4f054ca48ef · inbound

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations cites this paper.

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations An In-Context Learning Agent for Formal Theorem-Proving

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-07T12:35:19.670076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b874b35f-e245-4960-842f-c504424062fe · inbound

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems? cites this paper.

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems? An In-Context Learning Agent for Formal Theorem-Proving

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-07T06:08:26.563979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71bd7e27-0444-475d-b810-82263a3b5f39 · inbound

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

Solving Formal Math Problems by Decomposition and Iterative Reflection An In-Context Learning Agent for Formal Theorem-Proving

Reference 36

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 372d5f64-382c-4891-a34e-324950e64a07 · inbound

GenoMAS: A Multi-Agent Framework for Scientific Discovery via Code-Driven Gene Expression Analysis cites this paper.

GenoMAS: A Multi-Agent Framework for Scientific Discovery via Code-Driven Gene Expression Analysis An In-Context Learning Agent for Formal Theorem-Proving

Reference 111

Resolution: verified exact; arxiv_id, observed 2026-05-22T00:40:51.311575Z

Source-reported events for the cited work

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

Observation dab8c14a-cc85-46c5-afba-072f40e4be14 · inbound

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean cites this paper.

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean An In-Context Learning Agent for Formal Theorem-Proving

Reference 12

Resolution: verified exact; arxiv_id, observed 2026-05-18T16:11:35.893282Z

Source-reported events for the cited work

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

Observation 2e3fdd69-5ef5-4bc7-84a0-215783870e35 · inbound

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean cites this paper.

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean An In-Context Learning Agent for Formal Theorem-Proving

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T16:41:00.370115Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66f3ef1f-ce8f-40c8-a249-46d4cd5a1809 · inbound

A Minimal Agent for Automated Theorem Proving cites this paper.

A Minimal Agent for Automated Theorem Proving An In-Context Learning Agent for Formal Theorem-Proving

Reference 60

Resolution: verified exact; arxiv_id, observed 2026-05-15T18:46:29.372084Z

Source-reported events for the cited work

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

Observation 4ff6ec37-3410-4d08-b898-0c75cf87f2f7 · inbound

SpecRL: Reinforcement Learning with Test-Based Completeness Rewards for Formal Specification Synthesis cites this paper.

SpecRL: Reinforcement Learning with Test-Based Completeness Rewards for Formal Specification Synthesis An In-Context Learning Agent for Formal Theorem-Proving

Reference 46

Resolution: verified exact; arxiv_id, observed 2026-05-10T19:35:45.846140Z

Source-reported events for the cited work

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

Observation c300add3-99a4-4b20-ae92-9377c64ba7ed · inbound

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems cites this paper.

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems An In-Context Learning Agent for Formal Theorem-Proving

Reference 49

Resolution: verified exact; arxiv_id, observed 2026-05-25T04:55:23.817733Z

Source-reported events for the cited work

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

Observation 0cca331a-e2b7-47f6-a26c-7324082cf456 · inbound

Agentic Proving for Program Verification cites this paper.

Agentic Proving for Program Verification An In-Context Learning Agent for Formal Theorem-Proving

Reference 30

Resolution: verified exact; arxiv_id, observed 2026-05-25T04:05:20.718664Z

Source-reported events for the cited work

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

Observation f3c3fcd3-7eb4-4d37-a929-130f4149a4a8 · inbound

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

Automating Formal Verification with Agent-Guided Tree Search An In-Context Learning Agent for Formal Theorem-Proving

Reference 93

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

Source-reported events for the cited work

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

Observation e7122ffc-b7e4-407a-9f32-a57cd476d0ba · inbound

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

Automating Formal Verification with Reinforcement Learning and Recursive Inference An In-Context Learning Agent for Formal Theorem-Proving

Reference 118

Resolution: verified exact; arxiv_id, observed 2026-06-28T23:52:49.272581Z

Source-reported events for the cited work

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

Observation d46f934f-2870-4c2f-b02e-185a2e3c7485 · inbound

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics cites this paper.

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics An In-Context Learning Agent for Formal Theorem-Proving

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-07-03T01:47:31.559938Z

Source-reported events for the cited work

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

Observation d2252dd6-a92b-4ea8-a850-4bed32ac11c8 · inbound

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

AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities An In-Context Learning Agent for Formal Theorem-Proving

Reference 21

Resolution: verified exact; arxiv_id, observed 2026-07-04T16:39:57.351579Z

Source-reported events for the cited work

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