{"as_of":"2026-08-07T23:35:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5cb323e75f1772a41ff606f58f4fd8044f14bca6c76346dc713d3e296eb5dd60","coverage":[{"denominator":62,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":62,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T18:29:25.613283Z","state":"measured"},{"denominator":67,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":67,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":5,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":5,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T11:30:02.943095Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-10T18:17:33.891894Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.14644","snapshot_observed_at":"2026-08-05T11:30:02.943095Z","title":"2025 , eprinttype =","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.02758","last_updated":"2026-07-24T04:16:10Z","snapshot_observed_at":"2026-08-07T23:34:19.498795Z","submitted_at":"2025-09-02T19:04:45Z","title":"An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development","version":3},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-05T11:30:02.943095Z"},"links":{"cited_paper":"/paper/2508.14644","citing_paper":"/paper/2509.02758"},"observation_digest":"sha256:7b332528967eb08dbf2bd91b12a0f90c81291aa8e59bd5640d5e54440b796238","observation_id":"5903be1a-5008-4701-900c-964c24ff32e0","resolution":{"observed_at":"2026-08-05T11:30:02.943095Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"cited_work":{"arxiv_id":"2508.14644","doi":null,"metadata_source":"pith","pith_arxiv_id":"2508.14644","snapshot_observed_at":"2026-07-10T18:17:33.891894Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","venue":"cs.AI","work_id":"e2743cad-72b1-47c4-afb7-df9f7fc4ad69","year":2025},"citing_paper":{"arxiv_id":"2606.01008","last_updated":"2026-05-31T04:51:27Z","snapshot_observed_at":"2026-08-07T10:38:24.939268Z","submitted_at":"2026-05-31T04:51:27Z","title":"FVSpec: Real-World Property-Based Tests as Lean Challenges","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-06-28T17:05:13.012431Z"},"links":{"cited_paper":"/paper/2508.14644","citing_paper":"/paper/2606.01008"},"observation_digest":"sha256:00f8e948a3308e33e3babd6e59dad5f19a42eb7c916fbd96431ea0a1d375b8a2","observation_id":"40dc8a48-19fc-4da3-b32b-79f76763c0c9","resolution":{"observed_at":"2026-06-28T17:12:25.317725Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"cited_work":{"arxiv_id":"2508.14644","doi":null,"metadata_source":"pith","pith_arxiv_id":"2508.14644","snapshot_observed_at":"2026-07-10T18:17:33.891894Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","venue":"cs.AI","work_id":"e2743cad-72b1-47c4-afb7-df9f7fc4ad69","year":2025},"citing_paper":{"arxiv_id":"2606.28841","last_updated":"2026-06-27T09:58:09Z","snapshot_observed_at":"2026-08-02T19:18:42.790580Z","submitted_at":"2026-06-27T09:58:09Z","title":"LAMP: Lean-based Agentic framework with MCP and Proof Repair","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-30T08:35:40.617232Z"},"links":{"cited_paper":"/paper/2508.14644","citing_paper":"/paper/2606.28841"},"observation_digest":"sha256:1692ad5e6e958fcc800bc6f0729bf645467e6874eb9dbfa0393fa86310e36a7e","observation_id":"e3334b11-fd17-4884-9f77-431385d49832","resolution":{"observed_at":"2026-06-30T08:44:27.783448Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"cited_work":{"arxiv_id":"2508.14644","doi":null,"metadata_source":"pith","pith_arxiv_id":"2508.14644","snapshot_observed_at":"2026-07-10T18:17:33.891894Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","venue":"cs.AI","work_id":"e2743cad-72b1-47c4-afb7-df9f7fc4ad69","year":2025},"citing_paper":{"arxiv_id":"2607.07779","last_updated":"2026-07-08T17:46:36Z","snapshot_observed_at":"2026-07-12T23:17:59.879344Z","submitted_at":"2026-07-08T17:46:36Z","title":"From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier","version":1},"reference_index":214,"source":"pdf_text","source_observed_at":"2026-07-10T18:16:31.176239Z"},"links":{"cited_paper":"/paper/2508.14644","citing_paper":"/paper/2607.07779"},"observation_digest":"sha256:816123b39a6c5d9d33c8ac56a9ca3506d6108af7e67dde8e0d14b838b8f71645","observation_id":"ae6afe2c-3ae1-44f1-84b4-3c21abb8ff9d","resolution":{"observed_at":"2026-07-10T18:17:33.893139Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.14644","snapshot_observed_at":"2026-08-01T07:15:04.795934Z","title":"Leangeo: Formalizing competitional geometry problems in lean, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21552","last_updated":"2026-07-23T17:35:56Z","snapshot_observed_at":"2026-08-07T05:31:06.665189Z","submitted_at":"2026-07-23T17:35:56Z","title":"MIRROR: Learning from the Other View for Multi-Modal Reasoning","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T07:15:04.795934Z"},"links":{"cited_paper":"/paper/2508.14644","citing_paper":"/paper/2607.21552"},"observation_digest":"sha256:967ec51f9f06374c0e83eff6c7ffa88ec681f5e6e2cdb5fb24987f9c8029f47f","observation_id":"0c36fd5a-6053-4441-96d9-7cee283e3f83","resolution":{"observed_at":"2026-08-01T07:15:04.795934Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2508.14644/citation-record","integrity":"/paper/2508.14644/integrity","json":"/paper/2508.14644/citation-record.json","paper":"/paper/2508.14644"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:40.106354Z","title":null,"venue":null,"work_id":"4eccae2b-8b17-4924-af56-93df64cba369","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:16.227759Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:2c1e592b9026f79973b35a7aba4b56053b0fda1682b4e05ee2b0416284e33876","observation_id":"abfc537c-4b69-4905-babc-313861e59a42","resolution":{"observed_at":"2026-08-05T18:29:40.219698Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-010-9209-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:25.823759Z","title":"Zhitao He, Zongwei Lyu, Dazhong Chen, Dadi Guo, and Yi R Fung","venue":null,"work_id":"07b76179-a56c-4726-a41d-c0b4546799e3","year":2025},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:15.750366Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:e3bf9d02c7deacd7c867d70f46a467851ab1914f76339b336bd9d3285f89f516","observation_id":"1b530c15-b370-4793-9b34-e354c6d70010","resolution":{"observed_at":"2026-08-05T18:29:25.975047Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:39.777019Z","title":null,"venue":null,"work_id":"6429e7e9-2010-42ec-b878-269e9811d49b","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:16.598135Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:74edd53d4bbf3ecf2ae6a05eb817799b87dd9893b40d511574931fc1aaa9a74e","observation_id":"59f89d38-ddda-4f84-ac9a-902c98c6653c","resolution":{"observed_at":"2026-08-05T18:29:39.835573Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:39.578954Z","title":null,"venue":null,"work_id":"a5457f1f-3a1d-41d1-8d3b-de76a79d35a5","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:16.739656Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:9af25ec1326a932a6da92a168ba50320920aa18c7b2ce43a2fc1a13aaa9ba279","observation_id":"95d549f6-1a33-4c12-89fa-3f2b80754f6b","resolution":{"observed_at":"2026-08-05T18:29:39.683916Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:39.274901Z","title":null,"venue":null,"work_id":"0f67a35d-ea0c-4324-a963-f0125461720b","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:16.890160Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:23375eb9096e53cdfac211132f9f3effda7350888c2c0df7eaed127ba97ee0db","observation_id":"94be1089-da4d-4d06-bc9e-bad30cfa792d","resolution":{"observed_at":"2026-08-05T18:29:39.458645Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:40.286129Z","title":null,"venue":null,"work_id":"e334030a-aa0e-44a2-aae5-9569cc48a02c","year":2001},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:16.060510Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:62ac5ad7ed92b201e1ba3050ad49a2c9c75121eef60009ddc09152df16a34e90","observation_id":"3db693f6-eb9f-47d5-8b1e-2825bc6d3b4a","resolution":{"observed_at":"2026-08-05T18:29:40.328625Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:39.927229Z","title":null,"venue":null,"work_id":"b2a73d7d-7fd4-4b0c-aaaf-e50118f82118","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:16.430058Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:fa659c46c2713bf9957447b16e99f6a53ae52cfaca41d9358ef89d7649218a59","observation_id":"6f7decaf-a189-4143-8b9a-fb2ae6c1df52","resolution":{"observed_at":"2026-08-05T18:29:40.007151Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:38.156076Z","title":null,"venue":null,"work_id":"6ff32397-0595-4ac2-9e9f-5c62631813e2","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:17.565844Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:51663e95747be7a31cf2a3db317cbdc7cd9c3ba9d44d5659a6f50b9fc10a4e7d","observation_id":"275a7487-9ffa-4073-90b1-7f2034a2936f","resolution":{"observed_at":"2026-08-05T18:29:38.258713Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:37.969578Z","title":null,"venue":null,"work_id":"2261a1b3-a5bb-4cee-99b4-53a65abce492","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:17.685405Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:616e2ba08cc015dd6a7d2487be611379d2c01486744a1c8fbd1d07562c45e8a6","observation_id":"cb1c6d39-f640-4771-ad5c-7a20142f0d69","resolution":{"observed_at":"2026-08-05T18:29:38.080727Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:39.058682Z","title":null,"venue":null,"work_id":"c43bb2ab-961c-4abe-9b3b-55e0fd0befb2","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:17.082194Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:21a7ee61ab0e0eda213f57aecdf604ea887982cc9c61ab7ffa7077b9990f02d2","observation_id":"a92ad39b-d63c-47e9-b6d0-10593c285b95","resolution":{"observed_at":"2026-08-05T18:29:39.155005Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:37.586157Z","title":null,"venue":null,"work_id":"717d38e8-c176-48d9-acb9-b5c851c1e77f","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:17.959193Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:10a56b620e5619b41884c8ba30e2ea6589d5a69b2bb3869e47be5a3058b4c34d","observation_id":"7e76645d-3f0c-4a03-9aeb-8786577144bf","resolution":{"observed_at":"2026-08-05T18:29:37.682259Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:38.378501Z","title":null,"venue":null,"work_id":"09161eed-84af-49ba-bac8-12ad23a8b768","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:17.430537Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:014e8b5132596787e059c103c8adaaf5279c85c070f3f56db37f5f90ccc28599","observation_id":"0976ef68-8b61-438b-a8f4-21a7ed369747","resolution":{"observed_at":"2026-08-05T18:29:38.543360Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:37.191484Z","title":null,"venue":null,"work_id":"7510f21d-1aa7-440d-8300-010783c040c8","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:18.288715Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:b8ccba6c956e5257a5a7bbdae646034a1d582e8f63c52a69f5b5b469aa42bfe2","observation_id":"e48a0e8e-ef77-462f-a1a6-060cdaea377e","resolution":{"observed_at":"2026-08-05T18:29:37.293215Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:36.998701Z","title":null,"venue":null,"work_id":"5a3cf599-af1b-41bf-a659-30338d224344","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:18.451049Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:0ffcd503a7395ef6a77324ab78cfbbcd2d3e2f619da3c8032c71335bbc791e8a","observation_id":"734e5f44-5ea8-4b2d-b7b4-70b7eddb5f17","resolution":{"observed_at":"2026-08-05T18:29:37.083258Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:37.766636Z","title":null,"venue":null,"work_id":"dab59802-b7ee-4169-8304-f04aea723e0b","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:17.824479Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:da20525bf0b6101ae35f22e6171b96d0e3a46a3074ffd26051c6aea0574331ed","observation_id":"61111ebc-bf29-4a3c-b278-6d29a9ef19c2","resolution":{"observed_at":"2026-08-05T18:29:37.871250Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:36.494081Z","title":null,"venue":null,"work_id":"d44185a8-182e-4417-8272-1ca9348a0844","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:18.771130Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:79679f4e427a7826928f970105fe095c7ae4fa21dea4735541b28397125ac668","observation_id":"35a2b2d5-9389-405e-8be0-111d6d721b06","resolution":{"observed_at":"2026-08-05T18:29:36.598210Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:37.412604Z","title":null,"venue":null,"work_id":"cc9a0fb2-560f-4a5d-a7af-37680a23452a","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:18.127054Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:084dff004791dda090eb14aeeee213abdacfc0e2a487f6c5385f06c2ea27870c","observation_id":"134586e5-e53c-43a6-8b2b-0e1eafc0f432","resolution":{"observed_at":"2026-08-05T18:29:37.509191Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:36.114767Z","title":null,"venue":null,"work_id":"9206bd82-b35d-448c-ab83-9495ec73f22d","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:19.121213Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:1393f5f3483f96869ac3fabb80df97d4e76fff2096d5ae1167e38dab08db0114","observation_id":"e7f982fa-e9e1-4db2-8555-aea1dc2abd70","resolution":{"observed_at":"2026-08-05T18:29:36.221691Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:35.859318Z","title":null,"venue":null,"work_id":"9e24b72b-efff-49f9-bfd3-5ae8e9f0c2ca","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:19.248533Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:f8a53ef6a99e8309514d1ae91d2c6a71326b5cb4b3d92d6b702620a3ac05060e","observation_id":"8224a15a-e2ba-4d3c-a008-d5968b9b82be","resolution":{"observed_at":"2026-08-05T18:29:36.019235Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:36.768463Z","title":null,"venue":null,"work_id":"aa68f721-9218-41f3-94ce-4fafdc790c74","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:18.606176Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:0086a2ce8ec4a89d9ebfbe458f88815c829af3d9416bb5bd4a4396ec0ab15882","observation_id":"3089c966-5447-4c12-9121-ebb6cd695759","resolution":{"observed_at":"2026-08-05T18:29:36.931692Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:35.139357Z","title":null,"venue":null,"work_id":"4322fbac-21c8-4bad-be3b-952d90929b69","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:19.500258Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:0754065e691b5bc6b9c526984177358cf07c659b29551ab30cd7c2017a236173","observation_id":"48f801ea-390b-40da-a7a2-dc9ed5fa0d7d","resolution":{"observed_at":"2026-08-05T18:29:35.285166Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:36.294808Z","title":null,"venue":null,"work_id":"5463f874-0e95-4ecd-9c7e-a947cc77b138","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:18.940415Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:a73da6828058747586bf1582dff93232e375d0217d9df369c620516853a744e4","observation_id":"6d726e83-f547-4d85-b101-98f3eac40cfe","resolution":{"observed_at":"2026-08-05T18:29:36.386434Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:38.686120Z","title":null,"venue":null,"work_id":"5b23d1e7-b2fb-4a3d-8314-f42f506ee3bd","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:17.285064Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:6b18334d2449d3cc01e46aeb4634b09fa66b639e6b6e52c8858894b04d3cb454","observation_id":"9f407eef-d370-4044-bfbe-12f573f4e9dc","resolution":{"observed_at":"2026-08-05T18:29:38.870553Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:34.425145Z","title":null,"venue":null,"work_id":"28e9daab-a83a-4a46-8e4b-c96b6dc76289","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:20.095652Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:4fc6710c63d1e508d1019528361d346a9e12a394827f5adb68092e636dd684fb","observation_id":"b173d5f1-649e-4bae-8b1e-e7eef9c8bbb3","resolution":{"observed_at":"2026-08-05T18:29:34.508374Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:35.453423Z","title":null,"venue":null,"work_id":"2035123a-1b5f-419d-8a0d-cb52dba69a94","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:19.381533Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:ba54142a9dca9a56b51936740c754f9fb8e8cf37a6ccf991bd40c6a5b489ddda","observation_id":"48b993eb-4a43-445f-a460-f9c5d05d86dd","resolution":{"observed_at":"2026-08-05T18:29:35.638489Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:34.066637Z","title":null,"venue":null,"work_id":"cba1d6cd-87bc-4278-89a0-67faa34a531d","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:20.441383Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:4d9f2b7323e18ba179c6b48df4315f598d5aa50ca3f911f999b090b27814cef2","observation_id":"c7978f81-14b9-48fe-9b89-ad3dfbd5524d","resolution":{"observed_at":"2026-08-05T18:29:34.147819Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:34.950941Z","title":null,"venue":null,"work_id":"cb032a05-4913-4508-b77c-e2eb4a803769","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:19.636578Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:3d18bd7d3cd4f4da1a8449d39394caa9d5037614b10028d961ad9879c05c1030","observation_id":"905e0aee-2e5d-419d-9b71-1f3580e0ca4a","resolution":{"observed_at":"2026-08-05T18:29:35.038607Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:34.777635Z","title":null,"venue":null,"work_id":"cb94f535-263a-4f38-812f-6e26794bfcc0","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:19.769838Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:b3c64dd8d03fbb94e54e963758d0a5c321bb431e42da095ae55e5a18b20ecc5c","observation_id":"fa096da6-18e2-4c2e-b757-9c015a5b508e","resolution":{"observed_at":"2026-08-05T18:29:34.862005Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:34.567978Z","title":null,"venue":null,"work_id":"ff169701-6b1a-446e-91fa-f09049cc1110","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:19.919203Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:453fec6b0e4bf7f057fdcd4f0271ef260c8066cd1e46680ff8883a7d06049a21","observation_id":"d13c6ceb-c7f1-4563-a8c6-fafd62b4a1db","resolution":{"observed_at":"2026-08-05T18:29:34.664135Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:33.110060Z","title":null,"venue":null,"work_id":"22930b63-5a95-4b0d-8c30-390a16700d7a","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:21.340013Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:664426ef4274c8c5c59ebe87382c142fb6c8449d8d72ed187af9f06678fa3d6f","observation_id":"8fde1551-9e16-4bd3-a7f7-7bc978533180","resolution":{"observed_at":"2026-08-05T18:29:33.189980Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:34.248820Z","title":null,"venue":null,"work_id":"1e1505f9-a1ad-458d-945f-595670de393a","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:20.232341Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:aeec8497147f3b68eceb8c0ead0ab4b8b3f4ea11021e2bc96cc4436a7d02321a","observation_id":"7121c7ac-8936-48ae-bd54-453640ee9cc8","resolution":{"observed_at":"2026-08-05T18:29:34.353373Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:32.748844Z","title":null,"venue":null,"work_id":"f9f176ed-41e6-4d5d-9424-299aca447f3d","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:21.698949Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:93618b2551d6ed324229f76dbdc7983f545b1601cd9502bb05e1e4e7e69057c1","observation_id":"64ecf802-382c-497f-8584-b1e026652142","resolution":{"observed_at":"2026-08-05T18:29:32.817357Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:33.875626Z","title":null,"venue":null,"work_id":"c5675a2f-ac04-46ee-b3aa-c33ae48b521d","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:20.599497Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:8722f7cdb1bb0f50d4d0100a2fb628faaaf73d88f1c413070c42bc1b9963e9c0","observation_id":"dd2c11ee-69b0-484d-8ebd-77e671eea72a","resolution":{"observed_at":"2026-08-05T18:29:33.985595Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:33.684430Z","title":null,"venue":null,"work_id":"092b7e2a-4adc-4b25-a398-1fb55613c9b3","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:20.780095Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:d625c237ab00f72e6cb27cc0b38aaac46f320f69db179403274698e8382945da","observation_id":"bb0f1505-a8c7-4d7f-8059-aa50594fe534","resolution":{"observed_at":"2026-08-05T18:29:33.795459Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:32.249305Z","title":null,"venue":null,"work_id":"afad280e-d945-4e35-af2b-19a7d75993ce","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:22.163351Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:a1efcaeffdab064339131711ce38a4f09d2c567b2c6af87693b694183bce3f0a","observation_id":"198ef7cd-3af9-4790-9636-6acf94a60a92","resolution":{"observed_at":"2026-08-05T18:29:32.305160Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:33.302395Z","title":null,"venue":null,"work_id":"0b5ef3ee-a6dd-43f1-863b-b1d2310a550b","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:21.135983Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:006b10442bb412eb473767ab26ee4d0ac1065bf5470a6fa8c18ed64dbec3f0fa","observation_id":"c9c7c863-a56a-4c7c-bb2f-1e6a98b11894","resolution":{"observed_at":"2026-08-05T18:29:33.398141Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:31.524617Z","title":null,"venue":null,"work_id":"784fd3ab-ce17-431c-a8db-9da37482240d","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:22.678189Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:c7cdadc9aeab80b29b52e7dc0f5cbe3e0d4a49a82af2b1ebaf430ce993877afe","observation_id":"f3dfd3a2-4775-429e-8389-01215b481400","resolution":{"observed_at":"2026-08-05T18:29:31.679995Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:32.917816Z","title":null,"venue":null,"work_id":"54e155fe-f522-49fc-a3c5-26460b4c65b7","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:21.524803Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:092058cc23023077874052092589aef0c405adb7414f77032941bf7937ece462","observation_id":"9b7c48f3-7501-41fc-8745-ec0392e125a9","resolution":{"observed_at":"2026-08-05T18:29:33.021552Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:31.011366Z","title":null,"venue":null,"work_id":"17536763-06b5-42d9-92a1-20cfe7665afe","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:23.012216Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:691e74e491ea57207907a55a83ea1a333ba11666a57281fc8272a3a0f3d34647","observation_id":"76f58818-7b19-4da1-b059-3d00b454e283","resolution":{"observed_at":"2026-08-05T18:29:31.171938Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:32.587803Z","title":null,"venue":null,"work_id":"844e71e8-0811-49c6-a5d0-268487229cff","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:21.837888Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:e3c1d56df8f4bffd97d4da5718b7ce0fde89682d208d260b33d4bbfc1adb7850","observation_id":"7f12b5ed-cbf1-4a94-ad4d-493ef4848411","resolution":{"observed_at":"2026-08-05T18:29:32.632718Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:32.418848Z","title":null,"venue":null,"work_id":"5222c5f9-8f70-4eab-b77c-168a2768dae8","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:21.986685Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:0356a1042eb4c74a3c8231854fa375bd49d929f729b390076b4b647cef774cb8","observation_id":"a5d3773f-1408-4fbf-a276-e78a044ae674","resolution":{"observed_at":"2026-08-05T18:29:32.488233Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:29.857867Z","title":null,"venue":null,"work_id":"33e3177a-bd9d-4edb-be2c-d74e6cdab8ae","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:23.658985Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:fe7ac5fa7be55d9d924a6787e356619f81ae10448ba1e623321c910698809c25","observation_id":"e4f34d10-1ac0-4612-953f-a7abbda39475","resolution":{"observed_at":"2026-08-05T18:29:29.992811Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:29.507784Z","title":null,"venue":null,"work_id":"742c22e0-25ed-441f-a8ce-e125c869f047","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:23.789572Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:5cb1fbb9b16cff724531c2e761ccccf56f35e4798264bae56f15e97b81bf77d5","observation_id":"c032db25-13a9-4543-bfff-69d881b38781","resolution":{"observed_at":"2026-08-05T18:29:29.734274Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:33.511521Z","title":null,"venue":null,"work_id":"26acbf21-3755-4a4e-b490-597dac3e23de","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:20.924755Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:bc7f7497d3b62104fbcc578dae3fd5731ada4d5d2c99c72dce12d5a0474e073e","observation_id":"072e5b68-8c83-42cf-af25-1ca955a56894","resolution":{"observed_at":"2026-08-05T18:29:33.584406Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:31.815988Z","title":null,"venue":null,"work_id":"9d6b7e6d-fabc-4ddb-a7c7-4a8ec81c54e0","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:22.537777Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:04716b75965199709aebf014145e2ef52315a0a10cfff6a1ef2276437ee59a17","observation_id":"f1f1e9c2-4410-4bd5-85a3-4c2b07ae8754","resolution":{"observed_at":"2026-08-05T18:29:31.930986Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:31.335876Z","title":null,"venue":null,"work_id":"f69a841c-be04-42d9-8a8e-da2027404792","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:22.835576Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:4168a06beb9a2244c269a1ae843e011effb75f4c347d764db45dbd8e600a43c6","observation_id":"a9c00060-5bdc-41f1-b757-e930c6e86ece","resolution":{"observed_at":"2026-08-05T18:29:31.405926Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:30.728170Z","title":null,"venue":null,"work_id":"5ce1ed83-05da-4962-8c25-44b6662eb85b","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:23.231196Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:5ef95c6a6f7b7a82956475e425231bbe2599718bcc9bdc2e96192f3714835b62","observation_id":"d306d3f8-d0cf-47b6-8f0e-904859632573","resolution":{"observed_at":"2026-08-05T18:29:30.840962Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:30.439332Z","title":null,"venue":null,"work_id":"1f912ebb-2880-40e5-a2bc-bfbeaa665eaa","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:23.380452Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:2c377cdf1c5b3b618c568ab667dd2333c846c5b9ee4bbaf34a0fd03570a06bd4","observation_id":"740b8ca2-2f21-4a4c-9eb1-747dd3733ed9","resolution":{"observed_at":"2026-08-05T18:29:30.588263Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:30.139942Z","title":null,"venue":null,"work_id":"79cfa8c1-da79-4b81-9368-871a5c3d0c41","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:23.508858Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:d32eb8e4382bcd47e02c5dfe69721cb5c9e81166e83229470aaf28346259c204","observation_id":"f543099d-9c8f-437f-bd97-8e2f0f703621","resolution":{"observed_at":"2026-08-05T18:29:30.283710Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:32.064127Z","title":null,"venue":null,"work_id":"458b3e89-c7f0-48b8-bf7f-b2848789cc76","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:22.332396Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:6c5d68d16154cb5e71a796bdc93e471b20e810a5ef9b87f3bcf1907bc122135b","observation_id":"95c70ef7-4eb2-4b53-97b3-59ac0055656e","resolution":{"observed_at":"2026-08-05T18:29:32.161315Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:29.196749Z","title":"PythagoreanTheorem_point","venue":null,"work_id":"77ffa5e8-6ae3-40c3-8513-08ce628c59d3","year":2000},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:23.947264Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:9088bea5a1e03c96efc47e22a8003c853b9fbe1a5b61c9ed9955f8e1c737999b","observation_id":"f8c0d886-55fc-45cf-8a6c-15f853b7e6d3","resolution":{"observed_at":"2026-08-05T18:29:29.353219Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:28.867296Z","title":"have hX: P := by","venue":null,"work_id":"7b56b55e-9259-48b2-b143-c3fbbe6c90e2","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:24.169347Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:a300127ebf0e2e41d3a1223ccfa3735d0b96d7e2d721e1a1789e44dc6eac6def","observation_id":"eea6cbb5-73c3-4264-9872-4619e16067d2","resolution":{"observed_at":"2026-08-05T18:29:29.036610Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:28.589369Z","title":"euclid_apply intersection_lines L1 L2 as O","venue":null,"work_id":"c7efd107-5e34-409d-a372-b261d2ca6ef2","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:24.337431Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:93b017a507f82d70ca7d4d6a533794262ef7984680e0efd3126f843393891585","observation_id":"93ece000-0e66-44d0-b90a-cfd367b3da67","resolution":{"observed_at":"2026-08-05T18:29:28.719800Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:28.305477Z","title":null,"venue":null,"work_id":"d68dcf43-234e-461e-82e6-d8e8faf3b4b5","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:24.532141Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:3caae3ce99e9d39c53f94bb167989ab453477c621a7a224ec3324acd045bd274","observation_id":"aa41af67-416a-46d1-b4db-58dbd7d903e6","resolution":{"observed_at":"2026-08-05T18:29:28.451131Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:28.029077Z","title":"euclid_assert","venue":null,"work_id":"2d6b8f4c-866e-4814-b265-e1cb40eaa7dd","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:24.654789Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:b24f9f5358fd90d9bc895563ac268a2f2c710fcb2e0fad4e3eae023682cdd3a7","observation_id":"9ee17e5d-f300-48f7-8a93-7912c4aa92e0","resolution":{"observed_at":"2026-08-05T18:29:28.202402Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:27.633079Z","title":"*\" symbol for multiplication, please ensure there is a space on both sides of the","venue":null,"work_id":"d266b8ba-63c0-4d9b-af82-4a7ed3f8e0fa","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:24.833580Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:64d2d9154cb6a4fd7376978101660085ffa8686fd0490a96ac673d3937b7bebf","observation_id":"afed9d6e-e2af-45b5-83d9-85520245fee8","resolution":{"observed_at":"2026-08-05T18:29:27.811372Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:27.263423Z","title":"coll_angles_eq","venue":null,"work_id":"d91b1d87-9653-4aaa-831f-854b9103c67b","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:25.018308Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:a0a96bc5829516167bdae46e8f4cdf80578564a892050966af35c4ffa0978db8","observation_id":"3bcd79e5-0d87-43aa-8e71-5f071a5847d3","resolution":{"observed_at":"2026-08-05T18:29:27.420315Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:26.894140Z","title":"Right Triangle ABC with right angle ABC","venue":null,"work_id":"d6f782f9-467a-4aa1-9fdf-133ca6d360cd","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:25.214638Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:fb19875c25a9db28dc1e404b668f1f34cab7a1633c4f33b909e7cb1e18e210dc","observation_id":"7f0f7f76-f73d-4283-a263-93ec9db7a4db","resolution":{"observed_at":"2026-08-05T18:29:27.119214Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:26.553692Z","title":"euclid_apply line_from_points X Y as XY","venue":null,"work_id":"bd2b767a-4359-4dca-be03-6e138fece103","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:25.398888Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:e9dac926e8bf5c285137bdc51ac834d375ea58774a98ffcaae1203838ee74925","observation_id":"3527df98-2823-4cad-99bd-4ee86714fef0","resolution":{"observed_at":"2026-08-05T18:29:26.700464Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:26.237003Z","title":"euclid_apply","venue":null,"work_id":"c32a43b0-0b21-480a-a2d7-a513ea9bebcc","year":null},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:25.613283Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:6fddea001c1fe8de8be37bbb08d230320adece570f8197233598519a89890324","observation_id":"f4873c02-57fe-4a57-ad01-886bbfa68256","resolution":{"observed_at":"2026-08-05T18:29:26.373378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:29:15.917207Z","title":"� \" a \":","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:15.917207Z"},"links":{"citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:a7fc76133ddd8c900dcfc220fd994380a5c95f388cd62821b4b8cbd8a2d7c49a","observation_id":"7c1ddb19-a851-4036-8a8c-5c22f425aaf0","resolution":{"observed_at":"2026-08-05T18:29:15.917207Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.23726","last_updated":"2025-08-01T03:36:47Z","snapshot_observed_at":"2026-08-07T12:23:31.292936Z","submitted_at":"2025-07-31T17:00:30Z","title":"Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.23726","snapshot_observed_at":"2026-08-05T18:29:15.640959Z","title":"Art of Problem Solving","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-05T18:29:15.640959Z"},"links":{"cited_paper":"/paper/2507.23726","citing_paper":"/paper/2508.14644"},"observation_digest":"sha256:02e1c96d22abc5bfad869fb827f853fdc6843f81826950732538114a31ea26d2","observation_id":"e5a79f9f-ed3c-4925-9f8c-e20a5e5ba41f","resolution":{"observed_at":"2026-08-05T18:29:15.640959Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2508.14644","last_updated":"2025-08-20T11:55:19Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-05T18:29:12.813595Z","submitted_at":"2025-08-20T11:55:19Z","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean"},"reference_resolution":{"displayed":62,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":2,"unresolved":50,"verified_exact":1,"verified_fuzzy":9},"total_outbound_references":62},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"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."}