{"as_of":"2026-08-05T10:58:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:299c0c1c319e4f845f56b0c5aab06d703d2637296c939383db3d208176956aca","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-08T11:59:44.850797Z","state":"measured"},{"denominator":34,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":34,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-09T03:36:57.168246Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-09T03:45:55.487805Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"cited_work":{"arxiv_id":"2605.06660","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.06660","snapshot_observed_at":"2026-07-09T03:45:55.487805Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","venue":"cs.LG","work_id":"9f6f73ab-4d5e-43d6-a10d-5b1e25f15895","year":2026},"citing_paper":{"arxiv_id":"2607.07663","last_updated":"2026-07-08T17:19:50Z","snapshot_observed_at":"2026-07-30T01:44:04.256851Z","submitted_at":"2026-07-08T17:19:50Z","title":"Recursive Self-Improvement in AI: From Bounded Self-Refinement to Autonomous Research Loops","version":1},"reference_index":124,"source":"pdf_text","source_observed_at":"2026-07-09T03:36:57.168246Z"},"links":{"cited_paper":"/paper/2605.06660","citing_paper":"/paper/2607.07663"},"observation_digest":"sha256:64836db674dd03766c82777f1de15645a47206f51c51a515b4760b45963f357c","observation_id":"a8b23a72-c239-4015-8200-ca2bc726971b","resolution":{"observed_at":"2026-07-09T03:45:55.489138Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2605.06660/citation-record","integrity":"/paper/2605.06660/integrity","json":"/paper/2605.06660/citation-record.json","paper":"/paper/2605.06660"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Self-play fine-tuning converts weak language models to strong language models","venue":null,"work_id":"2cd6672b-ddb1-4948-8137-d34e4b2ae89c","year":2024},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:bd496012ce68d933286f3b31bb7fd84999648c2a8d7f93edd484776b495795de","observation_id":"98e715b7-64f8-417d-8e7b-fcb5940a7704","resolution":{"observed_at":"2026-05-26T13:47:25.345502Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2110.14168","last_updated":"2021-11-18T00:23:45Z","snapshot_observed_at":"2026-08-04T15:46:25.710484Z","submitted_at":"2021-10-27T04:49:45Z","title":"Training Verifiers to Solve Math Word Problems","version":2},"cited_work":{"arxiv_id":"2110.14168","doi":"10.1002/j.1545-","metadata_source":"pith","pith_arxiv_id":"2110.14168","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Training Verifiers to Solve Math Word Problems","venue":"cs.LG","work_id":"acab1aa8-b4d6-40e0-a3ee-25341701dca2","year":2021},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"cited_paper":"/paper/2110.14168","citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:50a09723a3e1ab1608408d5ddad0342a43f133d78acada89ec757008463166d8","observation_id":"f04d1bed-4659-43ee-a3e7-8e10cfb6bec6","resolution":{"observed_at":"2026-05-11T19:26:08.937588Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Deepseek-r1: Incentivizing reasoning capability in llms via reinforcement learning","venue":null,"work_id":"a021db43-655c-4e01-b724-3e5b06870d23","year":2025},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:a8e5117ac9324eae2d38cdcf33641020845962e20b13f79a57f1fd9b9f7ce8da","observation_id":"a7312a1f-5a06-4df0-b856-e7ea32700563","resolution":{"observed_at":"2026-05-26T13:47:25.335489Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Prompt curriculum learning for efficient LLM post-training","venue":null,"work_id":"6d75b1e8-53cf-43da-a75b-8f8e66e33fff","year":2026},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:543d17f28e2039fc7071352c7d5785ef3d9d80e711268551fea930f7e4ed01e7","observation_id":"56b63b2b-1f5e-42c7-a2c6-83502a8e5e49","resolution":{"observed_at":"2026-05-26T13:47:25.337837Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"ToRA: A tool-integrated reasoning agent for mathematical problem solving","venue":null,"work_id":"45c093d3-1b64-4422-be60-51d60a48309a","year":2024},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:83d0816fa844673f3b16e872c298c05c2628154082011328fd53fcf2ae9f5655","observation_id":"966b55bf-c798-4291-8595-9054aad647e2","resolution":{"observed_at":"2026-05-26T13:47:25.332567Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2604.15149","last_updated":"2026-04-16T15:30:10Z","snapshot_observed_at":"2026-07-06T23:02:44.990811Z","submitted_at":"2026-04-16T15:30:10Z","title":"LLMs Gaming Verifiers: RLVR can Lead to Reward Hacking","version":1},"cited_work":{"arxiv_id":"2604.15149","doi":null,"metadata_source":"pith","pith_arxiv_id":"2604.15149","snapshot_observed_at":"2026-07-04T08:29:41.270827Z","title":"LLMs Gaming Verifiers: RLVR can Lead to Reward Hacking","venue":"cs.LG","work_id":"5aeeb8b5-a071-4399-88c1-9e8869a33e22","year":2026},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"cited_paper":"/paper/2604.15149","citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:887827dfab283e90160bded9527fe55327628885bdda7c2f9957c14c5197f864","observation_id":"434b7723-f726-4c0c-8f43-de62e8441b12","resolution":{"observed_at":"2026-05-11T19:26:08.928001Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Measuring mathematical problem solving with the MATH dataset","venue":null,"work_id":"70352519-ab88-4fcd-85cc-ea3bc13aded1","year":2021},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:83b2219efa75a8f85e05cb7fb18281d4d675a01a3e40e2db1b3bcc2ee0fe9219","observation_id":"e09c6a29-30e9-40df-a57d-f937c37cd982","resolution":{"observed_at":"2026-05-26T13:47:25.340191Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"R-Zero: Self-evolving reasoning LLM from zero data","venue":null,"work_id":"5134ea32-b588-413a-b367-d70d9f0cbb28","year":2026},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:7e871cbad06ffeaa64cb6604a7989f635183864082a10c0b9a066d618fd5b72f","observation_id":"af500a72-97f9-44c7-a7a8-5fdd93e5f68e","resolution":{"observed_at":"2026-05-26T13:47:25.342643Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Key-point-driven data synthesis with its enhancement on mathematical reasoning","venue":null,"work_id":"ed635910-fe0b-4a0f-957f-5896e7ae0130","year":null},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:fc09995f35faa6e174e4ed1f1f1acd0c180addf51939db33e9fd3e365fa2ebe8","observation_id":"4d777bcc-92b5-462b-9889-b1b9c3cfc1e5","resolution":{"observed_at":"2026-05-26T13:47:25.348078Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v39i23.34593","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"URL https://ojs.aaai.org/index.php/AAAI/ article/view/34593","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"e2c14254-bb48-4ab7-b085-da4088768b84","year":null},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:d8b4efac5657cf91b08a2f16181fd36cce9492997e315d9fdd6c7cc3fee44d54","observation_id":"23893d57-5230-49ff-a9e0-f20cc185d087","resolution":{"observed_at":"2026-05-08T21:44:16.671159Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Olympiad-level formal mathemati- cal reasoning with reinforcement learning.Nature, 651:607–613","venue":null,"work_id":"3b5fd2c1-67e0-4dcd-b384-bba49bf33de2","year":2026},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:443c510f84d018cfdc019d1a6837ff9611fe413379385dbee41e8f52c4ebcd54","observation_id":"d4a409d2-2232-46c3-84b7-b43ade65d11d","resolution":{"observed_at":"2026-05-26T13:47:25.353381Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Inference-time reward hacking in large language models","venue":null,"work_id":"64e980f3-bd97-4b30-97da-d9fb0ed03464","year":2025},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:d9b0db1a6301627b19e064bfd15b20a02498da79994ebe032322ceb35e13482e","observation_id":"9fc6954e-708c-4cf8-8213-cc64a0de9f41","resolution":{"observed_at":"2026-05-26T13:47:25.329944Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Synthesizing verified mathematical problems","venue":null,"work_id":"eaa7bebf-5228-40cf-8e8f-ba2b22edde33","year":2024},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:fde8f8822750d6973ae545986f968db870f7c651fddea3929a0b9be6e66a214d","observation_id":"2749e0b3-7010-4c7c-be4b-9ce168270af4","resolution":{"observed_at":"2026-05-26T13:47:25.322643Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Sws: Self-aware weakness-driven problem synthesis in reinforcement learning for llm reasoning","venue":null,"work_id":"87dfc66f-c423-4fed-a69e-4a3e388615e1","year":2025},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:7964ad804ddedaadd3aff84b71b12865c9a927e334348148715aeae141560777","observation_id":"4ba36993-ea32-41b0-af5f-beff2d865e4b","resolution":{"observed_at":"2026-05-26T13:47:25.312784Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Beyond pass@1: Self-play with variational problem synthesis sustains rlvr","venue":null,"work_id":"8e967d6d-0a85-4484-9369-12100c636863","year":2026},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:a33b7c7fde4fec8f5e56a44647b0b8a6c53b1d5dd9b00a56b6ec430bc4f21268","observation_id":"f57f514b-f99b-4d15-b6fb-5aba05582b81","resolution":{"observed_at":"2026-05-26T13:47:25.315241Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Wizardmath: Empowering mathematical reasoning for large language models via reinforced evol-instruct","venue":null,"work_id":"6e2c8fa6-d5a2-4748-80a3-cd21100e3702","year":2025},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:f95f97c6cd6caa7850e23f2a800cfe5e70ca4141d0d662679397bc3129a43f8a","observation_id":"e421bca8-d106-4201-831e-e33086a0f95b","resolution":{"observed_at":"2026-05-26T13:47:25.320283Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2507.20527","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Sand-math: Using llms to generate novel, difficult and useful mathematics questions and answers","venue":null,"work_id":"0336c8f1-da8b-4c9c-9051-9e4aff12e797","year":2025},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:b433d4cd7d93f4d04d5f44b04df7cc6e866c756fb9b60ebb5474ee8797e5eb39","observation_id":"b301eeeb-82a4-4fa9-9552-03902c10c1eb","resolution":{"observed_at":"2026-05-11T19:26:08.960579Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.16891","last_updated":"2025-04-23T17:13:04Z","snapshot_observed_at":"2026-07-06T21:13:45.700548Z","submitted_at":"2025-04-23T17:13:04Z","title":"AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning dataset","version":1},"cited_work":{"arxiv_id":"2504.16891","doi":"10.48550/arxiv.2504.16891","metadata_source":"pith","pith_arxiv_id":"2504.16891","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2504.16891 , year=","venue":"cs.AI","work_id":"36221a56-7f42-4451-a935-a3eadab98ed4","year":2025},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"cited_paper":"/paper/2504.16891","citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:a50e72660262d1d27065aeb4c9e08acc8b8e72ac11b9b81001f7fdeefdeeeb60","observation_id":"458a45dd-d082-4a11-b67d-83bb5a5d5e2a","resolution":{"observed_at":"2026-05-11T19:26:08.942219Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Learning to reason with LLMs","venue":null,"work_id":"15bafd88-1525-4f1c-bea6-c6767b9f4f67","year":2024},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:084c33ff49be8c93dc9c5feb6077b0fa173d7f9d8d729b3ee85a6a9b6ee7b082","observation_id":"fe511015-c75e-47e9-a993-4be0bee7ab25","resolution":{"observed_at":"2026-05-26T13:47:25.310177Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"How to get your LLM to generate challenging problems for evaluation","venue":null,"work_id":"32522c34-c084-4595-bdeb-b9aef56b3a54","year":2025},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:8ae2e03ad376974dc22bda25409825a0d47e5633fa17bdbfaf0b57d919985541","observation_id":"3ef4a995-e352-4d31-a5a4-f141693f3372","resolution":{"observed_at":"2026-05-26T13:47:25.317850Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"MathFusion: Enhancing mathematical problem-solving of LLM through instruction fusion","venue":null,"work_id":"948a6f53-a334-468b-af20-22af439b6c80","year":null},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:7c78ce403780bbda22beb6ae299d7f3b7403f41b81bba6650a6fb546544d4491","observation_id":"aeb25f53-c3a2-4ec1-9622-430ce0d471ce","resolution":{"observed_at":"2026-05-26T13:47:25.325111Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2025.acl-long.367","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi: 10.18653/v1/2025.acl-long.367","venue":null,"work_id":"46e6ecb4-982b-4558-aad2-cd4b59df75d9","year":2025},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:99a65fa79be0b6b7810beb64166f9c360672ccbafa3234e485a77e6dff8659d6","observation_id":"f2949b5b-c35e-4031-997c-8ca6da2a9029","resolution":{"observed_at":"2026-05-08T21:44:16.684821Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"384f32e1-14c7-4216-b925-c5603794dff2","year":2024},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:9e531e60c432c6fb6a1d03487c390bf8f865b7aa46de6e7f55986f91d06a9a7e","observation_id":"1dc17467-84b1-4bf5-bf39-2a858fde74b2","resolution":{"observed_at":"2026-05-26T13:47:25.327544Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.03300","last_updated":"2024-04-27T15:25:53Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-02-05T18:55:32Z","title":"DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models","version":3},"cited_work":{"arxiv_id":"2402.03300","doi":"10.1016/0004-3702(73)90011-8","metadata_source":"pith","pith_arxiv_id":"2402.03300","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models","venue":"cs.CL","work_id":"c5006563-f3ec-438a-9e35-b7b484f34828","year":2024},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"cited_paper":"/paper/2402.03300","citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:0c86e6e8b7f669108b2fbf66f8fc100b10c7b302538e859e3c7eef4b6002b9ff","observation_id":"d266514e-7af1-4913-82b8-028f4c2fe04a","resolution":{"observed_at":"2026-05-11T19:26:08.956343Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"MathScale: Scaling instruction tuning for mathematical reasoning","venue":null,"work_id":"94905745-156a-4749-a3cd-beae2050bf57","year":2024},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:4791bbc8664e532d35fd0c59d6d1ca0e26c61f8c46c1c22148c97ca5a9dfcf9c","observation_id":"e1054559-b20a-443f-8ea7-863c490f7ede","resolution":{"observed_at":"2026-05-26T13:47:25.350607Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Openmathinstruct-2: Accelerating ai for math with massive open-source instruction data","venue":null,"work_id":"4491cc60-8f6d-45bb-baf9-9ca9b67e30b1","year":2025},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:dfe4e902e44032b91ad0c332fc012c6578f32f419b6e79e5bf9600d06d56c389","observation_id":"5241ff84-76de-46bc-b2a9-31fc08455295","resolution":{"observed_at":"2026-05-26T13:47:25.302107Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Trinh, Yuhuai Wu, Quoc V","venue":null,"work_id":"c39ad620-5ab0-4789-932e-b078a9458949","year":2024},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:3a9d77691a6c70e47c14a0263403dfd3130466088c46ca3265cbfd864d69d762","observation_id":"73e9beee-66bb-4d51-aeae-433a1b0a3567","resolution":{"observed_at":"2026-05-26T13:47:25.299187Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.14147","last_updated":"2025-05-25T15:45:21Z","snapshot_observed_at":"2026-07-06T21:26:59.423358Z","submitted_at":"2025-05-20T09:54:42Z","title":"SHARP: Synthesizing High-quality Aligned Reasoning Problems for Large Reasoning Models Reinforcement Learning","version":3},"cited_work":{"arxiv_id":"2505.14147","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.14147","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Sharp: Synthesizing high-quality aligned reasoning problems for large reasoning models reinforcement learning","venue":null,"work_id":"b9965aee-62ae-4c1a-9127-3bf9f091e9b0","year":2025},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"cited_paper":"/paper/2505.14147","citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:33628fb375142c233d71952cf0731caa61982803dbeafb39ef3830d13dcdf9e9","observation_id":"a48c0be4-6b0c-4213-8155-262274143fc4","resolution":{"observed_at":"2026-05-11T19:26:08.915509Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Metamath: Bootstrap your own mathematical questions for large language models","venue":null,"work_id":"a25e6323-e003-46b4-b02b-08fc2debcfd3","year":2024},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:f94129e61507f64471b993ae36b6699c946efafcc1862ef85873b79f28bcda43","observation_id":"6ef1b244-08fd-4772-98fb-22ec89ec715f","resolution":{"observed_at":"2026-05-26T13:47:25.304551Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"bd72d01d-9621-46b4-9234-799d583192ea","year":2024},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:520e32f8c42ef198438d7814450160f57978e566dc55595fe996b063c0a5f605","observation_id":"2f392c3e-38bd-46d4-a8b7-255a9bff01e1","resolution":{"observed_at":"2026-05-26T13:47:25.296850Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2508.05592","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T11:53:23.677594Z","title":"Mathsmith: Towards extremely hard mathematical reasoning by forging synthetic problems with a reinforced policy","venue":null,"work_id":"413bcd50-7b9d-4ad9-be19-a66aa2cca9fb","year":2026},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:b612007a8824b02d535002ac6d4d585469b1b5e64d0da0de4e8ef3db096dff0e","observation_id":"c4ea1b7a-6c88-4b7c-96be-bdcce6ee22d5","resolution":{"observed_at":"2026-05-11T19:26:08.922934Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Absolute zero: Reinforced self-play reasoning with zero data","venue":null,"work_id":"cfc65e41-5b64-4511-b8ab-7198a1743802","year":2025},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:42c1486d86d9590d6e21da146e9226c4d80c38e5748c17a7a508a24413fe8779","observation_id":"685742c1-9dab-4de8-96a7-63976d3c8795","resolution":{"observed_at":"2026-05-26T13:47:25.307085Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2025.findings-acl.935","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Accepted","venue":null,"work_id":"6d64291c-a10b-4710-bc6b-997609e8ed4e","year":2025},"citing_paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-08T11:59:44.850797Z"},"links":{"citing_paper":"/paper/2605.06660"},"observation_digest":"sha256:6b4f80701554f18990960f88cac3e225248c1179a82849e4fed74d81f23ffccb","observation_id":"822090db-b270-4bf7-afa5-72385c2babad","resolution":{"observed_at":"2026-05-08T21:44:16.689371Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.06660","last_updated":"2026-05-07T17:58:32Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-02T04:51:57.965549Z","submitted_at":"2026-05-07T17:58:32Z","title":"Verifier-Backed Hard Problem Generation for Mathematical Reasoning"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":2,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":2,"verified_exact":9,"verified_fuzzy":19},"total_outbound_references":33},"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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"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."}