Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 27 inbound Pith citation observations for arXiv:2503.21934.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-07T12:45:46.479498Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-07-10T12:15:01.137692Z
Reference resolution
0 of 0 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
No outbound reference observations are available for this paper version.
Pith citing papers
Observation 7186d4e3-47cb-4a87-8547-e1c4c2413e5e · inbound
Sustainability via LLM Right-sizing cites this paper.
Sustainability via LLM Right-sizing Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 25
- Resolution
- verified exact
- arxiv_id, observed 2026-05-22T19:25:03.677934Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 2ef8e4b6-d6f6-4472-a70a-31803eb8d840 · inbound
Phi-4-reasoning Technical Report cites this paper.
Phi-4-reasoning Technical Report Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 48
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-17T03:40:25.739163Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 4ca2fab4-917f-4e1c-ae7a-11af97afdb54 · inbound
MathArena: Evaluating LLMs on Uncontaminated Math Competitions cites this paper.
MathArena: Evaluating LLMs on Uncontaminated Math Competitions Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 28
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-15T00:10:14.866036Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation dcbe21ce-9286-46e4-961d-606652a4cf72 · inbound
Using Reasoning Models to Generate Search Heuristics that Solve Open Instances of Combinatorial Design Problems cites this paper.
Using Reasoning Models to Generate Search Heuristics that Solve Open Instances of Combinatorial Design Problems Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:45:46.479498Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b12c2113-dbc3-4f3b-bc7e-d081fa75d0cf · inbound
Right Is Not Enough: The Pitfalls of Outcome Supervision in Training LLMs for Math Reasoning cites this paper.
Right Is Not Enough: The Pitfalls of Outcome Supervision in Training LLMs for Math Reasoning Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T05:50:49.653031Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8987591d-b5bf-43a3-a7f3-650d244d6e3a · inbound
Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models cites this paper.
Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T04:09:10.154073Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4447a8c4-0263-42a2-a4c4-cadde5a67f21 · inbound
No Free Lunch: Rethinking Internal Feedback for LLM Reasoning cites this paper.
No Free Lunch: Rethinking Internal Feedback for LLM Reasoning Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T23:35:25.107443Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 571dd12d-aa7e-403e-bd5d-1c666edd50f7 · inbound
On the Surprising Efficacy of LLMs for Penetration-Testing cites this paper.
On the Surprising Efficacy of LLMs for Penetration-Testing Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 82
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:10:06.635014Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0e0d4d6e-709f-4c24-9038-60039d47a15a · inbound
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving cites this paper.
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T10:30:44.646893Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bbf8efaf-4312-4d5e-984a-68622d4d12cc · inbound
SSRL: Self-Search Reinforcement Learning cites this paper.
SSRL: Self-Search Reinforcement Learning Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T20:17:11.057856Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5ca9addc-564d-4e46-9b2c-6d37d151fd36 · inbound
The Mathematician's Assistant: Integrating AI into Research Practice cites this paper.
The Mathematician's Assistant: Integrating AI into Research Practice Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:18:07.713740Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 715d8491-2da2-4694-8254-8e41e9adfdcd · inbound
Can LLMs Generate and Solve Linguistic Olympiad Puzzles? cites this paper.
Can LLMs Generate and Solve Linguistic Olympiad Puzzles? Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 1
- Resolution
- verified exact
- arxiv_id, observed 2026-05-21T22:44:24.438380Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 78430be8-a216-4003-9f15-1a71ccf2654b · inbound
Seesaw: Accelerating Training by Balancing Learning Rate and Batch Size Scheduling cites this paper.
Seesaw: Accelerating Training by Balancing Learning Rate and Batch Size Scheduling Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:38:46.119576Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d590de59-60f5-4031-b38e-81c170d6b9f8 · inbound
Beyond Reasoning Gains: Mitigating General-Capability Forgetting in Large Reasoning Models cites this paper.
Beyond Reasoning Gains: Mitigating General-Capability Forgetting in Large Reasoning Models Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 77
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T08:15:55.662016Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 162e4100-9614-4493-bb65-7b9fe7071677 · inbound
Large Lemma Miners: Can LLMs do Induction Proofs for Hardware? cites this paper.
Large Lemma Miners: Can LLMs do Induction Proofs for Hardware? Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 13
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-18T01:35:36.417510Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 1f532c31-8a77-484c-b75e-edff271502d6 · inbound
Large Lemma Miners: Can LLMs do Induction Proofs for Hardware? cites this paper.
Large Lemma Miners: Can LLMs do Induction Proofs for Hardware? Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T00:14:48.500366Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation eda4132e-139b-44ba-80ff-6ec655e83baa · inbound
From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models cites this paper.
From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 5
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-17T22:50:25.760811Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 0035540d-fb83-4987-bc0c-cb155b3a6f18 · inbound
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs cites this paper.
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:18:02.701570Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e0c75cff-7f64-4eac-920f-2f3dfe992c03 · inbound
BAS: A Decision-Theoretic Approach to Evaluating Large Language Model Confidence cites this paper.
BAS: A Decision-Theoretic Approach to Evaluating Large Language Model Confidence Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 37
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-13T19:53:11.895410Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 1129824b-89c7-44b2-82c9-e4c788d514e5 · inbound
Too long; didn't solve cites this paper.
Too long; didn't solve Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 7
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T06:41:43.452726Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation e45c6353-82eb-4015-b797-cac984145015 · inbound
Too long; didn't solve cites this paper.
Too long; didn't solve Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T08:26:49.097626Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c45d02b1-4c41-4f6c-85c3-de7936e8e9e8 · inbound
Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness cites this paper.
Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 4
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T04:56:24.283023Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 73d9f5fc-d150-4c4f-9873-3d0072549cdd · inbound
Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness cites this paper.
Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 4
- Resolution
- verified exact
- arxiv_id, observed 2026-06-30T22:45:06.649026Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 16bf2f75-0898-41af-8055-9dfe13d1d263 · inbound
STAR-P\'olyaMath: Multi-Agent Reasoning under Persistent Meta-Strategic Supervision cites this paper.
STAR-P\'olyaMath: Multi-Agent Reasoning under Persistent Meta-Strategic Supervision Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 31
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-20T02:58:00.106348Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 59f5b090-c75d-4a59-ac2b-895f994e0604 · inbound
You Don't Need to Run Every Eval cites this paper.
You Don't Need to Run Every Eval Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 82
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-04T10:49:46.943151Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 39d0ecde-988c-48a8-be4b-60096152efd9 · inbound
Cost-Effective Automated Judging of Natural-Language Mathematical Proofs cites this paper.
Cost-Effective Automated Judging of Natural-Language Mathematical Proofs Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T04:58:06.574894Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bf24a7a1-9fe9-4d55-b960-91b809835627 · inbound
Question Begets Question: Self-Evolving Curriculum for Reinforcement Fine-Tuning on Competition Mathematics cites this paper.
Question Begets Question: Self-Evolving Curriculum for Reinforcement Fine-Tuning on Competition Mathematics Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T00:08:25.854976Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.