{"as_of":"2026-08-20T13:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:596e10382f612c700b9997327ff11e443cb40d4bde662c44c1037543509b1546","coverage":[{"denominator":138,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T15:47:53.786758Z","state":"measured"},{"denominator":103,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":103,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T10:30:44.725641Z","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-16T13:27:55.770781Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"cited_work":{"arxiv_id":"2412.10673","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2412.10673","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Proposing and Solving Olympiad Geometry with Guided Tree Search","venue":null,"work_id":"e68f5ebb-113f-4d46-a77b-f02abc785ee9","year":2024},"citing_paper":{"arxiv_id":"2502.17419","last_updated":"2025-06-25T02:24:46Z","snapshot_observed_at":"2026-08-20T08:13:05.630967Z","submitted_at":"2025-02-24T18:50:52Z","title":"From System 1 to System 2: A Survey of Reasoning Large Language Models","version":6},"reference_index":153,"source":"pdf_text","source_observed_at":"2026-05-13T01:36:23.845366Z"},"links":{"cited_paper":"/paper/2412.10673","citing_paper":"/paper/2502.17419"},"observation_digest":"sha256:f370e5888f2cd2e6d475c8a4ecf4ec9cb6a4171eddc69dfa5a8869c042173f1f","observation_id":"50045539-7478-4e03-a641-4c46f81c10a4","resolution":{"observed_at":"2026-05-13T01:36:24.151837Z","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"}},{"citation":{"cited_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.10673","snapshot_observed_at":"2026-08-06T10:30:44.725641Z","title":"Proposing and solving olympiad geometry with guided tree search.arXiv preprint arXiv:2412.10673, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.23726","last_updated":"2025-08-01T03:36:47Z","snapshot_observed_at":"2026-08-15T06:06:32.807242Z","submitted_at":"2025-07-31T17:00:30Z","title":"Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T10:30:44.725641Z"},"links":{"cited_paper":"/paper/2412.10673","citing_paper":"/paper/2507.23726"},"observation_digest":"sha256:027686c5bf33c5c89188e095b53c1ebc990f721e261ce58503ae0dbac26bdfe1","observation_id":"742ac160-d0db-4f78-b181-0067e120d3db","resolution":{"observed_at":"2026-08-06T10:30:44.725641Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"cited_work":{"arxiv_id":"2412.10673","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2412.10673","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Proposing and Solving Olympiad Geometry with Guided Tree Search","venue":null,"work_id":"e68f5ebb-113f-4d46-a77b-f02abc785ee9","year":2024},"citing_paper":{"arxiv_id":"2601.13209","last_updated":"2026-05-02T15:26:09Z","snapshot_observed_at":"2026-08-14T08:20:39.835875Z","submitted_at":"2026-01-19T16:38:18Z","title":"AI for Mathematics: Progress, Challenges, and Prospects","version":5},"reference_index":169,"source":"pdf_text","source_observed_at":"2026-05-16T13:24:57.923863Z"},"links":{"cited_paper":"/paper/2412.10673","citing_paper":"/paper/2601.13209"},"observation_digest":"sha256:acfb78a701331c74f623b5fda6876fe1acf3a3687045f49ab31c43618a59ace1","observation_id":"56c1f095-ee89-4e34-8151-09d6d61f26b9","resolution":{"observed_at":"2026-05-16T13:27:55.773243Z","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/2412.10673/citation-record","integrity":"/paper/2412.10673/integrity","json":"/paper/2412.10673/citation-record.json","paper":"/paper/2412.10673"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.396044Z","title":"Selsam, et al., IMO Grand Challenge","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.396044Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:c3d192d4411c48105ad83cf69aa0b1258497d3d87fc69aa2630ae63f7563b82e","observation_id":"a893f070-cd65-4692-9a18-70a19c4663ae","resolution":{"observed_at":"2026-08-11T15:47:53.396044Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.400339Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.400339Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:9447a1481f89465daa818080c831468248f7370df6172a68b24b5123234869f7","observation_id":"f5921597-614c-4269-bc18-b0d2eb16f9ae","resolution":{"observed_at":"2026-08-11T15:47:53.400339Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2009.03393","last_updated":"2020-09-07T19:50:10Z","snapshot_observed_at":"2026-08-18T11:16:18.404679Z","submitted_at":"2020-09-07T19:50:10Z","title":"Generative Language Modeling for Automated Theorem Proving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2009.03393","snapshot_observed_at":"2026-08-11T15:47:53.404544Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.404544Z"},"links":{"cited_paper":"/paper/2009.03393","citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:2519d7fa3c6c4a12e9c3acdec6c8a89c2a6ddc3e2436ba6b93a6b82ace70a83d","observation_id":"495abad1-a272-441e-8cea-f5fdab9abf4e","resolution":{"observed_at":"2026-08-11T15:47:53.404544Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.00110","last_updated":"2022-02-28T06:03:23Z","snapshot_observed_at":"2026-08-20T12:19:00.247030Z","submitted_at":"2021-08-31T23:21:12Z","title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.00110","snapshot_observed_at":"2026-08-11T15:47:53.409111Z","title":"Zheng, J","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.409111Z"},"links":{"cited_paper":"/paper/2109.00110","citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:c30c3982586644fbf6969286340fae762a421acf2937519767d63664949beed4","observation_id":"5ab4dcec-9cac-44b5-b4a0-c2834a4ce754","resolution":{"observed_at":"2026-08-11T15:47:53.409111Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-11T15:47:53.413646Z","title":"Polu, et al","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.413646Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:a7ea8c98d0d110cb94753c2cd25e20d100a26145544624efd6cb3daa6a9b0f00","observation_id":"49a663e9-04ab-40e3-a937-1df6267141b0","resolution":{"observed_at":"2026-08-11T15:47:53.413646Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.418666Z","title":"Lample, et al., Hypertree proof search for neural theorem proving","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.418666Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:2eaa5005657ad0078accb92d89ec3653c33d932618fd436a8e429e66682f7095","observation_id":"38b37bb6-d14f-4289-abf3-fcd6effcd90b","resolution":{"observed_at":"2026-08-11T15:47:53.418666Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-17T09:58:46.058102Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-11T15:47:53.422324Z","title":"Achiam, et al., Gpt-4 technical report","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.422324Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:4a9a02047101a160c6a8de2852509b3280a9224a69000215c725fc037b519fa3","observation_id":"3106d347-5ccf-44e7-a5b4-2227ba544baf","resolution":{"observed_at":"2026-08-11T15:47:53.422324Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.13971","last_updated":"2023-02-27T17:11:15Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-02-27T17:11:15Z","title":"LLaMA: Open and Efficient Foundation Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.13971","snapshot_observed_at":"2026-08-11T15:47:53.427017Z","title":"Touvron, et al","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.427017Z"},"links":{"cited_paper":"/paper/2302.13971","citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:063f01bf37da6e1cd345a52614dbb5287f6c4711accea092897a2f23f7f58d9f","observation_id":"48ab6815-2f5a-4eb2-9236-30643ad6a51b","resolution":{"observed_at":"2026-08-11T15:47:53.427017Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.431194Z","title":null,"venue":null,"work_id":null,"year":1960},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.431194Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:0996a74eaab5b9a0ed0ee861d5d16a0f9e6574c0476a496d22b88af9e3f00e34","observation_id":"ee8bbfc8-e33b-430d-babc-e4990d6a6ead","resolution":{"observed_at":"2026-08-11T15:47:53.431194Z","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":"2010.16015","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:54.124259Z","title":"Mari ´c, et al., Formalizing IMO problems and solutions in Isabelle/HOL","venue":null,"work_id":"792e9b53-379e-48ec-b594-eed2cb2fc109","year":2020},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.434888Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:871d12c96a59fe6b85bf0f82886506e42429d38e021a8b27255389b9f0c65715","observation_id":"609d523a-7835-4ffc-aad7-574d76a46aec","resolution":{"observed_at":"2026-08-11T15:47:54.132163Z","resolver_source":"raw_fallback","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.438730Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.438730Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:783f784667caf09024a704621833da3abc98909dcf46a8bd90f674ce847525bd","observation_id":"20f91084-0504-421f-b943-1e753172180a","resolution":{"observed_at":"2026-08-11T15:47:53.438730Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.442174Z","title":"Chou, X.-S","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.442174Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:b3845a9989c61f0350426a887cd759269cd883f77f4964d338f3e99882150a79","observation_id":"7dd89571-ac74-4323-9fb5-16a2ce39df15","resolution":{"observed_at":"2026-08-11T15:47:53.442174Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.446500Z","title":"Sangwin, A brief review of GeoGebra: dynamic mathematics","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.446500Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:81717fb18ef25258e34a701bc034a69bde27ea3ed8380830c0cd8bd937eff5a8","observation_id":"5e0f5593-3fab-4973-9016-5898a55ac451","resolution":{"observed_at":"2026-08-11T15:47:53.446500Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.450323Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.450323Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:d08bd150139a0e09c6fec15bfd132fc25b5307a207898cf89830239def0694cd","observation_id":"1a069a43-a639-4046-bab1-c191db615d68","resolution":{"observed_at":"2026-08-11T15:47:53.450323Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.14196","last_updated":"2024-01-26T09:23:11Z","snapshot_observed_at":"2026-08-06T22:40:28.707813Z","submitted_at":"2024-01-25T14:17:53Z","title":"DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.14196","snapshot_observed_at":"2026-08-11T15:47:53.454052Z","title":"Guo, et al., DeepSeek-Coder: When the Large Language Model Meets Programming–The Rise of Code Intelligence","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.454052Z"},"links":{"cited_paper":"/paper/2401.14196","citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:67fb5ec9c8b6385bac09a2474722eeecbedda402a321a712bcc49159c57638dd","observation_id":"83f942f2-856c-446a-86c8-09c0981a3a34","resolution":{"observed_at":"2026-08-11T15:47:53.454052Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2203.15556","last_updated":"2022-03-29T13:38:03Z","snapshot_observed_at":"2026-08-09T19:52:33.533277Z","submitted_at":"2022-03-29T13:38:03Z","title":"Training Compute-Optimal Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2203.15556","snapshot_observed_at":"2026-08-11T15:47:53.458104Z","title":"Hoffmann, et al","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.458104Z"},"links":{"cited_paper":"/paper/2203.15556","citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:540b3d7a43b5d06c44ce47b0c85ae966b77dabd2134ed049f3d0d895a255997b","observation_id":"ba3682ed-2c9a-477d-8ad7-1bc3bb601062","resolution":{"observed_at":"2026-08-11T15:47:53.458104Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.462179Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.462179Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:42e185dd2bc62e0e296620a834e50b3be1148f34c3ef527ee9d161d24259a639","observation_id":"aee21ace-f7ac-451d-828d-62ab05091ef9","resolution":{"observed_at":"2026-08-11T15:47:53.462179Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.466075Z","title":"Chen, Euclidean geometry in mathematical olympiads , vol","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.466075Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:68185c93baf30528df98b59819c6cb032c9b9c0ceef618b75c60f8bb0d456666","observation_id":"b29f47c7-3243-4c6a-bde2-27fdff5f1482","resolution":{"observed_at":"2026-08-11T15:47:53.466075Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.469724Z","title":"Chen, A Guessing Game: Mixtilinear Incircles","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.469724Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:1272dcf15e6007a9912b2b4657d4cc6a30122e5c6ddd08d436a8ee0be7c3499e","observation_id":"5b280396-e87b-4b98-a89e-4627a102e47e","resolution":{"observed_at":"2026-08-11T15:47:53.469724Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.473310Z","title":"Chen, The Incenter/Excenter Lemma.URL https://web.evanchen.cc/handouts/Fact5/Fact5.pdf (2016)","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.473310Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:cb26c0b50b69764fe15b9178ec64b2da0c1e863d86dc68a4933b8a2238d743fd","observation_id":"ed16d89c-cfb3-4907-ac09-5893d444f80d","resolution":{"observed_at":"2026-08-11T15:47:53.473310Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.476779Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.476779Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:61e84436aa9769a77b7e33c24cb1d09c22dd36ba347c71c70ed4873e9955f533","observation_id":"ec6692a7-da18-47e4-9318-6821f68e8f47","resolution":{"observed_at":"2026-08-11T15:47:53.476779Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.481209Z","title":"Wu, On the decision problem and the mechanization of theorem-proving in elementary geometry, in Selected Works Of Wen-Tsun Wu(World Scientific), pp","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.481209Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:af5652ac4af1c29ae767a45a30d92713c4b8d0ed927fedec06d248343fd7e25d","observation_id":"b3ff6992-0019-4067-9a40-905f57c6cde4","resolution":{"observed_at":"2026-08-11T15:47:53.481209Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.484913Z","title":"Chou, Mechanical geometry theorem proving(Springer) (1988)","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.484913Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:dce07c72d4e23cea70dc96a3f1c885e208bd8b6339f929d129188111d5391d32","observation_id":"e38edd50-1d9b-4b6b-902d-c66056d9e692","resolution":{"observed_at":"2026-08-11T15:47:53.484913Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.489448Z","title":"Chou, Proving elementary geometry theorems using Wu’s algorithm, Ph.D","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.489448Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:2cfad3abd2b6903ae6c8abbeb9e7ec8908107d938a27236f440db159fe20a49e","observation_id":"930c20a9-f76c-423a-bf47-4096a41cc4d2","resolution":{"observed_at":"2026-08-11T15:47:53.489448Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.493113Z","title":null,"venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.493113Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:60ceb6361a85e3b45637d83eb586e6e6f1cfcd73f43586bd962b514c68cdec86","observation_id":"142b6a1d-b367-4a3a-aca0-5bc41a5368bd","resolution":{"observed_at":"2026-08-11T15:47:53.493113Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.496760Z","title":"Chou, X.-S","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.496760Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:e873cb5fcacace7e2b440f944a60987f3277149abed8bf866d076d83d79a998b","observation_id":"f0cf3861-dbcf-420f-8a84-ac58b92f703f","resolution":{"observed_at":"2026-08-11T15:47:53.496760Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.500312Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.500312Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:596f7ed8f53149e26dd2a132c9173b3649f43928bf0a2d5bf52d46ec2adca1d5","observation_id":"4bd0cff3-6ca4-4c80-b823-45efc5855c78","resolution":{"observed_at":"2026-08-11T15:47:53.500312Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.504055Z","title":"Chou, X.-S","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.504055Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:a3433927dd0973179c4fd4b2af8ca8819eccb930323f9e0a4e5bbde05bd8dff7","observation_id":"d5d557f6-8541-4383-9f2a-6b4e155ce151","resolution":{"observed_at":"2026-08-11T15:47:53.504055Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.507891Z","title":"Hilbert, The foundations of geometry (Open court publishing Company) (1902)","venue":null,"work_id":null,"year":1902},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.507891Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:d6f08adcc050f58d44e7a4809187946bc549d87b26dd6012f251161e3510a1b3","observation_id":"dece6b47-7413-408f-b1c0-ad10c6c9fe72","resolution":{"observed_at":"2026-08-11T15:47:53.507891Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.390071Z","title":"AlphaGeometry’s DD+AR approach notably improved upon Wu’s method (10 solves), yet its symbolic reasoning engine remains both redundant and suboptimal","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.390071Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:6dda18b170898da74584d9f3ae7d1b7c8228f7825f5d373ff15286e4044a17cc","observation_id":"32b0b603-47da-4a61-9d0d-1acb703a767d","resolution":{"observed_at":"2026-08-11T15:47:53.390071Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.511952Z","title":"Tarski, A decision method for elementary algebra and geometry, in Quantifier elimination and cylindrical algebraic decomposition (Springer), pp","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.511952Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:52ceb66e140b0577d0b9e91d400e329b2e40ba0cc19da39d9d056f4fccfee094","observation_id":"d4072eac-fa7f-4376-a4ad-82a855cb3ea9","resolution":{"observed_at":"2026-08-11T15:47:53.511952Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.515716Z","title":"Matsuda, K","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.515716Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:de9806a3d951966d63cd4551e52317f62712e7625ce06be6d611335dc9bdf1e9","observation_id":"3d49a122-8fd9-4cb3-81fc-2464dc0fe8db","resolution":{"observed_at":"2026-08-11T15:47:53.515716Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.519576Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.519576Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:0bcab6a0753aad8201f460cd619e397216d93bb46d6d9fae9517f21085eeb323","observation_id":"7716e11b-9831-442a-8e3a-ab3672855ac9","resolution":{"observed_at":"2026-08-11T15:47:53.519576Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.523258Z","title":"Schulz, E–a brainiac theorem prover","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.523258Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:9f2bea535f4ff0cca0d4cbf79c8ed5a9c67c20eeae66fe8444a5a8030654d9e1","observation_id":"e30e3641-9620-4502-80a9-e8c3111a8f5e","resolution":{"observed_at":"2026-08-11T15:47:53.523258Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.527074Z","title":"Weidenbach, et al., SPASS Version 3.5, inAutomated Deduction–CADE-22: 22nd Interna- tional Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.527074Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:7bb8caa1737d24cec5be87ebb5e58b8aca434443c39bb588bcf06c1620a9c571","observation_id":"5ada25dc-4055-428b-869e-a672bd7fc592","resolution":{"observed_at":"2026-08-11T15:47:53.527074Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.530699Z","title":"De Moura, N","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.530699Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:14c3569b37fe2654e836a9a467dd64260c6ae5e8ed5514d6ea1279ed9252fb7c","observation_id":"f24a7b7b-3c49-47ad-a92e-3948c95c3ad9","resolution":{"observed_at":"2026-08-11T15:47:53.530699Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.535188Z","title":"LeCun, Y","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.535188Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:97b41b04f2891f80b92076b312bd4e44a861f798c35eba23be3c572abdb52bf9","observation_id":"40cb6f70-250f-4130-9dff-8e6c51740398","resolution":{"observed_at":"2026-08-11T15:47:53.535188Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1701.06972","last_updated":"2017-01-24T16:39:05Z","snapshot_observed_at":"2026-08-15T10:04:00.801098Z","submitted_at":"2017-01-24T16:39:05Z","title":"Deep Network Guided Proof Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1701.06972","snapshot_observed_at":"2026-08-11T15:47:53.538995Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.538995Z"},"links":{"cited_paper":"/paper/1701.06972","citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:815772e322cac7fee28520597e4a1040b702299f02bf20873926f75b50750fd6","observation_id":"3e1e3ed1-055e-4489-9082-076f96702149","resolution":{"observed_at":"2026-08-11T15:47:53.538995Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.14219","last_updated":"2024-10-31T03:24:06Z","snapshot_observed_at":"2026-08-18T01:08:49.307435Z","submitted_at":"2024-06-20T11:37:53Z","title":"Proving Olympiad Algebraic Inequalities without Human Demonstrations","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.14219","snapshot_observed_at":"2026-08-11T15:47:53.542853Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.542853Z"},"links":{"cited_paper":"/paper/2406.14219","citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:60a74658d2e97a965be3cc06ef634ad3f6501af40299729772e31f7b6c6e1f69","observation_id":"5a545249-bcec-4516-994b-93e3ddcaccda","resolution":{"observed_at":"2026-08-11T15:47:53.542853Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.546811Z","title":"Silver, et al., Mastering the game of Go with deep neural networks and tree search","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.546811Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:726e6d258ea0d1e84e09279479751588f9998cfeff2a11868fa4fcda25452e67","observation_id":"b8e7b000-1483-4602-ae6d-2473ec51174f","resolution":{"observed_at":"2026-08-11T15:47:53.546811Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.550608Z","title":"Silver, et al., Mastering the game of go without human knowledge","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.550608Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:fdb23b308b60e79b01ae2b5756c824ded28593d0d1df5a5a1ba162cd3076842e","observation_id":"0dd02231-0d30-4121-8aa1-0f206f5f1736","resolution":{"observed_at":"2026-08-11T15:47:53.550608Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.555298Z","title":"Silver, et al., A general reinforcement learning algorithm that masters chess, shogi, and Go through self-play","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.555298Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:a15d9200eac28272845c4f48ab416b8213db4bcea93e962c6e0fcb25f98f96e8","observation_id":"84b4334a-b31d-4817-a3ee-428c49869588","resolution":{"observed_at":"2026-08-11T15:47:53.555298Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.559605Z","title":"Megill, D","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.559605Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:1428a5a715a0cbe8096ebccf581fcaf92905b7af4c5233bb2219d99fedd2b494","observation_id":"dc8349f7-9cb5-4928-8c7f-b38a3684463e","resolution":{"observed_at":"2026-08-11T15:47:53.559605Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.563032Z","title":"Ayg¨ un,et al., Proving theorems using incremental learning and hindsight experience replay, in International Conference on Machine Learning (PMLR) (2022), pp","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.563032Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:6e834dee554c9571ccf27fd1c9ac4d2ec6d3b194b5452b8f392454d18e80ca32","observation_id":"da39b232-6778-4929-ab31-138642a1075a","resolution":{"observed_at":"2026-08-11T15:47:53.563032Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.03798","last_updated":"2021-04-06T18:41:02Z","snapshot_observed_at":"2026-08-16T18:40:56.180671Z","submitted_at":"2021-03-05T17:01:34Z","title":"Training a First-Order Theorem Prover from Synthetic Data","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.03798","snapshot_observed_at":"2026-08-11T15:47:53.566654Z","title":"Firoiu, et al","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.566654Z"},"links":{"cited_paper":"/paper/2103.03798","citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:7c53046c4150220f12c076a39935ec4814c1d0d638f80208a311512ebccb2923","observation_id":"9c408987-039a-4998-a461-613abdb08e5e","resolution":{"observed_at":"2026-08-11T15:47:53.566654Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.09241","last_updated":"2023-12-14T18:58:28Z","snapshot_observed_at":"2026-08-16T14:34:38.785097Z","submitted_at":"2023-12-14T18:58:28Z","title":"TinyGSM: achieving >80% on GSM8k with small language models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.09241","snapshot_observed_at":"2026-08-11T15:47:53.570902Z","title":"Liu, et al., Tinygsm: achieving¿ 80% on gsm8k with small language models.arXiv preprint arXiv:2312.09241 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.570902Z"},"links":{"cited_paper":"/paper/2312.09241","citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:de11870f23c938111ce0529127c9c4768834671a23d5717131bbab7c4a8b971b","observation_id":"70c1638b-bb12-497c-909d-ae58ab738edd","resolution":{"observed_at":"2026-08-11T15:47:53.570902Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.574729Z","title":"Wu, et al., Autoformalization with large language models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.574729Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:091adc84970c206945865a344fb1744186d30c22f7e2040e6f9621a5c37c13b3","observation_id":"476ec6f7-863c-4ca6-81f8-349342c4ec79","resolution":{"observed_at":"2026-08-11T15:47:53.574729Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2211.14275","last_updated":"2022-11-25T18:19:44Z","snapshot_observed_at":"2026-08-01T02:16:43.109337Z","submitted_at":"2022-11-25T18:19:44Z","title":"Solving math word problems with process- and outcome-based feedback","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.14275","snapshot_observed_at":"2026-08-11T15:47:53.578181Z","title":"Uesato, et al., Solving math word problems with process-and outcome-based feedback.arXiv preprint arXiv:2211.14275 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.578181Z"},"links":{"cited_paper":"/paper/2211.14275","citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:a1834487208acfd8fcbc6a9cdbfc5e5edb974e4161b6fb0b5b206607b32905a3","observation_id":"748e0157-55d7-4bc9-a844-c517afdb50fd","resolution":{"observed_at":"2026-08-11T15:47:53.578181Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.20050","last_updated":"2023-05-31T17:24:00Z","snapshot_observed_at":"2026-08-17T09:42:34.746112Z","submitted_at":"2023-05-31T17:24:00Z","title":"Let's Verify Step by Step","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.20050","snapshot_observed_at":"2026-08-11T15:47:53.582476Z","title":"Lightman, et al., Let’s verify step by step.arXiv preprint arXiv:2305.20050 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.582476Z"},"links":{"cited_paper":"/paper/2305.20050","citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:4d421d9f7a91aa3a2226d2862452c3cb6c1b9c1e41b9192943bb8ed2245dbfb8","observation_id":"6e463ecb-0b02-4e85-afd4-f933830dd8b0","resolution":{"observed_at":"2026-08-11T15:47:53.582476Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.586971Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.586971Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:4a3490ea5836fbbe772e2b3baef987c980d570d55b6db48bc79f4d2e7e0a9c24","observation_id":"6540e3e3-dc2e-4e9a-9da5-a5a7d1c57f13","resolution":{"observed_at":"2026-08-11T15:47:53.586971Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.590881Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.590881Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:35c17dec6967bd38a0a4531bed3c754c99bfba578ec4138e77d2a4453fd7aac1","observation_id":"8e3a98f0-6eea-4344-8bb9-271af15c213b","resolution":{"observed_at":"2026-08-11T15:47:53.590881Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.594986Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.594986Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:e1ac5c9efdfa96acdf61ebb464e4d0c99f8d6633bd98a3ce68928e3d2464c087","observation_id":"81387bc4-57fb-41ef-a786-cf59adb129b5","resolution":{"observed_at":"2026-08-11T15:47:53.594986Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.599352Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.599352Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:ce5d979aca8a3a04e791356927b8a6dff70a92ece92fb9749860f1aaaa257780","observation_id":"6b83122c-de5a-4cfa-a872-b537a323f1f3","resolution":{"observed_at":"2026-08-11T15:47:53.599352Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.603569Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.603569Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:739c5748b33efc9a610d053c6b763bba57cd52b80a70a5d31ea0a724f7d5627e","observation_id":"2bf0b3f3-10db-4adc-92b4-7e4530381426","resolution":{"observed_at":"2026-08-11T15:47:53.603569Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.607827Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.607827Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:94eba882813a8f648bf1b8ec57ae48c16d8219838b12a765331675462cf33598","observation_id":"29cc3535-ef48-48ae-aba9-11b68511b637","resolution":{"observed_at":"2026-08-11T15:47:53.607827Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.611726Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.611726Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:26000b33a80bdcf48c236a96f15a61e8da9aa74555d9b066189d7e54dae00a37","observation_id":"6807cf4f-0c55-4a4c-9d6b-e2b1d20c38aa","resolution":{"observed_at":"2026-08-11T15:47:53.611726Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.616136Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.616136Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:838dcffba84c989dc2b70136835df907811487ce8372d9d433957f056c92db31","observation_id":"5ddc9fa0-1aee-4000-9303-5e234006e065","resolution":{"observed_at":"2026-08-11T15:47:53.616136Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.620648Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.620648Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:37432fb12712488b3424813cc9a5fc11c32a4f35a5af2eb15ea8b53d16db5bda","observation_id":"88f019e1-f7eb-48b6-8419-7d84e8972a9d","resolution":{"observed_at":"2026-08-11T15:47:53.620648Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.624556Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.624556Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:647c51de5e98d30544988d7c2b42832e414fa020aacc354c35f87f5ef3858c14","observation_id":"eb9478a3-5915-46ba-9dfd-aba2f316b16b","resolution":{"observed_at":"2026-08-11T15:47:53.624556Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.628218Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.628218Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:1cc835df2135f7cfd2f8854ce2888ed239452de4d7405ee34275e93d1babdcc2","observation_id":"bde5627d-558f-4551-96c4-ae67b0db4228","resolution":{"observed_at":"2026-08-11T15:47:53.628218Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.632001Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.632001Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:7d2eb8756818401dcb978f0437998fdb8e2ea0b1e40f5e705d4f3449cfc5f5f3","observation_id":"6bb8a9ed-deef-473c-a45b-a22aa3c1afe8","resolution":{"observed_at":"2026-08-11T15:47:53.632001Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.635859Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.635859Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:2b9a0072863c355d20cce0522c888d356578baa86532ea83b518a41d69d44367","observation_id":"6438477e-6a8f-4450-8c36-1bb7c96faf36","resolution":{"observed_at":"2026-08-11T15:47:53.635859Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.639626Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.639626Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:53602992d952f09624a1d5877ffabc7d61e44e5db0090c8e3e398f25ec5e0618","observation_id":"48883fc0-771a-4997-9f52-e4b548943639","resolution":{"observed_at":"2026-08-11T15:47:53.639626Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.643448Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.643448Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:aba23624a89ec6d7ff477d2aad72b54bfb5eb1cc11e1d141479831d6be41177e","observation_id":"fdf05583-aa61-4dd3-b245-12543fd72fdb","resolution":{"observed_at":"2026-08-11T15:47:53.643448Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.647452Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.647452Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:cb95c60be71e10f7fc9e8c5b8b28b5a66c4570d0c0744d63353c01b4cb3dee44","observation_id":"25507035-ff92-42d6-90f3-bdc62f4526c4","resolution":{"observed_at":"2026-08-11T15:47:53.647452Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.651132Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.651132Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:e67fc6d88de22fd1109a9a9af17df196cd6ac3f177cce2f9e707ee4428c95e97","observation_id":"d6e39fe6-2f3b-4fe9-a5d9-977630faf7bd","resolution":{"observed_at":"2026-08-11T15:47:53.651132Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.654749Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.654749Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:0a736c8b7c3a61daf80d62fd46380b2064929f5197b068c611413353f7b2f132","observation_id":"454d7334-4685-4b7f-8c11-58a76f78f726","resolution":{"observed_at":"2026-08-11T15:47:53.654749Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.658689Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.658689Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:602bae302eaa21365bd5196bc9a300f73f028ddf1205c6d35ede48f3625344c7","observation_id":"7176dc3a-e503-44d3-8a5a-2dcf87dfd3f9","resolution":{"observed_at":"2026-08-11T15:47:53.658689Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.662491Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.662491Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:2dffe5c3d353b781e25ea06fdf64300da87cbf4887164cd53f301c9dd54a6d01","observation_id":"c4e04c67-92f3-4e57-96eb-df012e13c907","resolution":{"observed_at":"2026-08-11T15:47:53.662491Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.666121Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.666121Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:329c7401d84cdd7fd4e66f2453ba6503b34b13cc87f5787b49364cd48b1ae14c","observation_id":"7e7c5bd8-5fce-4eba-9ba9-cc9ab94ac2c3","resolution":{"observed_at":"2026-08-11T15:47:53.666121Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.670509Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.670509Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:3d2c5c7a4f1e81da8e1ada4607ce325592d7ec6a34fdd69c3e0fae2126f5ed18","observation_id":"7312123e-1f2f-4ab7-95b1-99e4ef632c91","resolution":{"observed_at":"2026-08-11T15:47:53.670509Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:47:53.675315Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.675315Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:d3fd335c5378ea6468ebb85c505e51b21ed51c4510eabb93874d4a17335422ba","observation_id":"4c3adb6a-33dd-4536-bf3f-95dcc8d9fc3f","resolution":{"observed_at":"2026-08-11T15:47:53.675315Z","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-11T15:47:55.043327Z","title":null,"venue":null,"work_id":"bae95251-614e-4843-8310-03936b5ca98e","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.679507Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:45fec5f9022dc4ff65a9021be0567bcd03bd5b946178a3b75babbf7a5c3dfa9b","observation_id":"3fe245e3-e34c-467b-ac03-260c78f2fb09","resolution":{"observed_at":"2026-08-11T15:47:55.048047Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:55.030119Z","title":null,"venue":null,"work_id":"223b4f0c-0bad-4fac-a107-1f9c253e1bb8","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.683674Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:f72172d25c24cb5669cee216c5c88508328b919827779787039dba152c22cfc3","observation_id":"80fe7c98-3266-4f78-b905-b47e75c29444","resolution":{"observed_at":"2026-08-11T15:47:55.035237Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:55.014939Z","title":null,"venue":null,"work_id":"d739209e-0905-490b-b007-e4cfe893624f","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.687448Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:82e0368ba116f1e5a87ee84e20804f092ebc7b1c533cf455fcea1ebbf29326c6","observation_id":"413fbede-7315-4d6a-8317-116cf0dfc4e5","resolution":{"observed_at":"2026-08-11T15:47:55.019637Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:55.001289Z","title":null,"venue":null,"work_id":"8545aa54-9414-4548-aa89-ed8c7f345f57","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.691337Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:f69fa257fc1410584d68774f4dd81964306fdceba3cc59f4139cb4e05614cd97","observation_id":"b8927498-0f7f-4e28-99e6-56f84457ba68","resolution":{"observed_at":"2026-08-11T15:47:55.005558Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.987902Z","title":null,"venue":null,"work_id":"31de881c-6dc4-4bba-903d-c1dae6bf8ffd","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.695027Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:7c7df62d700bc3cf1ef58f8106dbad8267f2a4e1e265a35a59bc7275085a756d","observation_id":"8f8dbbc9-81fe-4456-b75b-6cb7c7118fd2","resolution":{"observed_at":"2026-08-11T15:47:54.992959Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.975591Z","title":null,"venue":null,"work_id":"e98b74ec-b3c6-4673-a9bc-3b9d6f189860","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.698878Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:7bd6780e0f11065f7263f98e6ee3f103b4cdfe466513c6978264a56b525e537e","observation_id":"dc89749e-e05a-4bc4-95bb-13820e884d7e","resolution":{"observed_at":"2026-08-11T15:47:54.979935Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.963523Z","title":null,"venue":null,"work_id":"92b14262-c65d-41a6-b5de-e2adc5ed7359","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.702846Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:e7d7712b7ea5dba8595cad13b057ce229e3fd0adcb7322192fbf78fbac47b9ad","observation_id":"8a2d6fec-5499-4014-ad2d-7a3b49d593ec","resolution":{"observed_at":"2026-08-11T15:47:54.968147Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.950614Z","title":null,"venue":null,"work_id":"9d28ca9a-49e3-4284-a312-2d35959db9ba","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.706587Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:3419a9cdbf5117cd6255f255545f7fc3ee1ec73eeb82cac2f13e3ef4ed67beeb","observation_id":"9ec3f6fb-06fe-403c-93a5-a2f6c0dde723","resolution":{"observed_at":"2026-08-11T15:47:54.955348Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.937776Z","title":null,"venue":null,"work_id":"ec0e87a5-b9f9-48e1-86ed-22428a0b0945","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.711177Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:bd9cd1eec906d684bd6ceb3c1d47d0b48706a0f525c44bed839f19648ea05ebe","observation_id":"192622dd-4d24-4cb2-a5d1-5706bab5ce76","resolution":{"observed_at":"2026-08-11T15:47:54.942501Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.925427Z","title":null,"venue":null,"work_id":"502a1149-fe5a-4132-9c13-84fa7e6a16e5","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.715805Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:fe17c6dfee75887ffe1ae7f7421bf5c0817f4c81a2409c0aac370cfa4d802e9b","observation_id":"7c8897b3-cc49-43ae-8a47-f8d1c108130a","resolution":{"observed_at":"2026-08-11T15:47:54.929975Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.912492Z","title":null,"venue":null,"work_id":"e3c0ac3d-7bd0-402d-a908-88df266d6fce","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.720320Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:b08a079e1f503c9809cf876689f86ff14227ee0737052cb345331a0733c2b0ad","observation_id":"ceb76d3d-a76e-45ca-96fd-ebb674a64aa2","resolution":{"observed_at":"2026-08-11T15:47:54.917185Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.900197Z","title":null,"venue":null,"work_id":"c5f3ce21-2998-4a73-8235-add9542e21c5","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.724217Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:0a8df8e6028af56d2433b2ee5338501db7be28c68ff142887aa15d1901fd972a","observation_id":"d19aabea-fc95-400b-aa53-dd97cc952f75","resolution":{"observed_at":"2026-08-11T15:47:54.904563Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.887026Z","title":null,"venue":null,"work_id":"394e87e6-1310-4b69-a59a-116dc602d5db","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.728822Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:5c77ecbabf8a4c045c5df0b012bae93891988c6384f15ca08b3fcd7d2a966a2a","observation_id":"9f77a94a-dc59-4a3c-bd52-2a94652d14d9","resolution":{"observed_at":"2026-08-11T15:47:54.892751Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.874953Z","title":null,"venue":null,"work_id":"ab38e089-29e1-4fd7-bea9-c79bcae06c03","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.732549Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:73be3ed25deb18ecc1d6e9ec4e8a2afe51aeeedaa5a7ebce358d169fbe1b5c64","observation_id":"56bbfb30-3207-49cf-8d91-2eba281b3844","resolution":{"observed_at":"2026-08-11T15:47:54.879357Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.862749Z","title":null,"venue":null,"work_id":"ec35deee-4df7-4888-817b-853302e774e7","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.736387Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:9da085acbbe2cbd19b39c21b427f4305f4f8388ca6a587f72d73ce200c2b3dc4","observation_id":"a1b9256a-4648-441a-9a09-00e1b16768bd","resolution":{"observed_at":"2026-08-11T15:47:54.867134Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.849036Z","title":null,"venue":null,"work_id":"4aa95226-0dd2-4ba9-b10e-240d1e311714","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.739970Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:7866f6296a22eb78c3bbd88baaff7334aa19ba8680a3161b68364a6781775683","observation_id":"9b60fcbc-b611-4f94-b448-b72a22c51c75","resolution":{"observed_at":"2026-08-11T15:47:54.854089Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.835671Z","title":null,"venue":null,"work_id":"fdab468b-717b-4e32-8330-83ee8ef15c66","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.744168Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:25b79e1d28ef3f6cde1f67487bd971c9d6fcfbd4924386d62beb091f39d93c96","observation_id":"ac83763c-63a8-44b5-b624-1c58b5cb6f1d","resolution":{"observed_at":"2026-08-11T15:47:54.840543Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.822745Z","title":null,"venue":null,"work_id":"3a649518-3ef8-4ce9-8f8d-4348fb3dc908","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.747975Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:8f5d8afdb8f5ee57a7b4f7987b35dd4f4348b6a47f634f8cc619ecb04eb8a2d1","observation_id":"9bd6467d-de17-44e1-89a9-868efba8d04c","resolution":{"observed_at":"2026-08-11T15:47:54.827293Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.808519Z","title":null,"venue":null,"work_id":"994ee4ba-8234-4a57-ae15-bed382bfa887","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.751910Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:cde4f36beeaa96842c279be7ae21f3e1921f6a0fd38e80b5e39df57ce0b3033e","observation_id":"3ba5d5d2-fb13-4ad6-b606-d2f7d89c51c0","resolution":{"observed_at":"2026-08-11T15:47:54.813063Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.796162Z","title":null,"venue":null,"work_id":"1e035a30-3b3f-4d2a-aca5-4d74de47c055","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.755713Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:5b47090e846b458fd7b73e766fff9c2bc3e969909180f3bcf981ff38672ad742","observation_id":"b26d545c-4919-4316-9a2c-7b534efefc27","resolution":{"observed_at":"2026-08-11T15:47:54.800778Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.783402Z","title":null,"venue":null,"work_id":"d2199540-b359-4637-869a-5aef807f4526","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.759726Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:6b3108d7c5ed84572348cb0bf47b80a0180099f20ef351ed0eeadff607500278","observation_id":"7967cfad-31c4-4cc3-b30a-30d259fdc84a","resolution":{"observed_at":"2026-08-11T15:47:54.787957Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.769195Z","title":null,"venue":null,"work_id":"3b2d312a-de4e-4480-9ccd-21e852a7c3b0","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.763607Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:cb7a17c63917f19f244639420f0c798e708cd7bacd0156a45b4a7f7c1305018e","observation_id":"31fbc819-cb88-4515-afc9-1768792c6263","resolution":{"observed_at":"2026-08-11T15:47:54.773935Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.755190Z","title":null,"venue":null,"work_id":"c91a4835-231f-4264-be47-a92964c13925","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.767417Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:6327377a91f2365e559d3fd741733c87b9e3ff61e635d9db58edf95db73413a9","observation_id":"6df6e52a-ce04-4e2c-881c-89514c0ee1fa","resolution":{"observed_at":"2026-08-11T15:47:54.759687Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.742119Z","title":null,"venue":null,"work_id":"70c085fb-3275-4eaf-a6aa-7c0e0af2f95b","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.771084Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:58c607a28eb8bf5b725e665b1eb75e9996f3ead99458cef92fe82698bdd7e843","observation_id":"d1eb1605-63ac-491b-b5ae-d2fb5e0afcda","resolution":{"observed_at":"2026-08-11T15:47:54.746356Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.730179Z","title":null,"venue":null,"work_id":"f143a45e-1d91-467b-ad56-0f3040fe6937","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.775080Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:f5541079b88ace2b7912a1814a81e0b067d48b3a83877ce0665335923f9452f5","observation_id":"b3fe29be-f111-42bd-a4f0-fd5e48386457","resolution":{"observed_at":"2026-08-11T15:47:54.734310Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.717731Z","title":null,"venue":null,"work_id":"1b3c6a2a-25bc-4fc0-b87e-b209ee65c49d","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.778813Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:2bf6ff52379948b43f98d78e098b8535f7448b4283b4ae43e1eb9a6fbdde7921","observation_id":"b39daab5-5676-4f72-827b-94c5063c877c","resolution":{"observed_at":"2026-08-11T15:47:54.722343Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.705260Z","title":null,"venue":null,"work_id":"451d3bfd-6bbb-4d63-8247-ff0e814a4f63","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.782774Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:eda838365c65dbea0fc77b32f542cc0fdff4c20a13c136d40cb541d49ae1d810","observation_id":"f77cd1ca-e7f0-48dd-b42b-d64a7c0b086f","resolution":{"observed_at":"2026-08-11T15:47:54.710068Z","resolver_source":"raw_fallback","status":"unresolved"},"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-11T15:47:54.692276Z","title":null,"venue":null,"work_id":"972a8454-8974-4c92-ad32-e833663fc777","year":null},"citing_paper":{"arxiv_id":"2412.10673","last_updated":"2024-12-14T04:20:47Z","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-11T15:47:53.786758Z"},"links":{"citing_paper":"/paper/2412.10673"},"observation_digest":"sha256:409f204f384a3c43cca6d4ea5448189e95cc4580c585614bfcdf871d39af5e96","observation_id":"67d890f3-aaab-4a84-9df2-3f5c2cdcf882","resolution":{"observed_at":"2026-08-11T15:47:54.696593Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"2412.10673","last_updated":"2024-12-14T04:20:47Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-18T00:11:38.473299Z","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":99,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":138},"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 100 of 138 outbound references and 3 inbound Pith citation observations for arXiv:2412.10673."}