Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T18:17:57.627638Z
Paper Citation Record · LEDGER
Newclid: A User-Friendly Replacement for AlphaGeometry
As of 20 August 2026, this Paper Citation Record lists 7 of 7 outbound references and 1 inbound Pith citation observation for arXiv:2411.11938.
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-20T06:33:59.587034+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-05-21T06:05:45.046156Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-21T06:09:41.574271Z
Reference resolution
7 of 7 outbound references displayed
- verified exact1
- verified fuzzy4
- unresolved2
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation ff89fd59-8965-474c-b9ad-dbb8bd981302 · outbound
This paper cites A deductive database approach to automated geometry theorem proving and discovering.
Newclid: A User-Friendly Replacement for AlphaGeometry A deductive database approach to automated geometry theorem proving and discovering
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T18:17:57.733036Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation dbaaa9da-2c42-4745-81a7-213c8ba4e53c · outbound
This paper cites Hypertree proof search for neural theorem proving.
Newclid: A User-Friendly Replacement for AlphaGeometry Hypertree proof search for neural theorem proving
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T18:17:57.605537Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8fd139c2-6da1-40d8-a7ac-7da8cf1ba300 · outbound
This paper cites Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry.
Newclid: A User-Friendly Replacement for AlphaGeometry Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T18:17:57.609343Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1629f73c-7870-403d-8f42-aa128c10b382 · outbound
This paper cites 52nd International Mathematical Olympiad Problem : Shortlist With Solutions.
Newclid: A User-Friendly Replacement for AlphaGeometry 52nd International Mathematical Olympiad Problem : Shortlist With Solutions
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T18:17:57.712935Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 6250c475-1908-417a-8f40-6de6a1db5a5e · outbound
This paper cites Trinh, Yuhuai Wu, Quoc V.
Newclid: A User-Friendly Replacement for AlphaGeometry Trinh, Yuhuai Wu, Quoc V
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T18:17:57.700058Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c90ac1ff-5bee-4bcc-bdc0-cb754390b268 · outbound
This paper cites On the decision problem and the mechanization of theorem-proving in elementary geometry.
Newclid: A User-Friendly Replacement for AlphaGeometry On the decision problem and the mechanization of theorem-proving in elementary geometry
Reference 6
- Resolution
- verified exact
- doi, observed 2026-08-12T18:17:57.662111Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 215e124b-8b9e-4bf6-b161-9d474f568d57 · outbound
This paper cites An I ntroduction to J ava G eometry E xpert.
Newclid: A User-Friendly Replacement for AlphaGeometry An I ntroduction to J ava G eometry E xpert
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T18:17:57.687059Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Pith citing papers
Observation 688fc727-7bea-4dc9-ba89-c9cf98fc0e74 · inbound
Draw2Think: Harnessing Geometry Reasoning through Constraint Engine Interaction cites this paper.
Draw2Think: Harnessing Geometry Reasoning through Constraint Engine Interaction Newclid: A User-Friendly Replacement for AlphaGeometry
Reference 46
- Resolution
- verified exact
- arxiv_id, observed 2026-05-21T06:09:41.575873Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.