Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-20T22:24:04.625823Z
Paper Citation Record · LEDGER
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs
As of 6 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 2 inbound Pith citation observations for arXiv:2605.09063.
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-06T06:34:29.942622+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-06-28T07:51:11.899943Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-07-03T05:47:40.989192Z
Reference resolution
33 of 33 outbound references displayed
- verified exact16
- verified fuzzy7
- unresolved7
- parse uncertain0
- malformed identifier0
- metadata mismatch3
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 38c89c7f-3209-4905-8b46-a641290d7539 · outbound
This paper cites First proof.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs First proof
Reference 1
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-20T22:24:07.808603Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation cdae6753-e705-4059-8556-940d462018bc · outbound
This paper cites gpt-oss-120b & gpt-oss-20b Model Card.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs gpt-oss-120b & gpt-oss-20b Model Card
Reference 2
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-05-20T22:24:07.725125Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 85c8bf02-d036-431b-ade6-140fe17ab51b · outbound
This paper cites Short proofs in combinatorics and number theory.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Short proofs in combinatorics and number theory
Reference 3
- Resolution
- verified exact
- arxiv_id, observed 2026-05-20T22:24:07.813826Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation f89f8194-a745-4f4d-8f3f-04bf5530b99d · outbound
This paper cites Short proofs in combinatorics, probability and number theory II.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Short proofs in combinatorics, probability and number theory II
Reference 4
- Resolution
- verified exact
- local_arxiv, observed 2026-05-20T22:24:07.738214Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation c864122a-58ab-4fb5-a663-b762f98c04a2 · outbound
This paper cites arXiv preprint arXiv:2510.26768 , year=.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs arXiv preprint arXiv:2510.26768 , year=
Reference 5
- Resolution
- verified exact
- arxiv_id, observed 2026-05-20T22:24:07.763874Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 2aad720e-23ce-408a-a2fb-784ad312714c · outbound
This paper cites Introducing Claude Opus 4.5.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Introducing Claude Opus 4.5
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T22:24:07.870333Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 6012d70c-aa78-43a1-beb8-7e0b003f744f · outbound
This paper cites American invitational mathematics examination (aime).
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs American invitational mathematics examination (aime)
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T22:24:07.854933Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation f1b1ae87-2f79-4e0a-9a1e-d8c4e2ad425a · outbound
This paper cites an unresolved cited work.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-05-20T22:24:07.842239Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 1e19bb32-85f4-4727-8f1f-879be06ab68c · outbound
This paper cites an unresolved cited work.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-05-20T22:24:07.863939Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 0d4cbd5c-3505-42aa-b55a-ddb77199a841 · outbound
This paper cites BeyondAIME: Advancing Math Reasoning Evaluation Beyond High School Olympiads.https://huggingface.co/datasets/ByteDance-Seed/BeyondAIME.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs BeyondAIME: Advancing Math Reasoning Evaluation Beyond High School Olympiads.https://huggingface.co/datasets/ByteDance-Seed/BeyondAIME
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T22:24:07.846216Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 9a03e198-29f0-4da6-9689-5c790437e349 · outbound
This paper cites Training Verifiers to Solve Math Word Problems.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Training Verifiers to Solve Math Word Problems
Reference 11
- Resolution
- verified exact
- local_arxiv, observed 2026-05-20T22:24:07.758847Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 2c511fb0-790b-4135-b25e-d015c5fd964f · outbound
This paper cites Semi-autonomous mathematics discovery with gemini: A case study on the erd\h{o}s problems.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Semi-autonomous mathematics discovery with gemini: A case study on the erd\h{o}s problems
Reference 12
- Resolution
- verified exact
- arxiv_id, observed 2026-05-20T22:24:07.791742Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 0432c9a3-ce2d-4d1b-bd25-f8a8e39e01c2 · outbound
This paper cites an unresolved cited work.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-05-20T22:24:07.849288Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation ec04da43-7cfd-4db6-aef1-7502e4f8a40e · outbound
This paper cites Riemann-Bench: A Benchmark for Moonshot Mathematics.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Riemann-Bench: A Benchmark for Moonshot Mathematics
Reference 14
- Resolution
- verified exact
- local_arxiv, observed 2026-05-20T22:24:07.752946Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 5d266f89-6a95-46b4-a4c1-16f6e7516e9e · outbound
This paper cites FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 15
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-05-20T22:24:07.822738Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation f77d596c-4f38-44c8-8634-43f8a56a958b · outbound
This paper cites Gemini 3.1 Pro.https://deepmind.google/models/gemini/ pro/.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Gemini 3.1 Pro.https://deepmind.google/models/gemini/ pro/
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T22:24:07.876023Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 7ad1f265-46d6-4070-9ff8-6a16a1c643f1 · outbound
This paper cites OpenThoughts: Data Recipes for Reasoning Models.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs OpenThoughts: Data Recipes for Reasoning Models
Reference 17
- Resolution
- verified exact
- local_arxiv, observed 2026-05-20T22:24:07.778193Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation bb8caf00-18e3-49f5-83f6-2b8da5d90cde · outbound
This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
Reference 18
- Resolution
- verified exact
- local_arxiv, observed 2026-05-20T22:24:07.786902Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 9c1c6649-0ad1-4e81-9bf0-b632dc4c54a5 · outbound
This paper cites an unresolved cited work.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-05-20T22:24:07.867474Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation ea3e4703-0df2-4af1-844c-1df4817614e9 · outbound
This paper cites HMMT.https://www.hmmt.org/.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs HMMT.https://www.hmmt.org/
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T22:24:07.873193Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 63512ddc-8487-4c59-ac47-4d4877d75684 · outbound
This paper cites an unresolved cited work.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-05-20T22:24:07.839437Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 24da91b6-5249-4c59-97b9-e8ff5dde789c · outbound
This paper cites EternalMath: A Living Benchmark of Frontier Mathematics that Evolves with Human Discovery.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs EternalMath: A Living Benchmark of Frontier Mathematics that Evolves with Human Discovery
Reference 22
- Resolution
- verified exact
- local_arxiv, observed 2026-05-20T22:24:07.772977Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 210423f8-17a3-4993-baa9-a30ced3afdc9 · outbound
This paper cites proprietary ai foundation model.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs proprietary ai foundation model
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T22:24:07.852027Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 3e7aab8a-d5e1-4247-bed9-e661859d4a38 · outbound
This paper cites Humanity's Last Exam.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Humanity's Last Exam
Reference 24
- Resolution
- verified exact
- local_arxiv, observed 2026-05-20T22:24:07.747968Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation f01528dd-f169-4bd6-a94c-d75730cf07d8 · outbound
This paper cites IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
Reference 25
- Resolution
- verified exact
- arxiv_id, observed 2026-07-10T02:19:32.479333Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 0df6c967-6835-4223-965c-a391d08ef79c · outbound
This paper cites OpenAI GPT-5 System Card.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs OpenAI GPT-5 System Card
Reference 26
- Resolution
- verified exact
- local_arxiv, observed 2026-05-20T22:24:07.782392Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 46a2f3c1-9845-48c5-b610-6870a0bdab0f · outbound
This paper cites an unresolved cited work.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-05-20T22:24:07.860967Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation a6f4c571-b33e-4405-8564-4d8cf73e3a66 · outbound
This paper cites an unresolved cited work.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-05-20T22:24:07.836176Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 9d5056c3-4c56-43c9-8d32-b91ccca28b10 · outbound
This paper cites Kimi K2.5: Visual Agentic Intelligence.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Kimi K2.5: Visual Agentic Intelligence
Reference 29
- Resolution
- verified exact
- local_arxiv, observed 2026-05-20T22:24:07.796186Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 9c77a275-306a-459b-aa16-3ace68a761b8 · outbound
This paper cites Qwen3 Technical Report.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Qwen3 Technical Report
Reference 30
- Resolution
- verified exact
- local_arxiv, observed 2026-05-20T22:24:07.800295Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation c760bdf1-d822-444e-a9e8-b4da826a9d4e · outbound
This paper cites GLM-5.1: Towards Long-Horizon Tasks.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs GLM-5.1: Towards Long-Horizon Tasks
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T22:24:07.858204Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 32a828db-cc2c-44b5-9c5c-88efc304143e · outbound
This paper cites Zhai et al.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Zhai et al
Reference 32
- Resolution
- verified exact
- arxiv_id, observed 2026-05-20T22:24:07.828052Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation f32425d4-8502-4362-86f0-a681301cb3fe · outbound
This paper cites Sovereign AI Foundation Model.
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs Sovereign AI Foundation Model
Reference 33
- Resolution
- verified exact
- arxiv_id, observed 2026-05-20T22:24:07.818261Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Pith citing papers
Observation 0bf0fcdc-f168-49ac-92a1-d9fc0155ca72 · inbound
The Grothendieck Constant is Less Than $\frac{\pi}{2 \log (1+ \sqrt{2})} - 10^{-5}$ cites this paper.
The Grothendieck Constant is Less Than $\frac{\pi}{2 \log (1+ \sqrt{2})} - 10^{-5}$ Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs
Reference 12
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-02T05:56:40.849823Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 45112da2-8c11-43a0-94e7-905139f528e5 · inbound
KCSAT-ML: Probing Reasoning Models with Nationwide-Cohort Human Difficulty cites this paper.
KCSAT-ML: Probing Reasoning Models with Nationwide-Cohort Human Difficulty Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs
Reference 15
- Resolution
- verified exact
- local_arxiv, observed 2026-07-03T05:47:40.990435Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.