Paper Citation Record · LEDGER

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory

As of 7 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 1 inbound Pith citation observation for arXiv:2606.20642.

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

pith.paper-citation-record.v1
2606.20642 v1

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-28T05:52:05.192897Z

measured 40 of 40 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+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-01T04:34:01.041527Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

39 of 39 outbound references displayed

verified exact14
verified fuzzy0
unresolved24
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation fed4dcfe-239b-4cda-9a69-b05ac4326804 · outbound

This paper cites Formal- izing concentration inequalities in Rocq: infrastructure and automation.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Formal- izing concentration inequalities in Rocq: infrastructure and automation

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c99b705-1e19-4d74-98bf-aae264df2523 · outbound

This paper cites Infotheo: A Rocq formalization of information theory and linear error-correcting codes.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Infotheo: A Rocq formalization of information theory and linear error-correcting codes

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3287d088-aee5-4b2e-bb00-d4f2f04ad00d · outbound

This paper cites A formally verified proof of the central limit theorem.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory A formally verified proof of the central limit theorem

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27d84acd-080d-450c-a766-d6685fad5bd7 · outbound

This paper cites Prover agent: An agent-based framework for formal mathematical proofs.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Prover agent: An agent-based framework for formal mathematical proofs

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-07-02T08:36:48.585052Z

Source-reported events for the cited work

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

Observation ec92262b-bf54-48bb-b8da-186ef5e6589d · outbound

This paper cites Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics

Reference 5

Resolution: verified exact; local_arxiv, observed 2026-07-02T08:36:48.581919Z

Source-reported events for the cited work

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

Observation 919f4b5b-08e8-4781-92d3-47db46bd2d62 · outbound

This paper cites Archon: Toward fully autonomous formalization of FirstProof’s research-level problems.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Archon: Toward fully autonomous formalization of FirstProof’s research-level problems

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6bd8db20-618a-45b7-957a-353af5f549d1 · outbound

This paper cites Automatic Textbook Formalization.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Automatic Textbook Formalization

Reference 7

Resolution: verified exact; local_arxiv, observed 2026-07-02T08:36:48.588018Z

Source-reported events for the cited work

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

Observation e0390c13-5017-42b3-85f3-49c359bd95c5 · outbound

This paper cites Progress in Formalizing Sphere Packing in Dimension 8.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Progress in Formalizing Sphere Packing in Dimension 8

Reference 8

Resolution: verified exact; local_arxiv, observed 2026-07-02T08:36:48.590678Z

Source-reported events for the cited work

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

Observation 99305d77-f32e-466a-9b19-ba2d1ce70d30 · outbound

This paper cites Formalization of continuous probability distributions.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Formalization of continuous probability distributions

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d5002b1-4f0d-469b-931d-4302ab0d145d · outbound

This paper cites Formalization of the standard uniform random variable.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Formalization of the standard uniform random variable

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb77b307-632a-4351-a13a-d42f0ed3c368 · outbound

This paper cites A formalization of the Lévy-Prokhorov metric in Isabelle/HOL.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory A formalization of the Lévy-Prokhorov metric in Isabelle/HOL

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1ccbc04-c100-4015-b773-df3fc9fb5820 · outbound

This paper cites an unresolved cited work.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdc7e3da-f582-4731-98ee-fdb07837b709 · outbound

This paper cites Semi-autonomous formalization of the Vlasov-Maxwell-Landau equilibrium.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Semi-autonomous formalization of the Vlasov-Maxwell-Landau equilibrium

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-07-02T08:36:48.593418Z

Source-reported events for the cited work

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

Observation ca12015a-b2ca-43ab-bf38-e1001c110bdf · outbound

This paper cites Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning

Reference 14

Resolution: verified exact; local_arxiv, observed 2026-07-02T08:36:48.568140Z

Source-reported events for the cited work

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

Observation 40c35ab3-f2d5-421e-a3f6-78daed42efff · outbound

This paper cites LeanAgent: Lifelong learning for formal theorem proving.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory LeanAgent: Lifelong learning for formal theorem proving

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 796a6f28-181f-4d47-b067-e21550dec945 · outbound

This paper cites Asymptotic Methods in Statistical Decision Theory.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Asymptotic Methods in Statistical Decision Theory

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5a9e666-d3d5-4ee0-bd36-6058ca47ff7b · outbound

This paper cites Asymptotics in statistics: some basic concepts.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Asymptotics in statistics: some basic concepts

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25432045-d5f0-47cd-a56e-51b0c6a3435a · outbound

This paper cites Autoformalize mathematical statements by symbolic equivalence and semantic consistency.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Autoformalize mathematical statements by symbolic equivalence and semantic consistency

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6c09380-279b-4c4f-a34a-f1f2c47b107f · outbound

This paper cites Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

Reference 19

Resolution: verified exact; local_arxiv, observed 2026-07-02T08:36:48.571666Z

Source-reported events for the cited work

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

Observation 9bff51ed-826e-42b0-8021-e79185e52ba8 · outbound

This paper cites Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

Reference 20

Resolution: verified exact; arxiv_id, observed 2026-07-02T08:36:48.578010Z

Source-reported events for the cited work

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

Observation 526b5022-107c-4989-8e1d-e06ac5320b57 · outbound

This paper cites FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-07-02T08:36:48.565341Z

Source-reported events for the cited work

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

Observation 77b412d1-9614-4963-88be-7be506442cbe · outbound

This paper cites The Lean 4 theorem prover and programming language.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory The Lean 4 theorem prover and programming language

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8389be22-905e-4557-bcf1-cecfaddb9c39 · outbound

This paper cites Paulson, and Markus Wenzel.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Paulson, and Markus Wenzel

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33a670cc-984b-4d2e-8841-6a5d49fba32d · outbound

This paper cites Apollo: Automated LLM and Lean collaboration for advanced formal reasoning.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Apollo: Automated LLM and Lean collaboration for advanced formal reasoning

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4aa0f7c2-b8dc-4b57-9076-241d11bd9acd · outbound

This paper cites DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition

Reference 25

Resolution: verified exact; local_arxiv, observed 2026-07-02T08:36:48.557446Z

Source-reported events for the cited work

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

Observation fbf29544-68bc-488a-8dab-7f4d01d733e2 · outbound

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

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean

Reference 26

Resolution: verified exact; arxiv_id, observed 2026-07-02T08:36:48.553589Z

Source-reported events for the cited work

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

Observation a54189a7-b196-4b0f-8fe3-c4d7778aebda · outbound

This paper cites Lean Formalization of Generalization Error Bound by Rademacher Complexity and Dudley's Entropy Integral.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Lean Formalization of Generalization Error Bound by Rademacher Complexity and Dudley's Entropy Integral

Reference 27

Resolution: verified exact; local_arxiv, observed 2026-07-02T08:36:48.559514Z

Source-reported events for the cited work

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

Observation bd040f67-a2a7-48dd-8883-d74fe3693d3b · outbound

This paper cites The Lean mathematical library.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory The Lean mathematical library

Reference 28

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0564b830-b63f-460c-b2fe-b7e13002cd9e · outbound

This paper cites The Rocq prover, version 9.2.0.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory The Rocq prover, version 9.2.0

Reference 29

Resolution: verified exact; doi, observed 2026-06-28T06:01:40.999079Z

Source-reported events for the cited work

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

Observation 6a35a4bf-5152-4de2-8220-22575b8448e5 · outbound

This paper cites van der Vaart.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory van der Vaart

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6eaa78a-a8b8-434a-8a27-cb310fdbcdc4 · outbound

This paper cites van der Vaart and Jon A.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory van der Vaart and Jon A

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7aa021d6-36bb-4f16-b8a5-77c768111f67 · outbound

This paper cites Hilbert: Recursively building formal proofs with informal reasoning.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Hilbert: Recursively building formal proofs with informal reasoning

Reference 32

Resolution: verified exact; arxiv_id, observed 2026-07-02T08:36:48.562771Z

Source-reported events for the cited work

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

Observation 75d8d365-f533-40f3-80fd-9dc650d4d71f · outbound

This paper cites MA-LoT: Model-collaboration Lean-based long chain-of-thought reasoning enhances formal theorem proving.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory MA-LoT: Model-collaboration Lean-based long chain-of-thought reasoning enhances formal theorem proving

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24da52f0-9114-46f1-96ff-4049e4785733 · outbound

This paper cites LeanDojo: Theorem proving with retrieval-augmented language models.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory LeanDojo: Theorem proving with retrieval-augmented language models

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1573ac6-f2b6-431a-b89a-11a7e30433d4 · outbound

This paper cites MASA: LLM-driven multi-agent systems for autoformalization.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory MASA: LLM-driven multi-agent systems for autoformalization

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97ff7729-272d-4a79-be22-fff729ba4078 · outbound

This paper cites AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory

Reference 36

Resolution: metadata mismatch; local_arxiv, observed 2026-07-02T08:36:48.574786Z

Source-reported events for the cited work

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

Observation e671cc53-f9c1-457c-97b2-2b1069fc6d6d · outbound

This paper cites In our case a git worktree on the same host, with the Lake package directory symlinked and the build cache copied for fast rebuilds.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory In our case a git worktree on the same host, with the Lake package directory symlinked and the build cache copied for fast rebuilds

Reference 37

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1731b53d-a377-4bd3-a217-816d154d98c6 · outbound

This paper cites an unresolved cited work.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c396f4f-25a5-4a20-9742-395b93cf3b21 · outbound

This paper cites bowl-shaped.

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory bowl-shaped

Reference 39

Resolution: unresolved; no resolver link, observed 2026-06-28T05:52:05.192897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation f3abb441-e4bd-40d2-834b-fd51a33955f4 · inbound

CausalForge: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference cites this paper.

CausalForge: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-01T04:34:01.041527Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.