Paper Citation Record · LEDGER

Solving Formal Math Problems by Decomposition and Iterative Reflection

As of 5 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 10 inbound Pith citation observations for arXiv:2507.15225.

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

pith.paper-citation-record.v1
2507.15225 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 10 of 10 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-05T06:32:48.257954+00:00

measured 10 of 10 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-04T06:40:28.465639Z

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

0
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 e759d0aa-fb1d-4bf0-bbc6-ea76c7eb3733 · inbound

Aristotle: IMO-level Automated Theorem Proving cites this paper.

Aristotle: IMO-level Automated Theorem Proving Solving Formal Math Problems by Decomposition and Iterative Reflection

Reference 64

Resolution: verified exact; arxiv_id, observed 2026-05-15T08:51:37.996641Z

Source-reported events for the cited work

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

Observation 2e3f882a-6262-46a8-8af9-8937dd02f28a · inbound

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving cites this paper.

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving Solving Formal Math Problems by Decomposition and Iterative Reflection

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-04T06:40:28.465639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecf4eff8-730f-4797-92b2-c533df2341a6 · inbound

AI for Mathematics: Progress, Challenges, and Prospects cites this paper.

AI for Mathematics: Progress, Challenges, and Prospects Solving Formal Math Problems by Decomposition and Iterative Reflection

Reference 179

Resolution: verified exact; arxiv_id, observed 2026-05-16T13:27:55.755637Z

Source-reported events for the cited work

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

Observation 87f1f480-c86e-4b78-b2ee-bfe2d23bdecf · inbound

Shaping Schema via Language Representation as the Next Frontier for LLM Intelligence Expanding cites this paper.

Shaping Schema via Language Representation as the Next Frontier for LLM Intelligence Expanding Solving Formal Math Problems by Decomposition and Iterative Reflection

Reference 65

Resolution: verified exact; arxiv_id, observed 2026-05-12T05:41:27.258616Z

Source-reported events for the cited work

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

Observation 4afafc7f-5efe-450c-bc81-3531a61e46b8 · inbound

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

Automating Formal Verification with Agent-Guided Tree Search Solving Formal Math Problems by Decomposition and Iterative Reflection

Reference 97

Resolution: metadata mismatch; arxiv_id, observed 2026-06-29T15:03:31.273724Z

Source-reported events for the cited work

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

Observation a4e246d7-c8f0-43dd-8e14-b75bd0ab3b92 · inbound

A Theoretical Framework for Self-Play Theorem Proving Algorithms cites this paper.

A Theoretical Framework for Self-Play Theorem Proving Algorithms Solving Formal Math Problems by Decomposition and Iterative Reflection

Reference 49

Resolution: metadata mismatch; arxiv_id, observed 2026-07-01T22:16:16.409707Z

Source-reported events for the cited work

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

Observation de1c0342-6d97-4479-92aa-1596ed4194d8 · inbound

Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean cites this paper.

Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean Solving Formal Math Problems by Decomposition and Iterative Reflection

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-06-28T06:11:42.512242Z

Source-reported events for the cited work

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

Observation 12131c7b-c684-4574-ae79-0ece491e1e2f · inbound

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics cites this paper.

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics Solving Formal Math Problems by Decomposition and Iterative Reflection

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-07-01T10:05:40.835473Z

Source-reported events for the cited work

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

Observation 5fc62fd6-af42-4470-9ec9-92ea737c744a · inbound

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics cites this paper.

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics Solving Formal Math Problems by Decomposition and Iterative Reflection

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-07-03T22:39:01.195388Z

Source-reported events for the cited work

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

Observation 6ba83a62-b79f-477d-8470-283238da8290 · inbound

FormalRx: Rectify and eXamine Semantic Failures in Autoformalization cites this paper.

FormalRx: Rectify and eXamine Semantic Failures in Autoformalization Solving Formal Math Problems by Decomposition and Iterative Reflection

Reference 66

Resolution: unresolved; no resolver link, observed 2026-07-11T15:42:50.296348Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.