{"as_of":"2026-08-20T09:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:df6d83d7408d6f1e318c9a02dce16fa0dd5db8f68a3f94a7c3374db5c57595d1","coverage":[{"denominator":7,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":7,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T18:17:57.627638Z","state":"measured"},{"denominator":8,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":8,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-21T06:05:45.046156Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-21T06:09:41.574271Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2411.11938","last_updated":"2024-11-18T16:24:21Z","snapshot_observed_at":"2026-08-14T15:50:25.202197Z","submitted_at":"2024-11-18T16:24:21Z","title":"Newclid: A User-Friendly Replacement for AlphaGeometry","version":1},"cited_work":{"arxiv_id":"2411.11938","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2411.11938","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Newclid: A user-friendly replacement for AlphaGeometry","venue":null,"work_id":"d033d194-0639-49fc-8b1e-f7f8b2f89563","year":2024},"citing_paper":{"arxiv_id":"2605.20743","last_updated":"2026-05-20T05:46:14Z","snapshot_observed_at":"2026-08-08T11:59:06.555688Z","submitted_at":"2026-05-20T05:46:14Z","title":"Draw2Think: Harnessing Geometry Reasoning through Constraint Engine Interaction","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-21T06:05:45.046156Z"},"links":{"cited_paper":"/paper/2411.11938","citing_paper":"/paper/2605.20743"},"observation_digest":"sha256:86a2eacb31f824f4e77ae71ded7fad8ece31bc83b98d358113d5813f7d2cd41e","observation_id":"688fc727-7bea-4dc9-ba89-c9cf98fc0e74","resolution":{"observed_at":"2026-05-21T06:09:41.575873Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2411.11938/citation-record","integrity":"/paper/2411.11938/integrity","json":"/paper/2411.11938/citation-record.json","paper":"/paper/2411.11938"},"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-12T18:17:57.728820Z","title":"A deductive database approach to automated geometry theorem proving and discovering","venue":null,"work_id":"79cbfe1f-57ea-4d52-b8fe-6ecff03feeb5","year":2000},"citing_paper":{"arxiv_id":"2411.11938","last_updated":"2024-11-18T16:24:21Z","snapshot_observed_at":"2026-08-14T15:50:25.202197Z","submitted_at":"2024-11-18T16:24:21Z","title":"Newclid: A User-Friendly Replacement for AlphaGeometry","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-12T18:17:57.600932Z"},"links":{"citing_paper":"/paper/2411.11938"},"observation_digest":"sha256:e7b6458d9b17f8a59046f716329983fc6e553e32410b86e45486b0e376e61742","observation_id":"ff89fd59-8965-474c-b9ad-dbb8bd981302","resolution":{"observed_at":"2026-08-12T18:17:57.733036Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-12T18:17:57.605537Z","title":"Hypertree proof search for neural theorem proving","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.11938","last_updated":"2024-11-18T16:24:21Z","snapshot_observed_at":"2026-08-14T15:50:25.202197Z","submitted_at":"2024-11-18T16:24:21Z","title":"Newclid: A User-Friendly Replacement for AlphaGeometry","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-12T18:17:57.605537Z"},"links":{"citing_paper":"/paper/2411.11938"},"observation_digest":"sha256:6cde5cc3bd222edb3a052bc7d9d71966c57da7f554ac695d0bf49fd5aa0772c3","observation_id":"dbaaa9da-2c42-4745-81a7-213c8ba4e53c","resolution":{"observed_at":"2026-08-12T18:17:57.605537Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.06405","last_updated":"2024-04-11T14:37:29Z","snapshot_observed_at":"2026-08-16T14:02:20.434152Z","submitted_at":"2024-04-09T15:54:00Z","title":"Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.06405","snapshot_observed_at":"2026-08-12T18:17:57.609343Z","title":"Wu's M ethod can B oost S ymbolic AI to R ival S ilver M edalists and A lpha G eometry to O utperform G old M edalists at IMO G eometry","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.11938","last_updated":"2024-11-18T16:24:21Z","snapshot_observed_at":"2026-08-14T15:50:25.202197Z","submitted_at":"2024-11-18T16:24:21Z","title":"Newclid: A User-Friendly Replacement for AlphaGeometry","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-12T18:17:57.609343Z"},"links":{"cited_paper":"/paper/2404.06405","citing_paper":"/paper/2411.11938"},"observation_digest":"sha256:c853e822eaeac78f2c6361487638c935107e6f061e6553efea8030ae4af37232","observation_id":"8fd139c2-6da1-40d8-a7ac-7da8cf1ba300","resolution":{"observed_at":"2026-08-12T18:17:57.609343Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:17:57.707908Z","title":"52nd International Mathematical Olympiad Problem : Shortlist With Solutions","venue":null,"work_id":"1938d705-ee20-4772-badf-e812b4c4ba69","year":2011},"citing_paper":{"arxiv_id":"2411.11938","last_updated":"2024-11-18T16:24:21Z","snapshot_observed_at":"2026-08-14T15:50:25.202197Z","submitted_at":"2024-11-18T16:24:21Z","title":"Newclid: A User-Friendly Replacement for AlphaGeometry","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-12T18:17:57.613966Z"},"links":{"citing_paper":"/paper/2411.11938"},"observation_digest":"sha256:669c2cf9adf58075486589749c1af5c7c8f1d8208b75b3684ff9ab1c94e1af24","observation_id":"1629f73c-7870-403d-8f42-aa128c10b382","resolution":{"observed_at":"2026-08-12T18:17:57.712935Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-12T18:17:57.696083Z","title":"Trinh, Yuhuai Wu, Quoc V","venue":null,"work_id":"7ae311e1-8ce0-4c15-911b-ec552856e182","year":2024},"citing_paper":{"arxiv_id":"2411.11938","last_updated":"2024-11-18T16:24:21Z","snapshot_observed_at":"2026-08-14T15:50:25.202197Z","submitted_at":"2024-11-18T16:24:21Z","title":"Newclid: A User-Friendly Replacement for AlphaGeometry","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-12T18:17:57.619236Z"},"links":{"citing_paper":"/paper/2411.11938"},"observation_digest":"sha256:ec397beddbbf64855a3d6b664500700cfb06b877683eb3112a02a1bab67f0d6f","observation_id":"6250c475-1908-417a-8f40-6de6a1db5a5e","resolution":{"observed_at":"2026-08-12T18:17:57.700058Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1360/ya1978-21-2-159","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:17:57.654564Z","title":"On the decision problem and the mechanization of theorem-proving in elementary geometry","venue":null,"work_id":"521846a9-af1f-48a1-bb49-c64e20c79eb0","year":1978},"citing_paper":{"arxiv_id":"2411.11938","last_updated":"2024-11-18T16:24:21Z","snapshot_observed_at":"2026-08-14T15:50:25.202197Z","submitted_at":"2024-11-18T16:24:21Z","title":"Newclid: A User-Friendly Replacement for AlphaGeometry","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-12T18:17:57.623378Z"},"links":{"citing_paper":"/paper/2411.11938"},"observation_digest":"sha256:c6af1ada1f10d641a45542b8ee6ed1678e44bd62b6aa95729e3a912205a86756","observation_id":"c90ac1ff-5bee-4bcc-bdc0-cb754390b268","resolution":{"observed_at":"2026-08-12T18:17:57.662111Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-12T18:17:57.682433Z","title":"An I ntroduction to J ava G eometry E xpert","venue":null,"work_id":"8c416918-c1b6-4102-8b05-a09ff94f8374","year":2008},"citing_paper":{"arxiv_id":"2411.11938","last_updated":"2024-11-18T16:24:21Z","snapshot_observed_at":"2026-08-14T15:50:25.202197Z","submitted_at":"2024-11-18T16:24:21Z","title":"Newclid: A User-Friendly Replacement for AlphaGeometry","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-12T18:17:57.627638Z"},"links":{"citing_paper":"/paper/2411.11938"},"observation_digest":"sha256:c2fdef1940ce387bf3199c8808a7c420fdb5ca7769d681e48696662233554d02","observation_id":"215e124b-8b9e-4bf6-b161-9d474f568d57","resolution":{"observed_at":"2026-08-12T18:17:57.687059Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.11938","last_updated":"2024-11-18T16:24:21Z","latest_version":1,"primary_category":"cs.GR","snapshot_observed_at":"2026-08-14T15:50:25.202197Z","submitted_at":"2024-11-18T16:24:21Z","title":"Newclid: A User-Friendly Replacement for AlphaGeometry"},"reference_resolution":{"displayed":7,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":1,"verified_fuzzy":4},"total_outbound_references":7},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 7 of 7 outbound references and 1 inbound Pith citation observation for arXiv:2411.11938."}