Paper Citation Record · LEDGER

Proposing and solving olympiad geometry with guided tree search

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2412.10673 v1

Coverage vector

measured 100 of 138 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T15:47:53.786758Z

measured 103 of 103 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T10:30:44.725641Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-16T13:27:55.770781Z

Reference resolution

100 of 138 outbound references displayed

verified exact1
verified fuzzy0
unresolved99
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a893f070-cd65-4692-9a18-70a19c4663ae · outbound

This paper cites Selsam, et al., IMO Grand Challenge.

Proposing and solving olympiad geometry with guided tree search Selsam, et al., IMO Grand Challenge

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.396044Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5921597-614c-4269-bc18-b0d2eb16f9ae · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.400339Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 495abad1-a272-441e-8cea-f5fdab9abf4e · outbound

This paper cites Generative Language Modeling for Automated Theorem Proving.

Proposing and solving olympiad geometry with guided tree search Generative Language Modeling for Automated Theorem Proving

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.404544Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ab4dcec-9cac-44b5-b4a0-c2834a4ce754 · outbound

This paper cites MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics.

Proposing and solving olympiad geometry with guided tree search MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.409111Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49a663e9-04ab-40e3-a937-1df6267141b0 · outbound

This paper cites Formal Mathematics Statement Curriculum Learning.

Proposing and solving olympiad geometry with guided tree search Formal Mathematics Statement Curriculum Learning

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.413646Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38b37bb6-d14f-4289-abf3-fcd6effcd90b · outbound

This paper cites Lample, et al., Hypertree proof search for neural theorem proving.

Proposing and solving olympiad geometry with guided tree search Lample, et al., Hypertree proof search for neural theorem proving

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.418666Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3106d347-5ccf-44e7-a5b4-2227ba544baf · outbound

This paper cites GPT-4 Technical Report.

Proposing and solving olympiad geometry with guided tree search GPT-4 Technical Report

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.422324Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48ab6815-2f5a-4eb2-9236-30643ad6a51b · outbound

This paper cites LLaMA: Open and Efficient Foundation Language Models.

Proposing and solving olympiad geometry with guided tree search LLaMA: Open and Efficient Foundation Language Models

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.427017Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee8bbfc8-e33b-430d-babc-e4990d6a6ead · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.431194Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 609d523a-7835-4ffc-aad7-574d76a46aec · outbound

This paper cites Mari ´c, et al., Formalizing IMO problems and solutions in Isabelle/HOL.

Proposing and solving olympiad geometry with guided tree search Mari ´c, et al., Formalizing IMO problems and solutions in Isabelle/HOL

Reference 10

Resolution: verified exact; raw_fallback, observed 2026-08-11T15:47:54.132163Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 20f91084-0504-421f-b943-1e753172180a · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.438730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7dd89571-ac74-4323-9fb5-16a2ce39df15 · outbound

This paper cites Chou, X.-S.

Proposing and solving olympiad geometry with guided tree search Chou, X.-S

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.442174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e0f5593-3fab-4973-9016-5898a55ac451 · outbound

This paper cites Sangwin, A brief review of GeoGebra: dynamic mathematics.

Proposing and solving olympiad geometry with guided tree search Sangwin, A brief review of GeoGebra: dynamic mathematics

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.446500Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a069a43-a639-4046-bab1-c191db615d68 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.450323Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83f942f2-856c-446a-86c8-09c0981a3a34 · outbound

This paper cites DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence.

Proposing and solving olympiad geometry with guided tree search DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.454052Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba3682ed-2c9a-477d-8ad7-1bc3bb601062 · outbound

This paper cites Training Compute-Optimal Large Language Models.

Proposing and solving olympiad geometry with guided tree search Training Compute-Optimal Large Language Models

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.458104Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aee21ace-f7ac-451d-828d-62ab05091ef9 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.462179Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b29f47c7-3243-4c6a-bde2-27fdff5f1482 · outbound

This paper cites Chen, Euclidean geometry in mathematical olympiads , vol.

Proposing and solving olympiad geometry with guided tree search Chen, Euclidean geometry in mathematical olympiads , vol

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.466075Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b280396-e87b-4b98-a89e-4627a102e47e · outbound

This paper cites Chen, A Guessing Game: Mixtilinear Incircles.

Proposing and solving olympiad geometry with guided tree search Chen, A Guessing Game: Mixtilinear Incircles

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.469724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed16d89c-cfb3-4907-ac09-5893d444f80d · outbound

This paper cites Chen, The Incenter/Excenter Lemma.URL https://web.evanchen.cc/handouts/Fact5/Fact5.pdf (2016).

Proposing and solving olympiad geometry with guided tree search Chen, The Incenter/Excenter Lemma.URL https://web.evanchen.cc/handouts/Fact5/Fact5.pdf (2016)

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.473310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec6692a7-da18-47e4-9318-6821f68e8f47 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.476779Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3ff6992-0019-4067-9a40-905f57c6cde4 · outbound

This paper cites Wu, On the decision problem and the mechanization of theorem-proving in elementary geometry, in Selected Works Of Wen-Tsun Wu(World Scientific), pp.

Proposing and solving olympiad geometry with guided tree search Wu, On the decision problem and the mechanization of theorem-proving in elementary geometry, in Selected Works Of Wen-Tsun Wu(World Scientific), pp

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.481209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e38edd50-1d9b-4b6b-902d-c66056d9e692 · outbound

This paper cites Chou, Mechanical geometry theorem proving(Springer) (1988).

Proposing and solving olympiad geometry with guided tree search Chou, Mechanical geometry theorem proving(Springer) (1988)

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.484913Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 930c20a9-f76c-423a-bf47-4096a41cc4d2 · outbound

This paper cites Chou, Proving elementary geometry theorems using Wu’s algorithm, Ph.D.

Proposing and solving olympiad geometry with guided tree search Chou, Proving elementary geometry theorems using Wu’s algorithm, Ph.D

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.489448Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 142b6a1d-b367-4a3a-aca0-5bc41a5368bd · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.493113Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0cf3861-dbcf-420f-8a84-ac58b92f703f · outbound

This paper cites Chou, X.-S.

Proposing and solving olympiad geometry with guided tree search Chou, X.-S

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.496760Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bd0cff3-6ca4-4c80-b823-45efc5855c78 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.500312Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5d557f6-8541-4383-9f2a-6b4e155ce151 · outbound

This paper cites Chou, X.-S.

Proposing and solving olympiad geometry with guided tree search Chou, X.-S

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.504055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dece6b47-7413-408f-b1c0-ad10c6c9fe72 · outbound

This paper cites Hilbert, The foundations of geometry (Open court publishing Company) (1902).

Proposing and solving olympiad geometry with guided tree search Hilbert, The foundations of geometry (Open court publishing Company) (1902)

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.507891Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32b0b603-47da-4a61-9d0d-1acb703a767d · outbound

This paper cites AlphaGeometry’s DD+AR approach notably improved upon Wu’s method (10 solves), yet its symbolic reasoning engine remains both redundant and suboptimal.

Proposing and solving olympiad geometry with guided tree search AlphaGeometry’s DD+AR approach notably improved upon Wu’s method (10 solves), yet its symbolic reasoning engine remains both redundant and suboptimal

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.390071Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4072eac-fa7f-4376-a4ad-82a855cb3ea9 · outbound

This paper cites Tarski, A decision method for elementary algebra and geometry, in Quantifier elimination and cylindrical algebraic decomposition (Springer), pp.

Proposing and solving olympiad geometry with guided tree search Tarski, A decision method for elementary algebra and geometry, in Quantifier elimination and cylindrical algebraic decomposition (Springer), pp

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.511952Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d49a122-8fd9-4cb3-81fc-2464dc0fe8db · outbound

This paper cites Matsuda, K.

Proposing and solving olympiad geometry with guided tree search Matsuda, K

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.515716Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7716e11b-9831-442a-8e3a-ab3672855ac9 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.519576Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e30e3641-9620-4502-80a9-e8c3111a8f5e · outbound

This paper cites Schulz, E–a brainiac theorem prover.

Proposing and solving olympiad geometry with guided tree search Schulz, E–a brainiac theorem prover

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.523258Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ada25dc-4055-428b-869e-a672bd7fc592 · outbound

This paper cites Weidenbach, et al., SPASS Version 3.5, inAutomated Deduction–CADE-22: 22nd Interna- tional Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009.

Proposing and solving olympiad geometry with guided tree search Weidenbach, et al., SPASS Version 3.5, inAutomated Deduction–CADE-22: 22nd Interna- tional Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.527074Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f24a7b7b-3c49-47ad-a92e-3948c95c3ad9 · outbound

This paper cites De Moura, N.

Proposing and solving olympiad geometry with guided tree search De Moura, N

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.530699Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40cb6f70-250f-4130-9dff-8e6c51740398 · outbound

This paper cites LeCun, Y.

Proposing and solving olympiad geometry with guided tree search LeCun, Y

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.535188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e1e3ed1-055e-4489-9082-076f96702149 · outbound

This paper cites Deep Network Guided Proof Search.

Proposing and solving olympiad geometry with guided tree search Deep Network Guided Proof Search

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.538995Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a545249-bcec-4516-994b-93e3ddcaccda · outbound

This paper cites Proving Olympiad Algebraic Inequalities without Human Demonstrations.

Proposing and solving olympiad geometry with guided tree search Proving Olympiad Algebraic Inequalities without Human Demonstrations

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.542853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8e7b000-1483-4602-ae6d-2473ec51174f · outbound

This paper cites Silver, et al., Mastering the game of Go with deep neural networks and tree search.

Proposing and solving olympiad geometry with guided tree search Silver, et al., Mastering the game of Go with deep neural networks and tree search

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.546811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0dd02231-0d30-4121-8aa1-0f206f5f1736 · outbound

This paper cites Silver, et al., Mastering the game of go without human knowledge.

Proposing and solving olympiad geometry with guided tree search Silver, et al., Mastering the game of go without human knowledge

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.550608Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84b4334a-b31d-4817-a3ee-428c49869588 · outbound

This paper cites Silver, et al., A general reinforcement learning algorithm that masters chess, shogi, and Go through self-play.

Proposing and solving olympiad geometry with guided tree search Silver, et al., A general reinforcement learning algorithm that masters chess, shogi, and Go through self-play

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.555298Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc8349f7-9cb5-4928-8c7f-b38a3684463e · outbound

This paper cites Megill, D.

Proposing and solving olympiad geometry with guided tree search Megill, D

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.559605Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da39b232-6778-4929-ab31-138642a1075a · outbound

This paper cites Ayg¨ un,et al., Proving theorems using incremental learning and hindsight experience replay, in International Conference on Machine Learning (PMLR) (2022), pp.

Proposing and solving olympiad geometry with guided tree search Ayg¨ un,et al., Proving theorems using incremental learning and hindsight experience replay, in International Conference on Machine Learning (PMLR) (2022), pp

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.563032Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c408987-039a-4998-a461-613abdb08e5e · outbound

This paper cites Training a First-Order Theorem Prover from Synthetic Data.

Proposing and solving olympiad geometry with guided tree search Training a First-Order Theorem Prover from Synthetic Data

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.566654Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70c1638b-bb12-497c-909d-ae58ab738edd · outbound

This paper cites TinyGSM: achieving >80% on GSM8k with small language models.

Proposing and solving olympiad geometry with guided tree search TinyGSM: achieving >80% on GSM8k with small language models

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.570902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 476ec6f7-863c-4ca6-81f8-349342c4ec79 · outbound

This paper cites Wu, et al., Autoformalization with large language models.

Proposing and solving olympiad geometry with guided tree search Wu, et al., Autoformalization with large language models

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.574729Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 748e0157-55d7-4bc9-a844-c517afdb50fd · outbound

This paper cites Solving math word problems with process- and outcome-based feedback.

Proposing and solving olympiad geometry with guided tree search Solving math word problems with process- and outcome-based feedback

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.578181Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e463ecb-0b02-4e85-afd4-f933830dd8b0 · outbound

This paper cites Let's Verify Step by Step.

Proposing and solving olympiad geometry with guided tree search Let's Verify Step by Step

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.582476Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6540e3e3-dc2e-4e9a-9da5-a5a7d1c57f13 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.586971Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e3a98f0-6eea-4344-8bb9-271af15c213b · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.590881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81387bc4-57fb-41ef-a786-cf59adb129b5 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.594986Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b83122c-de5a-4cfa-a872-b537a323f1f3 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.599352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2bf0b3f3-10db-4adc-92b4-7e4530381426 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.603569Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29cc3535-ef48-48ae-aba9-11b68511b637 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.607827Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6807cf4f-0c55-4a4c-9d6b-e2b1d20c38aa · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.611726Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ddc9fa0-1aee-4000-9303-5e234006e065 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.616136Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88f019e1-f7eb-48b6-8419-7d84e8972a9d · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.620648Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb9478a3-5915-46ba-9dfd-aba2f316b16b · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.624556Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bde5627d-558f-4551-96c4-ae67b0db4228 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.628218Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6bb8a9ed-deef-473c-a45b-a22aa3c1afe8 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.632001Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6438477e-6a8f-4450-8c36-1bb7c96faf36 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.635859Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48883fc0-771a-4997-9f52-e4b548943639 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.639626Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdf05583-aa61-4dd3-b245-12543fd72fdb · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.643448Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25507035-ff92-42d6-90f3-bdc62f4526c4 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.647452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6e39fe6-2f3b-4fe9-a5d9-977630faf7bd · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.651132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 454d7334-4685-4b7f-8c11-58a76f78f726 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.654749Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7176dc3a-e503-44d3-8a5a-2dcf87dfd3f9 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.658689Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4e04c67-92f3-4e57-96eb-df012e13c907 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.662491Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e7c5bd8-5fce-4eba-9ba9-cc9ab94ac2c3 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.666121Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7312123e-1f2f-4ab7-95b1-99e4ef632c91 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.670509Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c3adb6a-33dd-4536-bf3f-95dcc8d9fc3f · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.675315Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3fe245e3-e34c-467b-ac03-260c78f2fb09 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 73

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:55.048047Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 80fe7c98-3266-4f78-b905-b47e75c29444 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 74

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:55.035237Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 413fbede-7315-4d6a-8317-116cf0dfc4e5 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 75

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:55.019637Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b8927498-0f7f-4e28-99e6-56f84457ba68 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 76

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:55.005558Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 8f8dbbc9-81fe-4456-b75b-6cb7c7118fd2 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 77

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.992959Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation dc89749e-e05a-4bc4-95bb-13820e884d7e · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 78

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.979935Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 8a2d6fec-5499-4014-ad2d-7a3b49d593ec · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 79

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.968147Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9ec3f6fb-06fe-403c-93a5-a2f6c0dde723 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 80

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.955348Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 192622dd-4d24-4cb2-a5d1-5706bab5ce76 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 81

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.942501Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 7c8897b3-cc49-43ae-8a47-f8d1c108130a · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 82

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.929975Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ceb76d3d-a76e-45ca-96fd-ebb674a64aa2 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 83

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.917185Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d19aabea-fc95-400b-aa53-dd97cc952f75 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 84

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.904563Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9f77a94a-dc59-4a3c-bd52-2a94652d14d9 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 85

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.892751Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 56bbfb30-3207-49cf-8d91-2eba281b3844 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 86

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.879357Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a1b9256a-4648-441a-9a09-00e1b16768bd · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 87

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.867134Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9b60fcbc-b611-4f94-b448-b72a22c51c75 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 88

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.854089Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ac83763c-63a8-44b5-b624-1c58b5cb6f1d · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 89

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.840543Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9bd6467d-de17-44e1-89a9-868efba8d04c · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 90

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.827293Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 3ba5d5d2-fb13-4ad6-b606-d2f7d89c51c0 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 91

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.813063Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b26d545c-4919-4316-9a2c-7b534efefc27 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 92

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.800778Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 7967cfad-31c4-4cc3-b30a-30d259fdc84a · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 93

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.787957Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 31fbc819-cb88-4515-afc9-1768792c6263 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 94

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.773935Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 6df6e52a-ce04-4e2c-881c-89514c0ee1fa · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 95

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.759687Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d1eb1605-63ac-491b-b5ae-d2fb5e0afcda · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 96

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.746356Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b3fe29be-f111-42bd-a4f0-fd5e48386457 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 97

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.734310Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b39daab5-5676-4f72-827b-94c5063c877c · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 98

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.722343Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation f77cd1ca-e7f0-48dd-b42b-d64a7c0b086f · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 99

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.710068Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 67d890f3-aaab-4a84-9df2-3f5c2cdcf882 · outbound

This paper cites an unresolved cited work.

Proposing and solving olympiad geometry with guided tree search Unresolved cited work

Reference 100

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:47:54.696593Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Pith citing papers

Observation 50045539-7478-4e03-a641-4c46f81c10a4 · inbound

From System 1 to System 2: A Survey of Reasoning Large Language Models cites this paper.

From System 1 to System 2: A Survey of Reasoning Large Language Models Proposing and solving olympiad geometry with guided tree search

Reference 153

Resolution: verified exact; arxiv_id, observed 2026-05-13T01:36:24.151837Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 742ac160-d0db-4f78-b181-0067e120d3db · inbound

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving cites this paper.

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving Proposing and solving olympiad geometry with guided tree search

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-06T10:30:44.725641Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56c1f095-ee89-4e34-8151-09d6d61f26b9 · inbound

AI for Mathematics: Progress, Challenges, and Prospects cites this paper.

AI for Mathematics: Progress, Challenges, and Prospects Proposing and solving olympiad geometry with guided tree search

Reference 169

Resolution: verified exact; arxiv_id, observed 2026-05-16T13:27:55.773243Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.