{"as_of":"2026-08-17T17:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:569d25072c132f66d1e1181b979be881131c7a97a67c22c27100933dd848be27","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-17T06:30:58.91139+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-17T12:52:31.065164Z","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-10T09:42:17.185681Z","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:72fe928b437f0c0c07b4795fd5121d6e6f19430e3c68e9ae63bdb526b3387794","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:a65f6d525422ae84f4ea1f5b4f761e54069a3d25baf9b21840c80a748708f78a","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-17T12:52:31.065164Z","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:798ffd1f4a5c430de1b91c5b25160e6decc4adc335bdfe72143fbd269e411ce6","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:8833b2356e250ded6da2d349ba697a51b1360313955d17451441f03819d5f847","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-17T12:52:31.065164Z","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:0fcec4401eb5e75159cea96189432fee1229b279a87083fef00aca43b6fe20f6","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-15T02:27:43.801647Z","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-17T12:52:31.065164Z","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:45c77fc51ea98e0e9429fa72c6d5abb45f5048c31302eb4c698284d1221d45b2","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-16T23:45:44.761660Z","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-17T12:52:31.065164Z","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:50ceb3abfc990257ef4de8988f5272b0b8ee3f2ecd1f6f4633cfac9079132675","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-16T17:23:59.526328Z","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-17T12:52:31.065164Z","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:41f7d9b1e4f8e283f8b70cb53651a37736b784de35ca9183586a2e35bd93fb73","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-17T12:52:31.065164Z","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:8bdabf1e3bb828b580c8aeb43abb4e622a4c6aff2b43c606b81fe93678991006","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-17T12:52:31.065164Z","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:6c297beb90d458bb23e7429705db1d7b9d9cc876eb73d1c8dc3f78843d675aa5","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-17T12:52:31.065164Z","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:ebe0ab753dd5a538e7e74d0c6aec07dc04906895ad52745dfa0f3bd6689f79cc","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-17T12:52:31.065164Z","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:3d8aa5747f280ca816969c1434c4b948ba873bab77077c13f8efec3be9bbc90f","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-17T12:52:31.065164Z","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:67c70ba831c7b6684827f134e0f6c0c05624a465ca71e4094801726101f1bcbf","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:c6f01c72b56c0dbb55561d5d75991af0477b75d7c32270ccc4286a3a842e3e8e","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-17T12:52:31.065164Z","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:882c4fffc6ea1f06aac4cf8b1c1dbb346d2d5581a1249a08e519ddc7b9068f65","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-17T12:52:31.065164Z","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:5b2efcd0d3ecfce7e4e2f04e5499440072904687c08e3b9f370740310344dd27","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-17T12:52:31.065164Z","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:b03dcd7cc47f800746dc5cba0ef659a3b2cdb8930cd0463e8d75e0b5359913a2","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-17T12:52:31.065164Z","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:8f6f47adbf033c4e6446ea210594339f4c0eaa875e335d15ee954d549e118278","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-17T12:52:31.065164Z","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:6c71ceee39206aba3a83f21080cf4983e55f5d163266c64ef021c6d9de52df29","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-17T12:52:31.065164Z","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:94ef103d82f7d0ac2f3f6e35cf4a256d50864b3d1b5c4e67c031f2531198c2d6","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-17T12:52:31.065164Z","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:c5d4269fdece16a6205b766f761977dd219d9c8e698a1acd5d77e11ca609c80c","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-17T12:52:31.065164Z","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:18d8f142c730cfb5d9fd65898d19832e10e8f64f5cb44041945251da7d5f1985","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-17T12:52:31.065164Z","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:633001544ecc0d79612da46ba7bc53cb422e2e10f1d039db263bc088ee51ae5b","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-17T12:52:31.065164Z","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:6f2faa2601aef5b1f00dbaa28ac92860048451fb2fa047afab816ae6a088254f","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-17T12:52:31.065164Z","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:214541478860a02270edf08e0ea47edc351911037487a8b534c10c6a7480bba6","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-17T12:52:31.065164Z","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:ef286fbd4b19ff466dff3dbc667ab1fb6b36eb0ec3138e498bfe3cb9083df214","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-17T12:52:31.065164Z","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:9959f260bba57d0976ae2738f50ad1580d9af9f0cde26befeabe814674f5d0b0","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-17T12:52:31.065164Z","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:e929eb1d03cae84d9c2847a9cd34e929df6ecfd5bc072caf794f507499e957a8","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-17T12:52:31.065164Z","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:f63c566b2ee1345aef21d85e14f3b84f0dca059e25b1a2c16fe6165fab52e2da","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-17T12:52:31.065164Z","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:7c6134b2ba9bd0c20f273568f498eb66210fc1236a957f80f6294a6c92758a57","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-17T12:52:31.065164Z","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:44db23bd7714e43aa785296c452023e755dea6fe3990cb6a03723cb7f0e5d3d0","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-17T12:52:31.065164Z","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:a607e76b26e7e34d0fa07b34712052986eeaeba705258ffd142cb88b57a5333e","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-17T12:52:31.065164Z","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:dd9d57e5d1086e8c8d9681264ebe5506f46e9a67c8dace5baf68debff15e319b","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-17T12:52:31.065164Z","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:49af7b323353f228ecd09b8e6ab1c9fa3f6854fe3d0d9760f1aa4845739620b2","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-17T12:52:31.065164Z","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:e8e536177ce8a636ef85d0adcdf5060cb2ba6570b40203f59c2fda2189b67d28","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-17T12:52:31.065164Z","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:97b14c363b3c26f6f5a540a5db20bf39517213bc9a81e02b3f6094e90cbd4696","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-17T12:52:31.065164Z","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:4e5ace45da3b539ec6e4f0e9f3a979a9ed3095583548c8bd7881994930d5872f","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-17T12:52:31.065164Z","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:504fd21af958d2248981a97a26aa45f53679cd7ed23b4469a50dd79890a41d74","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-17T12:52:31.065164Z","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:dd136cf9086dd9376a1099a32546afa4f0a4cd1661dc562ab2a7be376d184059","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-17T12:52:31.065164Z","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:ce719fa5fbbbcc60dda22e19c88630c505f4705a0a6965df073f99b8c6a92ff7","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-17T12:52:31.065164Z","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:1d07e13c635e8db1b50dbda344a10210bb09342319a3ba978218c13d69196375","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-16T13:41:09.120870Z","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-17T12:52:31.065164Z","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:d8d30f7168fbd5ce334c58c8d7c9adcfd43f220c643e27338ff48dcf3888bbe0","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-17T12:52:31.065164Z","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:7bd9873bed9a43c340f2cc3b8d017cef0cab8cc01891049d0ae12c3bb2bc6ed4","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-17T12:52:31.065164Z","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:cb3660e25e18f14592ee218270bc3bc35bdb53a02fc98a2a188ad052d5a5ae81","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-17T12:52:31.065164Z","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:1dc1348e083fab64b80fea516d0c0425b7015d28153641096dc6aed2182c2b9a","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-17T12:52:31.065164Z","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:947a872d67ab14337c4b0f6af02a2b2c6928f1432c0fd0e336543af9e9168280","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-17T12:52:31.065164Z","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:4e63cb6383615f89533aa7d52cffcb32d5fcfa37939866b24ce9b7f645709a13","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-17T12:52:31.065164Z","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:653054bba9959608c54b01bedfce24c76ca106b2cc9cce0e37ccfd21fb416eaf","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-17T12:52:31.065164Z","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:5ef634c1b5a05a8e72d067dde24862b08a25231e963d429e6823dabe2efd346d","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-17T12:52:31.065164Z","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:c788f1781fba5cdf75250689783a89dc744c6d26f11ed17422b71ed57b32d984","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-17T12:52:31.065164Z","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:ac1c86c7c31f69919a8af1eacb50b04a4857850c539bd19d09b7ee3ce63f3d76","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-17T12:52:31.065164Z","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:3665db6cfbf963a8f1e2127d4039cb53e961321a23cba2b4386e5e2bee11b327","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-17T12:52:31.065164Z","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:2aebdf41685681bf90a291dd098b81663d0807d97148146aec705159d74f52db","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-17T12:52:31.065164Z","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:0c0ef275afc02a5ab95f318d00cae7786e01d9b9c72d87bd9659a5d3a5bd9e02","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-17T12:52:31.065164Z","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:c14a59a97b7341cf727b9c7b2b0e3b1216b1aac40a3a4a8de23b4ef0bb2dca25","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-17T12:52:31.065164Z","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:a7319d964a83596fa5218186bed76dc91469865ef4f5acb49d2ab73b23afc701","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-17T12:52:31.065164Z","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:91285c85f199e96750ca7598ed54936b3d3b8f5467b06d20783391fdd4490871","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-17T12:52:31.065164Z","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:14feda4be697071a90ff65c2f695e2b5a8688eb832194c4ecd0dc82c6b6305ed","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-17T12:52:31.065164Z","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:a6bd66e9f3bd3b5d17c68ce3dba8a94437b52dbd11a075c45f1270a60f436c83","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-17T12:52:31.065164Z","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:97c2c692beadd2a2895327e66f3c755fa80b2e60380092d084ce5219384d22fd","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-17T12:52:31.065164Z","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:dd2c353d5abe6c4c11296cdf0513b1b7df91a39240cce4898b29258e4e58c9cf","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-17T12:52:31.065164Z","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:6d15f3727920db2fb29dc5d05dee359c86d64ce4d03e96da5b20e9d24b98b774","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-17T12:52:31.065164Z","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:716b5477f4617f59da72e3d2339e84f11716324711ee3e51cf262094cd2ccf1e","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-17T12:52:31.065164Z","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:e7c5c3b0d8d859383f7e4b11b44b319f1723147c3855d2e12f5020bd08995619","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-17T12:52:31.065164Z","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:b1e89f497927852cb44373af0bcc70e65ccfcc53c93249e25df3f5935cfbf047","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-17T12:52:31.065164Z","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:1fc7273126ba6a531d958d2b3380d2707a3d0f91c46a7d89ca9d0633761d084c","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-17T12:52:31.065164Z","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:7a7a5efcebf9739116d0bc6a4923f2343d9a363a6ea930787258664b91525f4d","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-17T12:52:31.065164Z","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:842d40811f12d1f8f948d9b0ff9389d25620a32618d13edffb36de3f47bf19f7","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-17T12:52:31.065164Z","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:c6b2936e0e0a3db3fb0cb5abfc884374624f5cb8bc0ff7817330613ba79ef91c","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-17T12:52:31.065164Z","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:4b94adb6fd7d5c665863dcdadd14b8dcdb6d7249649488df128c94407b8d4797","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-17T12:52:31.065164Z","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:a0326c1fc0afd69482013aeba312126e981c422a38c3cdc7aa1873fea34cf0d1","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-17T12:52:31.065164Z","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:8e52d4faf5449aafd9fa1353c49a0d0a324b63259e737ef697b49300b7a3b6b9","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-17T12:52:31.065164Z","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:6081e639afdb96134772cfa7785b51da62329a91aafff374113d85b29d28b63c","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-17T12:52:31.065164Z","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:4f725bed22c4f63caac49c2a387df503a26527903a76f5c43f5f75ac3a637f2d","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-17T12:52:31.065164Z","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:df7a6edaefe1b620f2955b6ffce37e5a04bc63200e4cd663cf24dfa766b8289e","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-17T12:52:31.065164Z","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:ceaddc752585be60227d52b9df6a5422f16e497cc2100c8c85231ff25f978a7c","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:ac5252bac2b5c278f29cc30bfecbe3b5a6bc485f873f6f40f6d56f9c0897dd72","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:242d96a0bb8cdf94bdc47cc0f41fee6fac06f64b9ca32db6ce64dced05e59494","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:355c87c4dd659d081e757535dd45dcd00ebc8f2af9675cf88b9dd1f90bab1709","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:f737288f5fbd89dea43ff43577b8bc55730e93202124a5b1a1f3c671421b5fe5","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:d852260d87938c5255144b6b49c0e48d17c2d907f03debf8d17ff0c28128bad0","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:3085b6fbb2b33d57611f7f47fb926cadb9ffba479c0bb20b336af4aa2f094252","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:222df7000207440264149384a69705cb0a0fff365f9db0e0b12b44a82ad7dd34","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:84333a27a6d4403b164358e419f173c491eab1aa6918f10c28e10a821e6189b7","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:7729c93129dd74196defd1512ff27a04fe928b769becdf23822a555ddd6923ce","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:f017a4c617189fffcf93070c3581a79bc16a77a2de25d35bfcccc9e29fab8cc9","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:3e3453e08cd08785beb8bb0c4ce5078b9f37dca4c36073c7448f79d8c98c5382","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:87ff8fe0e02ab65b56160286ac2477fe836fac2aaa6ccc89c642679b8fe8532e","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:f059d837c6a53d5d2c5fb2c9c0067239cd98b828106826359bd12eb279113c30","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:3f6b73b22c3ae90a0187f235565619d31d3ad4a2f29cdb2f0de26e2aec573563","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:9fbc1dc93bcc73765fd370299fe147922b3c742536cb4223510ef1a7d79bb2a5","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:dc944f8eb9528473d8aec82723fcf92142b6a44fbe88e554694f0bebd4a84400","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:506e7cc74928ace8aedc15287bdf8e949239b5120e7def6b5ed1c08cd95c73ca","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:48dfcd39d1e0b412852d56cd73d4de85b213cd84b326db243dbddf83e520a9fe","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:d7d1f6373f0a94176a6c957d686319a67c49e7669346f9b64b2d24891600840d","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:3e62ae48ac980f28075dc9760cc12193167638d0c8d4a81348e24cf6e1114cdc","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:0ec849a3a22c1fbd6bc4a8faf9b5864291ea1c22cb1d5d6617d160ba41bb7083","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:6a5838744cca5f572f35c33ec420714d0de98d19b4b7ee0eaad61010dcab26d4","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:25776ee258bccab3db380bfa1ce53313f232e1c2ea2e5625d5c0acad7b89062b","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:6d3f337aeb7eb4dcbe1effd04ee047c3366c45fa008d25307b124b1a790bd883","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:c78e0eca9d471fc9c2698a95d00dee74deea555f308cadfd1a706ca8ad3865c1","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:7df5eb6dcabf05ef235970fc93f4404b26c35d3020767a62579e7ef21f8c3261","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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:fd5876c81f964400c1868e70d891f738615afb5921189bef3c3472c9194ad319","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T12:52:31.065164Z","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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 100 of 138 outbound references and 3 inbound Pith citation observations for arXiv:2412.10673."}