Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-10T10:19:24.920725Z
Paper Citation Record · LEDGER
Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis
As of 4 August 2026, this Paper Citation Record lists 10 of 10 outbound references and 0 inbound Pith citation observations for arXiv:2604.16538.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
10 of 10 outbound references displayed
- verified exact1
- verified fuzzy7
- unresolved1
- parse uncertain0
- malformed identifier0
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 48b7fc4b-d1e3-431b-81f8-c95466eedf3f · outbound
This paper cites write newline.
Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis write newline
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T00:13:18.917790Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 1deb673f-2e7b-4a4b-a226-61fd50b8ae45 · outbound
This paper cites AI models solve maths problems at level of top students.
Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis AI models solve maths problems at level of top students
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T00:13:18.922026Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 855f0e5e-8295-45d7-987b-7a5604e5418d · outbound
This paper cites The lean 4 theorem prover and programming language.
Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis The lean 4 theorem prover and programming language
Reference 3
- Resolution
- verified exact
- doi, observed 2026-05-10T10:24:21.182790Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 1fa67a81-e68f-4f81-baf8-212825f08e0b · outbound
This paper cites an unresolved cited work.
Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-05-20T00:13:18.911824Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 6dbc87f7-f88d-44be-92c7-caf3c1faf9b2 · outbound
This paper cites Herald: A natural language annotated lean 4 dataset.
Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis Herald: A natural language annotated lean 4 dataset
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T00:13:18.899441Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 82300f90-8945-46ba-b458-03ba4f93349f · outbound
This paper cites Missing undergraduate mathematics in M athlib.
Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis Missing undergraduate mathematics in M athlib
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T00:13:18.903926Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 09c5940b-4e9b-4dba-b97c-5577f04e4099 · outbound
This paper cites Basic analysis: Introduction to real analysis.
Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis Basic analysis: Introduction to real analysis
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T00:13:18.895853Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation bbff29b2-a380-47c3-9561-dba7d3c82a86 · outbound
This paper cites Guide to cultivating complex analysis: Working the complex field.
Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis Guide to cultivating complex analysis: Working the complex field
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T00:13:18.908208Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 963ff4ff-f503-4b89-bc69-623ddea5701f · outbound
This paper cites Topology lecture notes.
Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis Topology lecture notes
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T00:13:18.914554Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation cfd70356-a2e1-44e5-a00d-44e9d4551a16 · outbound
This paper cites Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.
Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 10
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Pith citing papers
No inbound Pith citation observations are available.