Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-08T11:59:44.850797Z
Paper Citation Record · LEDGER
Verifier-Backed Hard Problem Generation for Mathematical Reasoning
As of 5 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 1 inbound Pith citation observation for arXiv:2605.06660.
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-05T06:32:48.257954+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-07-09T03:36:57.168246Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-07-09T03:45:55.487805Z
Reference resolution
33 of 33 outbound references displayed
- verified exact9
- verified fuzzy19
- unresolved2
- parse uncertain0
- malformed identifier2
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 98e715b7-64f8-417d-8e7b-fcb5940a7704 · outbound
This paper cites Self-play fine-tuning converts weak language models to strong language models.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Self-play fine-tuning converts weak language models to strong language models
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.345502Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f04d1bed-4659-43ee-a3e7-8e10cfb6bec6 · outbound
This paper cites Training Verifiers to Solve Math Word Problems.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Training Verifiers to Solve Math Word Problems
Reference 2
- Resolution
- verified exact
- local_arxiv, observed 2026-05-11T19:26:08.937588Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a7312a1f-5a06-4df0-b856-e7ea32700563 · outbound
This paper cites Deepseek-r1: Incentivizing reasoning capability in llms via reinforcement learning.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Deepseek-r1: Incentivizing reasoning capability in llms via reinforcement learning
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.335489Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 56b63b2b-1f5e-42c7-a2c6-83502a8e5e49 · outbound
This paper cites Prompt curriculum learning for efficient LLM post-training.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Prompt curriculum learning for efficient LLM post-training
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.337837Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 966b55bf-c798-4291-8595-9054aad647e2 · outbound
This paper cites ToRA: A tool-integrated reasoning agent for mathematical problem solving.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning ToRA: A tool-integrated reasoning agent for mathematical problem solving
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.332567Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 434b7723-f726-4c0c-8f43-de62e8441b12 · outbound
This paper cites LLMs Gaming Verifiers: RLVR can Lead to Reward Hacking.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning LLMs Gaming Verifiers: RLVR can Lead to Reward Hacking
Reference 6
- Resolution
- verified exact
- local_arxiv, observed 2026-05-11T19:26:08.928001Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e09c6a29-30e9-40df-a57d-f937c37cd982 · outbound
This paper cites Measuring mathematical problem solving with the MATH dataset.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Measuring mathematical problem solving with the MATH dataset
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.340191Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation af500a72-97f9-44c7-a7a8-5fdd93e5f68e · outbound
This paper cites R-Zero: Self-evolving reasoning LLM from zero data.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning R-Zero: Self-evolving reasoning LLM from zero data
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.342643Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 4d777bcc-92b5-462b-9889-b1b9c3cfc1e5 · outbound
This paper cites Key-point-driven data synthesis with its enhancement on mathematical reasoning.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Key-point-driven data synthesis with its enhancement on mathematical reasoning
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.348078Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 23893d57-5230-49ff-a9e0-f20cc185d087 · outbound
This paper cites URL https://ojs.aaai.org/index.php/AAAI/ article/view/34593.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning URL https://ojs.aaai.org/index.php/AAAI/ article/view/34593
Reference 10
- Resolution
- verified exact
- doi, observed 2026-05-08T21:44:16.671159Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d4a409d2-2232-46c3-84b7-b43ade65d11d · outbound
This paper cites Olympiad-level formal mathemati- cal reasoning with reinforcement learning.Nature, 651:607–613.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Olympiad-level formal mathemati- cal reasoning with reinforcement learning.Nature, 651:607–613
Reference 11
- Resolution
- malformed identifier
- raw_fallback, observed 2026-05-26T13:47:25.353381Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 9fc6954e-708c-4cf8-8213-cc64a0de9f41 · outbound
This paper cites Inference-time reward hacking in large language models.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Inference-time reward hacking in large language models
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.329944Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 2749e0b3-7010-4c7c-be4b-9ce168270af4 · outbound
This paper cites Synthesizing verified mathematical problems.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Synthesizing verified mathematical problems
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.322643Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 4ba36993-ea32-41b0-af5f-beff2d865e4b · outbound
This paper cites Sws: Self-aware weakness-driven problem synthesis in reinforcement learning for llm reasoning.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Sws: Self-aware weakness-driven problem synthesis in reinforcement learning for llm reasoning
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.312784Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f57f514b-f99b-4d15-b6fb-5aba05582b81 · outbound
This paper cites Beyond pass@1: Self-play with variational problem synthesis sustains rlvr.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Beyond pass@1: Self-play with variational problem synthesis sustains rlvr
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.315241Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e421bca8-d106-4201-831e-e33086a0f95b · outbound
This paper cites Wizardmath: Empowering mathematical reasoning for large language models via reinforced evol-instruct.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Wizardmath: Empowering mathematical reasoning for large language models via reinforced evol-instruct
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.320283Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation b301eeeb-82a4-4fa9-9552-03902c10c1eb · outbound
This paper cites Sand-math: Using llms to generate novel, difficult and useful mathematics questions and answers.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Sand-math: Using llms to generate novel, difficult and useful mathematics questions and answers
Reference 17
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T19:26:08.960579Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 458a45dd-d082-4a11-b67d-83bb5a5d5e2a · outbound
This paper cites AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning dataset.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning dataset
Reference 18
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-11T19:26:08.942219Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation fe511015-c75e-47e9-a993-4be0bee7ab25 · outbound
This paper cites Learning to reason with LLMs.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Learning to reason with LLMs
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.310177Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 3ef4a995-e352-4d31-a5a4-f141693f3372 · outbound
This paper cites How to get your LLM to generate challenging problems for evaluation.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning How to get your LLM to generate challenging problems for evaluation
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.317850Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation aeb25f53-c3a2-4ec1-9622-430ce0d471ce · outbound
This paper cites MathFusion: Enhancing mathematical problem-solving of LLM through instruction fusion.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning MathFusion: Enhancing mathematical problem-solving of LLM through instruction fusion
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.325111Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f2949b5b-c35e-4031-997c-8ca6da2a9029 · outbound
This paper cites doi: 10.18653/v1/2025.acl-long.367.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning doi: 10.18653/v1/2025.acl-long.367
Reference 22
- Resolution
- verified exact
- doi, observed 2026-05-08T21:44:16.684821Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 1dc17467-84b1-4bf5-bf39-2a858fde74b2 · outbound
This paper cites an unresolved cited work.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-05-26T13:47:25.327544Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d266514e-7af1-4913-82b8-028f4c2fe04a · outbound
This paper cites DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
Reference 24
- Resolution
- verified exact
- local_arxiv, observed 2026-05-11T19:26:08.956343Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e1054559-b20a-443f-8ea7-863c490f7ede · outbound
This paper cites MathScale: Scaling instruction tuning for mathematical reasoning.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning MathScale: Scaling instruction tuning for mathematical reasoning
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.350607Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 5241ff84-76de-46bc-b2a9-31fc08455295 · outbound
This paper cites Openmathinstruct-2: Accelerating ai for math with massive open-source instruction data.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Openmathinstruct-2: Accelerating ai for math with massive open-source instruction data
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.302107Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 73e9beee-66bb-4d51-aeae-433a1b0a3567 · outbound
This paper cites Trinh, Yuhuai Wu, Quoc V.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Trinh, Yuhuai Wu, Quoc V
Reference 27
- Resolution
- malformed identifier
- raw_fallback, observed 2026-05-26T13:47:25.299187Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a48c0be4-6b0c-4213-8155-262274143fc4 · outbound
This paper cites SHARP: Synthesizing High-quality Aligned Reasoning Problems for Large Reasoning Models Reinforcement Learning.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning SHARP: Synthesizing High-quality Aligned Reasoning Problems for Large Reasoning Models Reinforcement Learning
Reference 28
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T19:26:08.915509Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 6ef1b244-08fd-4772-98fb-22ec89ec715f · outbound
This paper cites Metamath: Bootstrap your own mathematical questions for large language models.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Metamath: Bootstrap your own mathematical questions for large language models
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.304551Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 2f392c3e-38bd-46d4-a8b7-255a9bff01e1 · outbound
This paper cites an unresolved cited work.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Unresolved cited work
Reference 30
- Resolution
- unresolved
- raw_fallback, observed 2026-05-26T13:47:25.296850Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c4ea1b7a-6c88-4b7c-96be-bdcce6ee22d5 · outbound
This paper cites Mathsmith: Towards extremely hard mathematical reasoning by forging synthetic problems with a reinforced policy.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Mathsmith: Towards extremely hard mathematical reasoning by forging synthetic problems with a reinforced policy
Reference 31
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T19:26:08.922934Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 685742c1-9dab-4de8-96a7-63976d3c8795 · outbound
This paper cites Absolute zero: Reinforced self-play reasoning with zero data.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Absolute zero: Reinforced self-play reasoning with zero data
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T13:47:25.307085Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 822090db-b270-4bf7-afa5-72385c2babad · outbound
This paper cites Accepted.
Verifier-Backed Hard Problem Generation for Mathematical Reasoning Accepted
Reference 33
- Resolution
- verified exact
- doi, observed 2026-05-08T21:44:16.689371Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Pith citing papers
Observation a8b23a72-c239-4015-8200-ca2bc726971b · inbound
Recursive Self-Improvement in AI: From Bounded Self-Refinement to Autonomous Research Loops cites this paper.
Recursive Self-Improvement in AI: From Bounded Self-Refinement to Autonomous Research Loops Verifier-Backed Hard Problem Generation for Mathematical Reasoning
Reference 124
- Resolution
- verified exact
- local_arxiv, observed 2026-07-09T03:45:55.489138Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.