Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-13T02:46:48.494487Z
Paper Citation Record · LEDGER
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
As of 15 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 1 inbound Pith citation observation for arXiv:2607.09474.
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-14T06:32:32.682623+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-01T03:02:28.436212Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
12 of 12 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved11
- parse uncertain1
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 30fca217-51e3-4531-8a6f-6c54ecceb7ea · outbound
This paper cites an unresolved cited work.
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T02:46:48.494487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 545518e2-c732-41a2-a7b0-8b4c92d584a6 · outbound
This paper cites an unresolved cited work.
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T02:46:48.494487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 666c2bf7-f7e4-49e7-b576-54eb9c1b2e51 · outbound
This paper cites /mnt/data/<name>.
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems /mnt/data/<name>
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T02:46:48.494487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cee6e3ee-5612-4b23-bf75-040fed5db97d · outbound
This paper cites thinking summary.
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems thinking summary
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T02:46:48.494487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fd9f82f5-bed8-4bf7-b56f-c1f0d2ed712a · outbound
This paper cites an unresolved cited work.
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems Unresolved cited work
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T02:46:48.494487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 63bac370-15ca-40fd-b00d-138010e43973 · outbound
This paper cites an unresolved cited work.
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems Unresolved cited work
Reference 6
- Resolution
- parse uncertain
- no resolver link, observed 2026-07-13T02:46:48.494487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 162444cf-4c63-4de3-97f3-4b7871a163a6 · outbound
This paper cites /mnt/data/<name>.
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems /mnt/data/<name>
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T02:46:48.494487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f5bbca04-fd57-4394-80a4-8e8baa4dbd56 · outbound
This paper cites thinking summary.
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems thinking summary
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T02:46:48.494487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8785bbfc-5ab0-435c-98d8-17cfb59410ed · outbound
This paper cites an unresolved cited work.
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems Unresolved cited work
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T02:46:48.494487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d0931304-9551-446e-a538-abdb079ab8f7 · outbound
This paper cites an unresolved cited work.
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems Unresolved cited work
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T02:46:48.494487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cd85daa9-8cbd-4544-a553-1b972e17c453 · outbound
This paper cites an unresolved cited work.
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems Unresolved cited work
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T02:46:48.494487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 653f9d13-3f0b-45f2-b531-8c9ded054233 · outbound
This paper cites Be terse and precise.
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems Be terse and precise
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T02:46:48.494487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
Observation bd383f68-5841-46e4-aa95-44b45bae94f2 · inbound
Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration cites this paper.
Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T03:02:28.436212Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.