Paper Citation Record · LEDGER

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving

As of 11 August 2026, this Paper Citation Record lists 4 of 4 outbound references and 1 inbound Pith citation observation for arXiv:2605.26959.

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

pith.paper-citation-record.v1
2605.26959 v2

Coverage vector

measured 4 of 4 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-29T15:03:21.869780Z

measured 5 of 5 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+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-10T05:44:54.431365Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-10T05:44:55.336865Z

Reference resolution

4 of 4 outbound references displayed

verified exact0
verified fuzzy0
unresolved3
parse uncertain1
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8681f7c0-9958-4105-a500-6d7caf1f0f7e · outbound

This paper cites These conditions together state that ‘N‘ acts regularly on ‘α‘; in particular ‘Nat.card N = p‘.

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving These conditions together state that ‘N‘ acts regularly on ‘α‘; in particular ‘Nat.card N = p‘

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-29T15:03:21.869780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7816c47f-1b9b-45fe-bfa0-aa7bd26c5952 · outbound

This paper cites an unresolved cited work.

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving Unresolved cited work

Reference 4

Resolution: parse uncertain; no resolver link, observed 2026-06-29T15:03:21.869780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94a50dce-ae22-4a8c-a341-e98f553f1d6f · outbound

This paper cites an unresolved cited work.

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-29T15:03:21.869780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 032de1d5-5f21-434a-8e7f-5666a018719d · outbound

This paper cites These conditions state that ‘N‘ acts regularly on ‘α‘.

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving These conditions state that ‘N‘ acts regularly on ‘α‘

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-29T15:03:21.869780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation ca86a389-b365-4884-bd4e-23139050df87 · inbound

Maximizing Algebraic Connectivity with $2(n-2)$ Edges: The Large Vertex Number Case cites this paper.

Maximizing Algebraic Connectivity with $2(n-2)$ Edges: The Large Vertex Number Case MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving

Reference 7

Resolution: verified exact; local_arxiv, observed 2026-08-10T05:44:55.341613Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.