{"as_of":"2026-08-10T08:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a5eaa340e840bd3c2d13b43cd1b4fa9ea36803f4482d34567221cc0271729b5d","coverage":[{"denominator":13,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":13,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T21:54:48.207513Z","state":"measured"},{"denominator":15,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":15,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-14T02:43:21.225324Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-06-29T17:03:40.960916Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2509.07711","last_updated":"2025-09-09T13:13:51Z","snapshot_observed_at":"2026-08-07T23:36:53.104584Z","submitted_at":"2025-09-09T13:13:51Z","title":"RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning","version":1},"cited_work":{"arxiv_id":"2509.07711","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2509.07711","snapshot_observed_at":"2026-06-29T17:03:40.960916Z","title":null,"venue":null,"work_id":"c7ea0cf5-8c7a-497d-96b0-d127b5e3d241","year":2025},"citing_paper":{"arxiv_id":"2605.27712","last_updated":"2026-05-26T21:37:20Z","snapshot_observed_at":"2026-08-02T09:43:04.207109Z","submitted_at":"2026-05-26T21:37:20Z","title":"Prefix-Safe Bayesian Belief Tracking for LLM Reasoning Reliability:Separating Calibration from Ranking","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-06-29T16:59:25.127619Z"},"links":{"cited_paper":"/paper/2509.07711","citing_paper":"/paper/2605.27712"},"observation_digest":"sha256:c5c899d359f632a158adb05d86cb303563d83d51a0b123dacf70955bd47cd5cb","observation_id":"b6ba982a-cd0d-407f-8a8e-f0e3206bb462","resolution":{"observed_at":"2026-06-29T17:03:40.962251Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2509.07711","last_updated":"2025-09-09T13:13:51Z","snapshot_observed_at":"2026-08-07T23:36:53.104584Z","submitted_at":"2025-09-09T13:13:51Z","title":"RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2509.07711","snapshot_observed_at":"2026-07-14T02:43:21.225324Z","title":"Rimo: An easy-to-evaluate, hard-to-solve olympiad benchmark for advanced mathematical reasoning.arXiv preprint arXiv:2509.07711, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.11849","last_updated":"2026-07-13T17:38:22Z","snapshot_observed_at":"2026-07-16T23:20:03.329744Z","submitted_at":"2026-07-13T17:38:22Z","title":"AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-14T02:43:21.225324Z"},"links":{"cited_paper":"/paper/2509.07711","citing_paper":"/paper/2607.11849"},"observation_digest":"sha256:dc86b8746a09ced9476b32157c500518dd5d07f60d5106de59e9eae263061d68","observation_id":"3e529a14-449a-45c3-aa37-861e484015e8","resolution":{"observed_at":"2026-07-14T02:43:21.225324Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2509.07711/citation-record","integrity":"/paper/2509.07711/integrity","json":"/paper/2509.07711/citation-record.json","paper":"/paper/2509.07711"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T21:54:48.163592Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.07711","last_updated":"2025-09-09T13:13:51Z","snapshot_observed_at":"2026-08-07T23:36:53.104584Z","submitted_at":"2025-09-09T13:13:51Z","title":"RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-04T21:54:48.163592Z"},"links":{"citing_paper":"/paper/2509.07711"},"observation_digest":"sha256:b35c755095f56d34e54383826dde29b660abea8540791f9340615cab6f97e175","observation_id":"91980745-a815-4497-aa47-6645066c68b4","resolution":{"observed_at":"2026-08-04T21:54:48.163592Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.15074","last_updated":"2023-10-23T11:55:58Z","snapshot_observed_at":"2026-08-03T17:43:44.363296Z","submitted_at":"2023-05-24T11:55:59Z","title":"Have LLMs Advanced Enough? A Challenging Problem Solving Benchmark For Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.15074","snapshot_observed_at":"2026-08-04T21:54:48.168151Z","title":"G., and Mausam","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.07711","last_updated":"2025-09-09T13:13:51Z","snapshot_observed_at":"2026-08-07T23:36:53.104584Z","submitted_at":"2025-09-09T13:13:51Z","title":"RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-04T21:54:48.168151Z"},"links":{"cited_paper":"/paper/2305.15074","citing_paper":"/paper/2509.07711"},"observation_digest":"sha256:ad7e3662da60c6877439554a52d1883973a495b009140a4fb20c1e7ac3b96464","observation_id":"8ec6397f-0a48-44fe-9296-537bc56b8ec4","resolution":{"observed_at":"2026-08-04T21:54:48.168151Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2110.14168","last_updated":"2021-11-18T00:23:45Z","snapshot_observed_at":"2026-08-07T01:45:38.840969Z","submitted_at":"2021-10-27T04:49:45Z","title":"Training Verifiers to Solve Math Word Problems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2110.14168","snapshot_observed_at":"2026-08-04T21:54:48.172194Z","title":"Training verifiers to solve math word problems, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.07711","last_updated":"2025-09-09T13:13:51Z","snapshot_observed_at":"2026-08-07T23:36:53.104584Z","submitted_at":"2025-09-09T13:13:51Z","title":"RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-04T21:54:48.172194Z"},"links":{"cited_paper":"/paper/2110.14168","citing_paper":"/paper/2509.07711"},"observation_digest":"sha256:882fa852cf2f95974975540d6593fabdc3feb74b96f767ef7b9c7d7a1e5943dd","observation_id":"c02c81a9-9915-4f04-a03a-c4afc77e0d54","resolution":{"observed_at":"2026-08-04T21:54:48.172194Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.18321","last_updated":"2024-06-26T13:02:35Z","snapshot_observed_at":"2026-08-07T23:35:19.761147Z","submitted_at":"2024-06-26T13:02:35Z","title":"MathOdyssey: Benchmarking Mathematical Problem-Solving Skills in Large Language Models Using Odyssey Math Data","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.18321","snapshot_observed_at":"2026-08-04T21:54:48.175953Z","title":"Mathodyssey: Benchmarking mathematical problem-solving skills in large language models using odyssey math data, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07711","last_updated":"2025-09-09T13:13:51Z","snapshot_observed_at":"2026-08-07T23:36:53.104584Z","submitted_at":"2025-09-09T13:13:51Z","title":"RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-04T21:54:48.175953Z"},"links":{"cited_paper":"/paper/2406.18321","citing_paper":"/paper/2509.07711"},"observation_digest":"sha256:046ddc7778ae27669549c0faf59fa4c13846f46a6c8824ee610b357301893a3a","observation_id":"9f338992-0680-4ea8-bdcc-575fc8494ce0","resolution":{"observed_at":"2026-08-04T21:54:48.175953Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T21:54:48.341996Z","title":"C., Buzzard, K., Gowers, T., Liu, P","venue":null,"work_id":"58a97e93-359d-49ef-b631-553d3b6aff2b","year":2025},"citing_paper":{"arxiv_id":"2509.07711","last_updated":"2025-09-09T13:13:51Z","snapshot_observed_at":"2026-08-07T23:36:53.104584Z","submitted_at":"2025-09-09T13:13:51Z","title":"RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-04T21:54:48.179897Z"},"links":{"citing_paper":"/paper/2509.07711"},"observation_digest":"sha256:6461563b3858b973c5f56f870a200f4e2ff2555c25d7d1d530f1f03b4dc7be10","observation_id":"2fa9f505-165b-462c-b939-4e3402f737cf","resolution":{"observed_at":"2026-08-04T21:54:48.346205Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.07985","last_updated":"2024-12-24T04:04:30Z","snapshot_observed_at":"2026-08-10T07:44:25.135572Z","submitted_at":"2024-10-10T14:39:33Z","title":"Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.07985","snapshot_observed_at":"2026-08-04T21:54:48.183408Z","title":"Omni-math: A universal olympiad level mathematic benchmark for large language models, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07711","last_updated":"2025-09-09T13:13:51Z","snapshot_observed_at":"2026-08-07T23:36:53.104584Z","submitted_at":"2025-09-09T13:13:51Z","title":"RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-04T21:54:48.183408Z"},"links":{"cited_paper":"/paper/2410.07985","citing_paper":"/paper/2509.07711"},"observation_digest":"sha256:a60e495c274d3c93a21081a7d919445ded0c8a8b9cc3994729f365ab508b2187","observation_id":"4aca38e9-be89-4ee7-a789-2e9140c49eef","resolution":{"observed_at":"2026-08-04T21:54:48.183408Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.14008","last_updated":"2024-06-06T13:19:44Z","snapshot_observed_at":"2026-08-03T03:39:09.398343Z","submitted_at":"2024-02-21T18:49:26Z","title":"OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.14008","snapshot_observed_at":"2026-08-04T21:54:48.186924Z","title":"L., Shen, J., Hu, J., Han, X., Huang, Y., Zhang, Y., Liu, J., Qi, L., Liu, Z., and Sun, M","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07711","last_updated":"2025-09-09T13:13:51Z","snapshot_observed_at":"2026-08-07T23:36:53.104584Z","submitted_at":"2025-09-09T13:13:51Z","title":"RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-04T21:54:48.186924Z"},"links":{"cited_paper":"/paper/2402.14008","citing_paper":"/paper/2509.07711"},"observation_digest":"sha256:5f3d16ca5e2cfca6f5c048d8978c41820364d7ed4575373308efd9312d97bcd6","observation_id":"8fdbb723-3940-4b1c-8063-473fe749f53e","resolution":{"observed_at":"2026-08-04T21:54:48.186924Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.03874","last_updated":"2021-11-08T21:30:18Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-03-05T18:59:39Z","title":"Measuring Mathematical Problem Solving With the MATH Dataset","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.03874","snapshot_observed_at":"2026-08-04T21:54:48.190554Z","title":"Measuring mathematical problem solving with the math dataset, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.07711","last_updated":"2025-09-09T13:13:51Z","snapshot_observed_at":"2026-08-07T23:36:53.104584Z","submitted_at":"2025-09-09T13:13:51Z","title":"RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-04T21:54:48.190554Z"},"links":{"cited_paper":"/paper/2103.03874","citing_paper":"/paper/2509.07711"},"observation_digest":"sha256:9be4225d3f6656746f5feba1eb2ebc7cb69c7f7a2c61f5ddea0447b105e4d15a","observation_id":"9a3c3ed3-3b79-4a8e-a1e1-a46f8a41fe13","resolution":{"observed_at":"2026-08-04T21:54:48.190554Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.12753","last_updated":"2025-03-06T12:55:25Z","snapshot_observed_at":"2026-07-06T18:33:07.118735Z","submitted_at":"2024-06-18T16:20:53Z","title":"OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.12753","snapshot_observed_at":"2026-08-04T21:54:48.193761Z","title":"Olympicarena: Benchmarking multi-discipline cognitive reasoning for superintelligent ai, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.07711","last_updated":"2025-09-09T13:13:51Z","snapshot_observed_at":"2026-08-07T23:36:53.104584Z","submitted_at":"2025-09-09T13:13:51Z","title":"RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-04T21:54:48.193761Z"},"links":{"cited_paper":"/paper/2406.12753","citing_paper":"/paper/2509.07711"},"observation_digest":"sha256:c655ca74cd72cd4ac804e623be2639adc34121234ca535212d6d912dbb425ee1","observation_id":"474d1bb9-b514-48ba-8b01-f66d93506437","resolution":{"observed_at":"2026-08-04T21:54:48.193761Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2206.14858","last_updated":"2022-07-01T02:15:12Z","snapshot_observed_at":"2026-08-05T15:41:22.691461Z","submitted_at":"2022-06-29T18:54:49Z","title":"Solving Quantitative Reasoning Problems with Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.14858","snapshot_observed_at":"2026-08-04T21:54:48.197117Z","title":"Solving quantitative reasoning problems with language models, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.07711","last_updated":"2025-09-09T13:13:51Z","snapshot_observed_at":"2026-08-07T23:36:53.104584Z","submitted_at":"2025-09-09T13:13:51Z","title":"RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-04T21:54:48.197117Z"},"links":{"cited_paper":"/paper/2206.14858","citing_paper":"/paper/2509.07711"},"observation_digest":"sha256:25eaa22dd570bd23a67b3220e2e6b31e39af505634d7b06384a83443f93f1da2","observation_id":"cc3b578e-4cf2-4520-aef8-505414412de6","resolution":{"observed_at":"2026-08-04T21:54:48.197117Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.06961","last_updated":"2024-06-09T01:47:26Z","snapshot_observed_at":"2026-08-07T14:15:56.254940Z","submitted_at":"2024-01-13T03:18:16Z","title":"CHAMP: A Competition-level Dataset for Fine-Grained Analyses of LLMs' Mathematical Reasoning Capabilities","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.06961","snapshot_observed_at":"2026-08-04T21:54:48.200382Z","title":"Champ: A competition-level dataset for fine-grained analyses of llms' mathematical reasoning capabilities, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07711","last_updated":"2025-09-09T13:13:51Z","snapshot_observed_at":"2026-08-07T23:36:53.104584Z","submitted_at":"2025-09-09T13:13:51Z","title":"RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-04T21:54:48.200382Z"},"links":{"cited_paper":"/paper/2401.06961","citing_paper":"/paper/2509.07711"},"observation_digest":"sha256:77121754049a4a55a004664ab112875d5296e85fdbac15b34eeee20e1c6e9f55","observation_id":"2f6bf573-832f-44a8-8a96-c25d0699a9ca","resolution":{"observed_at":"2026-08-04T21:54:48.200382Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.21380","last_updated":"2026-04-12T10:37:12Z","snapshot_observed_at":"2026-08-02T16:04:50.458535Z","submitted_at":"2025-03-27T11:20:17Z","title":"Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.21380","snapshot_observed_at":"2026-08-04T21:54:48.204024Z","title":"X., Liu, Z., Wang, Z., Fang, L., and Wen, J.-R","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.07711","last_updated":"2025-09-09T13:13:51Z","snapshot_observed_at":"2026-08-07T23:36:53.104584Z","submitted_at":"2025-09-09T13:13:51Z","title":"RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-04T21:54:48.204024Z"},"links":{"cited_paper":"/paper/2503.21380","citing_paper":"/paper/2509.07711"},"observation_digest":"sha256:5bad7e2659a3cf94513f341cf9337e825cea46f3ae1acfef0b907cbb282b71e3","observation_id":"d14ab61b-d3ac-4f1f-9f82-52e38198063a","resolution":{"observed_at":"2026-08-04T21:54:48.204024Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T21:54:48.207513Z","title":"Solving olympiad geometry without human demonstrations","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07711","last_updated":"2025-09-09T13:13:51Z","snapshot_observed_at":"2026-08-07T23:36:53.104584Z","submitted_at":"2025-09-09T13:13:51Z","title":"RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-04T21:54:48.207513Z"},"links":{"citing_paper":"/paper/2509.07711"},"observation_digest":"sha256:939f4f4980a34045f5b37f0818d91427a9dce0a57428653f81124461d1c0b166","observation_id":"1be36bea-8b80-4796-9a91-01506996d97d","resolution":{"observed_at":"2026-08-04T21:54:48.207513Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2509.07711","last_updated":"2025-09-09T13:13:51Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T23:36:53.104584Z","submitted_at":"2025-09-09T13:13:51Z","title":"RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning"},"reference_resolution":{"displayed":13,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":12,"verified_exact":0,"verified_fuzzy":1},"total_outbound_references":13},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 2 inbound Pith citation observations for arXiv:2509.07711."}