Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
As of 15 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 3 inbound Pith citation observations for arXiv:2502.13834.
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-15T06:32:42.880941+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-14T04:18:57.391514Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-07T04:09:15.228055Z
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 8a40ff43-6702-4525-b937-6f4bd3caa36f · 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 Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Reference 39
- Resolution
- verified exact
- local_arxiv, observed 2026-08-07T04:09:15.282643Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 254e3d18-e4a5-4dab-a6c7-925e9320b7dc · inbound
TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability cites this paper.
TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T15:30:26.797250Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7ca0ff16-7e30-4562-ada9-0124736fcef1 · inbound
TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability cites this paper.
TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:18:57.391514Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.