Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-04T21:54:48.207513Z
Paper Citation Record · LEDGER
As of 9 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 2 inbound Pith citation observations for arXiv:2509.07711.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-04T21:54:48.207513Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-07-14T02:43:21.225324Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-06-29T17:03:40.960916Z
13 of 13 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 91980745-a815-4497-aa47-6645066c68b4 · outbound
RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning write newline
Reference 1
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8ec6397f-0a48-44fe-9296-537bc56b8ec4 · outbound
RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning Have LLMs Advanced Enough? A Challenging Problem Solving Benchmark For Large Language Models
Reference 2
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c02c81a9-9915-4f04-a03a-c4afc77e0d54 · outbound
RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning Training Verifiers to Solve Math Word Problems
Reference 3
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9f338992-0680-4ea8-bdcc-575fc8494ce0 · outbound
RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning MathOdyssey: Benchmarking Mathematical Problem-Solving Skills in Large Language Models Using Odyssey Math Data
Reference 4
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2fa9f505-165b-462c-b939-4e3402f737cf · outbound
RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning C., Buzzard, K., Gowers, T., Liu, P
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 4aca38e9-be89-4ee7-a789-2e9140c49eef · outbound
RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models
Reference 6
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8fdbb723-3940-4b1c-8063-473fe749f53e · outbound
RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems
Reference 7
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9a3c3ed3-3b79-4a8e-a1e1-a46f8a41fe13 · outbound
RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning Measuring Mathematical Problem Solving With the MATH Dataset
Reference 8
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 474d1bb9-b514-48ba-8b01-f66d93506437 · outbound
RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI
Reference 9
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cc3b578e-4cf2-4520-aef8-505414412de6 · outbound
RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning Solving Quantitative Reasoning Problems with Language Models
Reference 10
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2f6bf573-832f-44a8-8a96-c25d0699a9ca · outbound
RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning CHAMP: A Competition-level Dataset for Fine-Grained Analyses of LLMs' Mathematical Reasoning Capabilities
Reference 11
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d14ab61b-d3ac-4f1f-9f82-52e38198063a · outbound
RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models
Reference 12
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1be36bea-8b80-4796-9a91-01506996d97d · outbound
RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning Solving olympiad geometry without human demonstrations
Reference 13
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b6ba982a-cd0d-407f-8a8e-f0e3206bb462 · inbound
Prefix-Safe Bayesian Belief Tracking for LLM Reasoning Reliability:Separating Calibration from Ranking RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 3e529a14-449a-45c3-aa37-861e484015e8 · inbound
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning
Reference 4
Source-reported events for the cited work
Unavailable: canonical work link unavailable.