Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T18:29:25.613283Z
Paper Citation Record · LEDGER
LeanGeo: Formalizing Competitional Geometry problems in Lean
As of 7 August 2026, this Paper Citation Record lists 62 of 62 outbound references and 5 inbound Pith citation observations for arXiv:2508.14644.
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-07T06:34:17.273281+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-05T11:30:02.943095Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-07-10T18:17:33.891894Z
Reference resolution
62 of 62 outbound references displayed
- verified exact1
- verified fuzzy9
- unresolved50
- parse uncertain2
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation abfc537c-4b69-4905-babc-313861e59a42 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:40.219698Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1b530c15-b370-4793-9b34-e354c6d70010 · outbound
This paper cites Zhitao He, Zongwei Lyu, Dazhong Chen, Dadi Guo, and Yi R Fung.
LeanGeo: Formalizing Competitional Geometry problems in Lean Zhitao He, Zongwei Lyu, Dazhong Chen, Dadi Guo, and Yi R Fung
Reference 2
- Resolution
- verified exact
- doi, observed 2026-08-05T18:29:25.975047Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 59f89d38-ddda-4f84-ac9a-902c98c6653c · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:39.835573Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 95d549f6-1a33-4c12-89fa-3f2b80754f6b · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:39.683916Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 94be1089-da4d-4d06-bc9e-bad30cfa792d · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:39.458645Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3db693f6-eb9f-47d5-8b1e-2825bc6d3b4a · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:40.328625Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6f7decaf-a189-4143-8b9a-fb2ae6c1df52 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:40.007151Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 275a7487-9ffa-4073-90b1-7f2034a2936f · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:38.258713Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation cb1c6d39-f640-4771-ad5c-7a20142f0d69 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:38.080727Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a92ad39b-d63c-47e9-b6d0-10593c285b95 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:39.155005Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7e76645d-3f0c-4a03-9aeb-8786577144bf · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:37.682259Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 0976ef68-8b61-438b-a8f4-21a7ed369747 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:38.543360Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e48a0e8e-ef77-462f-a1a6-060cdaea377e · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:37.293215Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 734e5f44-5ea8-4b2d-b7b4-70b7eddb5f17 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:37.083258Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 61111ebc-bf29-4a3c-b278-6d29a9ef19c2 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:37.871250Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 35a2b2d5-9389-405e-8be0-111d6d721b06 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:36.598210Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 134586e5-e53c-43a6-8b2b-0e1eafc0f432 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:37.509191Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e7f982fa-e9e1-4db2-8555-aea1dc2abd70 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:36.221691Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8224a15a-e2ba-4d3c-a008-d5968b9b82be · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:36.019235Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3089c966-5447-4c12-9121-ebb6cd695759 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:36.931692Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 48f801ea-390b-40da-a7a2-dc9ed5fa0d7d · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:35.285166Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6d726e83-f547-4d85-b101-98f3eac40cfe · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:36.386434Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9f407eef-d370-4044-bfbe-12f573f4e9dc · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:38.870553Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b173d5f1-649e-4bae-8b1e-e7eef9c8bbb3 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:34.508374Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 48b993eb-4a43-445f-a460-f9c5d05d86dd · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:35.638489Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c7978f81-14b9-48fe-9b89-ad3dfbd5524d · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:34.147819Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 905e0aee-2e5d-419d-9b71-1f3580e0ca4a · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:35.038607Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation fa096da6-18e2-4c2e-b757-9c015a5b508e · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:34.862005Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d13c6ceb-c7f1-4563-a8c6-fafd62b4a1db · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 29
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-05T18:29:34.664135Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8fde1551-9e16-4bd3-a7f7-7bc978533180 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 30
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:33.189980Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7121c7ac-8936-48ae-bd54-453640ee9cc8 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:34.353373Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 64ecf802-382c-497f-8584-b1e026652142 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:32.817357Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation dd2c11ee-69b0-484d-8ebd-77e671eea72a · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:33.985595Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation bb0f1505-a8c7-4d7f-8059-aa50594fe534 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:33.795459Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 198ef7cd-3af9-4790-9636-6acf94a60a92 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:32.305160Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c9c7c863-a56a-4c7c-bb2f-1e6a98b11894 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:33.398141Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f3dfd3a2-4775-429e-8389-01215b481400 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:31.679995Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9b7c48f3-7501-41fc-8745-ec0392e125a9 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:33.021552Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 76f58818-7b19-4da1-b059-3d00b454e283 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:31.171938Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7f12b5ed-cbf1-4a94-ad4d-493ef4848411 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:32.632718Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a5d3773f-1408-4fbf-a276-e78a044ae674 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:32.488233Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e4f34d10-1ac0-4612-953f-a7abbda39475 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 42
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:29.992811Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c032db25-13a9-4543-bfff-69d881b38781 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:29.734274Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 072e5b68-8c83-42cf-af25-1ca955a56894 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:33.584406Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f1f1e9c2-4410-4bd5-85a3-4c2b07ae8754 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:31.930986Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a9c00060-5bdc-41f1-b757-e930c6e86ece · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:31.405926Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d306d3f8-d0cf-47b6-8f0e-904859632573 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 48
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-05T18:29:30.840962Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 740b8ca2-2f21-4a4c-9eb1-747dd3733ed9 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:30.588263Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f543099d-9c8f-437f-bd97-8e2f0f703621 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:30.283710Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 95c70ef7-4eb2-4b53-97b3-59ac0055656e · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 53
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:32.161315Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f8c0d886-55fc-45cf-8a6c-15f853b7e6d3 · outbound
This paper cites PythagoreanTheorem_point.
LeanGeo: Formalizing Competitional Geometry problems in Lean PythagoreanTheorem_point
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T18:29:29.353219Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation eea6cbb5-73c3-4264-9872-4619e16067d2 · outbound
This paper cites have hX: P := by.
LeanGeo: Formalizing Competitional Geometry problems in Lean have hX: P := by
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T18:29:29.036610Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 93ece000-0e66-44d0-b90a-cfd367b3da67 · outbound
This paper cites euclid_apply intersection_lines L1 L2 as O.
LeanGeo: Formalizing Competitional Geometry problems in Lean euclid_apply intersection_lines L1 L2 as O
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T18:29:28.719800Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation aa41af67-416a-46d1-b4db-58dbd7d903e6 · outbound
This paper cites an unresolved cited work.
LeanGeo: Formalizing Competitional Geometry problems in Lean Unresolved cited work
Reference 57
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T18:29:28.451131Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9ee17e5d-f300-48f7-8a93-7912c4aa92e0 · outbound
This paper cites euclid_assert.
LeanGeo: Formalizing Competitional Geometry problems in Lean euclid_assert
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T18:29:28.202402Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation afed9d6e-e2af-45b5-83d9-85520245fee8 · outbound
This paper cites *" symbol for multiplication, please ensure there is a space on both sides of the.
LeanGeo: Formalizing Competitional Geometry problems in Lean *" symbol for multiplication, please ensure there is a space on both sides of the
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T18:29:27.811372Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3bcd79e5-0d87-43aa-8e71-5f071a5847d3 · outbound
This paper cites coll_angles_eq.
LeanGeo: Formalizing Competitional Geometry problems in Lean coll_angles_eq
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T18:29:27.420315Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7f0f7f76-f73d-4283-a263-93ec9db7a4db · outbound
This paper cites Right Triangle ABC with right angle ABC.
LeanGeo: Formalizing Competitional Geometry problems in Lean Right Triangle ABC with right angle ABC
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T18:29:27.119214Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3527df98-2823-4cad-99bd-4ee86714fef0 · outbound
This paper cites euclid_apply line_from_points X Y as XY.
LeanGeo: Formalizing Competitional Geometry problems in Lean euclid_apply line_from_points X Y as XY
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T18:29:26.700464Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f4873c02-57fe-4a57-ad01-886bbfa68256 · outbound
This paper cites euclid_apply.
LeanGeo: Formalizing Competitional Geometry problems in Lean euclid_apply
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T18:29:26.373378Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7c1ddb19-a851-4036-8a8c-5c22f425aaf0 · outbound
This paper cites � " a ":.
LeanGeo: Formalizing Competitional Geometry problems in Lean � " a ":
Reference 2020
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T18:29:15.917207Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e5a79f9f-ed3c-4925-9f8c-e20a5e5ba41f · outbound
This paper cites Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving.
LeanGeo: Formalizing Competitional Geometry problems in Lean Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
Reference 2025
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T18:29:15.640959Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
Observation 5903be1a-5008-4701-900c-964c24ff32e0 · inbound
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development cites this paper.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development LeanGeo: Formalizing Competitional Geometry problems in Lean
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T11:30:02.943095Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 40dc8a48-19fc-4da3-b32b-79f76763c0c9 · inbound
FVSpec: Real-World Property-Based Tests as Lean Challenges cites this paper.
FVSpec: Real-World Property-Based Tests as Lean Challenges LeanGeo: Formalizing Competitional Geometry problems in Lean
Reference 48
- Resolution
- verified exact
- arxiv_id, observed 2026-06-28T17:12:25.317725Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e3334b11-fd17-4884-9f77-431385d49832 · inbound
LAMP: Lean-based Agentic framework with MCP and Proof Repair cites this paper.
LAMP: Lean-based Agentic framework with MCP and Proof Repair LeanGeo: Formalizing Competitional Geometry problems in Lean
Reference 33
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-06-30T08:44:27.783448Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ae6afe2c-3ae1-44f1-84b4-3c21abb8ff9d · inbound
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier cites this paper.
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier LeanGeo: Formalizing Competitional Geometry problems in Lean
Reference 214
- Resolution
- verified exact
- local_arxiv, observed 2026-07-10T18:17:33.893139Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 0c36fd5a-6053-4441-96d9-7cee283e3f83 · inbound
MIRROR: Learning from the Other View for Multi-Modal Reasoning cites this paper.
MIRROR: Learning from the Other View for Multi-Modal Reasoning LeanGeo: Formalizing Competitional Geometry problems in Lean
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T07:15:04.795934Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.