{"as_of":"2026-08-09T19:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d8e23eff45d01ff1a621e60372ada654f2cd757025e9dcba9c1fe8e6a323a11c","coverage":[{"denominator":22,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T14:14:33.830591Z","state":"measured"},{"denominator":42,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":42,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":20,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":20,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T00:51:25.027810Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-07T05:08:57.015831Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.08978","last_updated":"2025-06-10T16:46:05Z","snapshot_observed_at":"2026-08-08T09:47:00.737935Z","submitted_at":"2025-06-10T16:46:05Z","title":"Propositional Logic for Probing Generalization in Neural Networks","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T05:08:57.015831Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2506.08978"},"observation_digest":"sha256:d65af3b2ba7ee88b828b38342b2711feaa4efa9a6fd5fcc65f832327e0c69b6a","observation_id":"df88c1d7-df53-452e-8700-aca5ba475dde","resolution":{"observed_at":"2026-08-07T05:08:57.015831Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":"2505.19641","doi":"10.48550/arxiv.2505.19641","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Synlogic: Synthesizing verifiable reasoning data at scale for learning logical reasoning and beyond","venue":"ArXiv.org","work_id":"11a55d46-fb86-4226-b0f0-2144857aeb9c","year":2025},"citing_paper":{"arxiv_id":"2506.13585","last_updated":"2025-06-16T15:08:02Z","snapshot_observed_at":"2026-08-07T04:50:43.413490Z","submitted_at":"2025-06-16T15:08:02Z","title":"MiniMax-M1: Scaling Test-Time Compute Efficiently with Lightning Attention","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-12T09:28:16.189617Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2506.13585"},"observation_digest":"sha256:ebfe8951807d11cb2718fd7ee0792b737ac78f422dd514f8423beed3ffaeab40","observation_id":"67260a79-9d62-4e4f-986a-a8294be5bfab","resolution":{"observed_at":"2026-05-12T09:28:16.409868Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-05T18:08:41.319741Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:41.319741Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:ef3322f2ddb657e50c43c4e9045a5a61dde9fa6115bde7739350ea6030d7c4ea","observation_id":"02a35766-af12-45ba-bb43-20ac3394d6f6","resolution":{"observed_at":"2026-08-05T18:08:41.319741Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-05T14:35:50.883516Z","title":"Michael Luo, Sijun Tan, Justin Wong, Xiaoxiang Shi, William Tang, Manan Roongta, Colin Cai, Jeffrey Luo, Tianjun Zhang, Erran Li, Raluca Ada Popa, and Ion Stoica","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.21188","last_updated":"2025-09-02T16:27:24Z","snapshot_observed_at":"2026-08-09T18:15:22.003522Z","submitted_at":"2025-08-28T20:02:10Z","title":"Mirage or Method? How Model-Task Alignment Induces Divergent RL Conclusions","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T14:35:50.883516Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2508.21188"},"observation_digest":"sha256:1d2f6808c07c492e33acb10cf3e1d30d5aed4f1b50b22c36c2b7268811462995","observation_id":"e75d04a6-b8f8-4f1a-b647-0042b164180d","resolution":{"observed_at":"2026-08-05T14:35:50.883516Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-04T09:34:08.152525Z","title":"Synlogic: Synthesizing verifiable reasoning data at scale for learning logical reasoning and beyond","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.14807","last_updated":"2026-06-16T08:24:10Z","snapshot_observed_at":"2026-08-06T05:26:40.214370Z","submitted_at":"2025-10-16T15:40:49Z","title":"Beyond the Sampled Token: Preserving Candidate Support in RLVR","version":3},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-04T09:34:08.152525Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2510.14807"},"observation_digest":"sha256:d50bd56bf9268f706b3eb6a02aff246c2878c09226ce6ea62b7d683ebd7b8031","observation_id":"45de8c5e-0b56-4d37-95c9-833c0f1c7849","resolution":{"observed_at":"2026-08-04T09:34:08.152525Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-03T08:15:23.797404Z","title":"Synlogic: Synthesizing verifiable reasoning data at scale for learning logical reasoning and beyond, 2025 b","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2601.17717","last_updated":"2026-06-09T20:25:14Z","snapshot_observed_at":"2026-08-08T23:34:38.789355Z","submitted_at":"2026-01-25T06:40:25Z","title":"A Survey on Evaluating Quality and Trustworthiness in LLM-Generated Data","version":3},"reference_index":130,"source":"arxiv_source","source_observed_at":"2026-08-03T08:15:23.797404Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2601.17717"},"observation_digest":"sha256:81562b6b720406f73af0f5b60e16b434ed971801594feeed465eadd033334b68","observation_id":"ae2a1a75-0527-4053-b2ba-816c8528af8a","resolution":{"observed_at":"2026-08-03T08:15:23.797404Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":"2505.19641","doi":"10.48550/arxiv.2505.19641","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Synlogic: Synthesizing verifiable reasoning data at scale for learning logical reasoning and beyond","venue":"ArXiv.org","work_id":"11a55d46-fb86-4226-b0f0-2144857aeb9c","year":2025},"citing_paper":{"arxiv_id":"2604.08477","last_updated":"2026-06-04T07:25:57Z","snapshot_observed_at":"2026-07-12T23:51:05.788513Z","submitted_at":"2026-04-09T17:16:07Z","title":"SUPERNOVA: Eliciting General Reasoning in LLMs with Reinforcement Learning on Natural Instructions","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-10T17:16:29.695213Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2604.08477"},"observation_digest":"sha256:951a0c8bccb6e8df31735fd264c9dcad87df914d8e11d50de496b2c5d10b50f2","observation_id":"40e1fd62-e695-4334-808b-d1470f22d197","resolution":{"observed_at":"2026-05-11T07:11:01.580501Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":"2505.19641","doi":"10.48550/arxiv.2505.19641","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Synlogic: Synthesizing verifiable reasoning data at scale for learning logical reasoning and beyond","venue":"ArXiv.org","work_id":"11a55d46-fb86-4226-b0f0-2144857aeb9c","year":2025},"citing_paper":{"arxiv_id":"2604.17928","last_updated":"2026-04-20T08:09:01Z","snapshot_observed_at":"2026-07-06T23:04:55.190916Z","submitted_at":"2026-04-20T08:09:01Z","title":"HEALing Entropy Collapse: Enhancing Exploration in Few-Shot RLVR via Hybrid-Domain Entropy Dynamics Alignment","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-05-10T05:23:08.478393Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2604.17928"},"observation_digest":"sha256:cec45758ffac7def6f7f5003b9c0ed760401a40cb96f97a4cdc6ac4b9a19e3a8","observation_id":"b43661c2-68b5-4dd8-bbe4-4ccdec87bd89","resolution":{"observed_at":"2026-05-10T05:25:55.264416Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":"2505.19641","doi":"10.48550/arxiv.2505.19641","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Synlogic: Synthesizing verifiable reasoning data at scale for learning logical reasoning and beyond","venue":"ArXiv.org","work_id":"11a55d46-fb86-4226-b0f0-2144857aeb9c","year":2025},"citing_paper":{"arxiv_id":"2605.06638","last_updated":"2026-05-16T04:00:46Z","snapshot_observed_at":"2026-08-01T16:33:10.395761Z","submitted_at":"2026-05-07T17:48:42Z","title":"Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key","version":1},"reference_index":81,"source":"arxiv_source","source_observed_at":"2026-05-08T09:35:47.501360Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2605.06638"},"observation_digest":"sha256:12656322188ab0eb328cccc962448ac49d694f8124ab6d6b8f9ae4460ce7efdc","observation_id":"e45bf414-2568-4816-949d-4728ffb5113e","resolution":{"observed_at":"2026-05-11T20:16:11.442341Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":"2505.19641","doi":"10.48550/arxiv.2505.19641","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Synlogic: Synthesizing verifiable reasoning data at scale for learning logical reasoning and beyond","venue":"ArXiv.org","work_id":"11a55d46-fb86-4226-b0f0-2144857aeb9c","year":2025},"citing_paper":{"arxiv_id":"2605.06638","last_updated":"2026-05-16T04:00:46Z","snapshot_observed_at":"2026-08-01T16:33:10.395761Z","submitted_at":"2026-05-07T17:48:42Z","title":"Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key","version":2},"reference_index":85,"source":"arxiv_source","source_observed_at":"2026-05-12T03:16:59.195706Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2605.06638"},"observation_digest":"sha256:c529e4afe2e58f4edd331ec7ec181049b0efd24ca829be572f6abdd923e3268a","observation_id":"5f37bafc-ae00-4959-bd24-6785965bf12a","resolution":{"observed_at":"2026-05-12T03:21:19.248526Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":"2505.19641","doi":"10.48550/arxiv.2505.19641","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Synlogic: Synthesizing verifiable reasoning data at scale for learning logical reasoning and beyond","venue":"ArXiv.org","work_id":"11a55d46-fb86-4226-b0f0-2144857aeb9c","year":2025},"citing_paper":{"arxiv_id":"2605.06638","last_updated":"2026-05-16T04:00:46Z","snapshot_observed_at":"2026-08-01T16:33:10.395761Z","submitted_at":"2026-05-07T17:48:42Z","title":"Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key","version":3},"reference_index":85,"source":"arxiv_source","source_observed_at":"2026-05-20T22:36:13.781114Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2605.06638"},"observation_digest":"sha256:5f94b310ecaa7917a360e6600f97de2a62a699647158457e3c11dccf5bcc76a6","observation_id":"afa62865-c185-4ce1-97d0-f9edf9d7d4ab","resolution":{"observed_at":"2026-05-20T22:39:10.569023Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":"2505.19641","doi":"10.48550/arxiv.2505.19641","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Synlogic: Synthesizing verifiable reasoning data at scale for learning logical reasoning and beyond","venue":"ArXiv.org","work_id":"11a55d46-fb86-4226-b0f0-2144857aeb9c","year":2025},"citing_paper":{"arxiv_id":"2605.25486","last_updated":"2026-05-25T06:42:39Z","snapshot_observed_at":"2026-08-09T14:29:04.727878Z","submitted_at":"2026-05-25T06:42:39Z","title":"RAG-Match: Retrieval-Augmented Knowledge Injection and Hierarchical Reasoning for Calibrated Semantic Relevance","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-06-29T20:52:18.567742Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2605.25486"},"observation_digest":"sha256:2ee0c4753ad059baa78756c7bb3627cd892678b16572e73e4d11e740bd3de26a","observation_id":"2f7659e9-fed6-4bd1-bb06-96d0ae508a5a","resolution":{"observed_at":"2026-06-29T20:53:58.009157Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":"2505.19641","doi":"10.48550/arxiv.2505.19641","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Synlogic: Synthesizing verifiable reasoning data at scale for learning logical reasoning and beyond","venue":"ArXiv.org","work_id":"11a55d46-fb86-4226-b0f0-2144857aeb9c","year":2025},"citing_paper":{"arxiv_id":"2605.28421","last_updated":"2026-07-30T08:43:29Z","snapshot_observed_at":"2026-08-02T23:18:00.565585Z","submitted_at":"2026-05-27T12:52:58Z","title":"DenoiseRL: Bootstrapping Reasoning Models to Recover from Noisy Prefixes","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-29T11:51:01.769882Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2605.28421"},"observation_digest":"sha256:bea4897af9e7518055b770fd212fb4634d0d412ec6ee012138ded2b133956335","observation_id":"09397fe9-541f-4b71-a434-e42ba757d11a","resolution":{"observed_at":"2026-06-29T11:53:23.704451Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-02T12:58:10.927245Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.28421","last_updated":"2026-07-30T08:43:29Z","snapshot_observed_at":"2026-08-02T23:18:00.565585Z","submitted_at":"2026-05-27T12:52:58Z","title":"DenoiseRL: Bootstrapping Reasoning Models to Recover from Noisy Prefixes","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T12:58:10.927245Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2605.28421"},"observation_digest":"sha256:5c190ae31d5bcf0e6dd1f0ef767789648496eb17978cfec268f18fb9b14c4a78","observation_id":"171ebb94-e67f-4d62-bdb5-7f6605b5ab8e","resolution":{"observed_at":"2026-08-02T12:58:10.927245Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":"2505.19641","doi":"10.48550/arxiv.2505.19641","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Synlogic: Synthesizing verifiable reasoning data at scale for learning logical reasoning and beyond","venue":"ArXiv.org","work_id":"11a55d46-fb86-4226-b0f0-2144857aeb9c","year":2025},"citing_paper":{"arxiv_id":"2606.01599","last_updated":"2026-06-01T02:52:49Z","snapshot_observed_at":"2026-07-06T23:42:07.508474Z","submitted_at":"2026-06-01T02:52:49Z","title":"TRON: Targeted Rule-Verifiable Online Environments for Visual Reasoning RL","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-28T14:55:07.045625Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2606.01599"},"observation_digest":"sha256:0eb4924f76613b8fcfc04291411af5bad37d2c6fb9c322e11543abfcf97231ec","observation_id":"086588be-568d-471e-8666-72e680f470b1","resolution":{"observed_at":"2026-07-01T22:56:19.977749Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":"2505.19641","doi":"10.48550/arxiv.2505.19641","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Synlogic: Synthesizing verifiable reasoning data at scale for learning logical reasoning and beyond","venue":"ArXiv.org","work_id":"11a55d46-fb86-4226-b0f0-2144857aeb9c","year":2025},"citing_paper":{"arxiv_id":"2606.06556","last_updated":"2026-06-04T10:43:14Z","snapshot_observed_at":"2026-08-09T06:57:25.072034Z","submitted_at":"2026-06-04T10:43:14Z","title":"Robots Need More than VLA and World Models","version":1},"reference_index":165,"source":"arxiv_source","source_observed_at":"2026-06-28T01:01:33.530167Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2606.06556"},"observation_digest":"sha256:edad102c4d1bddc784db183ab918e2d603f0dd2b4e39b56356c037dac9bc3c9c","observation_id":"c50e16e9-e859-4d2e-9c41-b69c7d3f9640","resolution":{"observed_at":"2026-06-28T01:11:28.854308Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":"2505.19641","doi":"10.48550/arxiv.2505.19641","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Synlogic: Synthesizing verifiable reasoning data at scale for learning logical reasoning and beyond","venue":"ArXiv.org","work_id":"11a55d46-fb86-4226-b0f0-2144857aeb9c","year":2025},"citing_paper":{"arxiv_id":"2606.15079","last_updated":"2026-06-13T03:21:49Z","snapshot_observed_at":"2026-07-06T23:52:28.557859Z","submitted_at":"2026-06-13T03:21:49Z","title":"Ling and Ring 2.6 Technical Report: Efficient and Instant Agentic Intelligence at Trillion-Parameter Scale","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-07-02T22:10:59.568675Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2606.15079"},"observation_digest":"sha256:4b99a098e4197ea12b0cea3b75490ba895d65a84186fd2d209ebc16afcd1ce2c","observation_id":"ef966bbf-3c32-48b4-8906-fbb350038b6a","resolution":{"observed_at":"2026-07-02T22:17:25.604382Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":"2505.19641","doi":"10.48550/arxiv.2505.19641","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Synlogic: Synthesizing verifiable reasoning data at scale for learning logical reasoning and beyond","venue":"ArXiv.org","work_id":"11a55d46-fb86-4226-b0f0-2144857aeb9c","year":2025},"citing_paper":{"arxiv_id":"2606.29630","last_updated":"2026-06-28T22:27:26Z","snapshot_observed_at":"2026-08-03T22:42:04.127016Z","submitted_at":"2026-06-28T22:27:26Z","title":"SFBench: The SciFy Scientific Feasibility Benchmark","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-30T06:59:19.857066Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2606.29630"},"observation_digest":"sha256:7007575cf1d604f29f6ecef1e7afca373fcb2a1df09350e6a27737508cc3899c","observation_id":"ee7e62c5-39d1-44ff-8441-a929a4233f7c","resolution":{"observed_at":"2026-06-30T07:04:21.316873Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-08T00:51:25.027810Z","title":"arXiv preprint arXiv:2505.19641 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.03573","last_updated":"2026-08-06T02:48:24Z","snapshot_observed_at":"2026-08-09T19:10:32.793278Z","submitted_at":"2026-08-04T12:32:26Z","title":"SFT Conflicts, RL Coexists: A Theoretical and Empirical Analysis of Multi-Task Learning for LLMs","version":2},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-08T00:51:25.027810Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2608.03573"},"observation_digest":"sha256:2295f06a3ae5d4aa1cb2dfc9011e35dacf70781c58482858261a7af7ad200000","observation_id":"2f8860d8-de94-47b4-ac83-0f576c4dc1db","resolution":{"observed_at":"2026-08-08T00:51:25.027810Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-06T04:19:48.415270Z","title":"Kohsei Matsutani, Shota Takashiro, Gouki Minegishi, Takeshi Kojima, Yusuke Iwasawa, and Yutaka Mat- suo","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.05148","last_updated":"2026-08-05T17:59:44Z","snapshot_observed_at":"2026-08-09T15:33:57.397099Z","submitted_at":"2026-08-05T17:59:44Z","title":"Reasoning Core: Designing Broad Procedural Data for Completion-Supervised Reasoning Training","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.415270Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2608.05148"},"observation_digest":"sha256:799c1ddcc8d97d33f7960b98c0ec730c12315c6136b22f7611b7e2e24ab66af8","observation_id":"e803771a-d9e7-423a-8ddb-e59a979f2f64","resolution":{"observed_at":"2026-08-06T04:19:48.415270Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2505.19641/citation-record","integrity":"/paper/2505.19641/integrity","json":"/paper/2505.19641/citation-record.json","paper":"/paper/2505.19641"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2503.01307","last_updated":"2025-08-15T15:21:46Z","snapshot_observed_at":"2026-08-08T21:52:29.510852Z","submitted_at":"2025-03-03T08:46:22Z","title":"Cognitive Behaviors that Enable Self-Improving Reasoners, or, Four Habits of Highly Effective STaRs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.01307","snapshot_observed_at":"2026-08-07T14:14:32.566227Z","title":"Dan Hendrycks, Collin Burns, Saurav Kadavath, Akul Arora, Steven Basart, Eric Tang, Dawn Song, and Jacob Steinhardt","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:32.566227Z"},"links":{"cited_paper":"/paper/2503.01307","citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:5f68c65a0edc1a9ccccbeb768613c49455c82c1efc80f599d16be5cb902b57e9","observation_id":"0bd59566-5bf2-4c77-86b3-9609bdbf16ba","resolution":{"observed_at":"2026-08-07T14:14:32.566227Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16720","last_updated":"2026-04-30T02:46:40Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-12-21T18:04:31Z","title":"OpenAI o1 System Card","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.16720","snapshot_observed_at":"2026-08-07T14:14:32.664320Z","title":"Openai o1 system card.arXiv preprint arXiv:2412.16720,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:32.664320Z"},"links":{"cited_paper":"/paper/2412.16720","citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:7b3a4588ae64f44ff7926cb4a01c774f4e3314f11a0789f2bf0fc55dfd2aa440","observation_id":"00d3dac8-4935-42d2-92fb-1bc42f4fb624","resolution":{"observed_at":"2026-08-07T14:14:32.664320Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.19187","last_updated":"2025-05-06T15:11:32Z","snapshot_observed_at":"2026-08-07T17:46:00.833139Z","submitted_at":"2025-02-26T14:50:50Z","title":"BIG-Bench Extra Hard","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.19187","snapshot_observed_at":"2026-08-07T14:14:32.717640Z","title":"Mehran Kazemi, Bahare Fatemi, Hritik Bansal, John Palowitch, Chrysovalantis Anastasiou, San- ket Vaibhav Mehta, Lalit K Jain, Virginia Aglietti, Disha Jindal, Peter Chen, et al","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:32.717640Z"},"links":{"cited_paper":"/paper/2502.19187","citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:89294ebaab22ceaa6fca6bb5e1c43229d8ade7be137b34853ee91238b991c4d5","observation_id":"28e58b02-1e23-4a62-afba-442c3ec3094a","resolution":{"observed_at":"2026-08-07T14:14:32.717640Z","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-07T14:14:35.502631Z","title":"Mathador-LM: A dynamic benchmark for mathematical reasoning on large language models","venue":null,"work_id":"4e084209-7d19-476e-815d-38c64a9c1f8a","year":2024},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:32.794764Z"},"links":{"citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:69e09ea556fea212ffcdc91980cc417cd79c742c523d7524d1ecdceb21f5de9f","observation_id":"6965fa33-1734-4425-97af-ccc372964547","resolution":{"observed_at":"2026-08-07T14:14:35.622503Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08-07T14:14:34.621536Z","title":null,"venue":null,"work_id":"723a29e2-aee2-461a-9712-3534d5db6613","year":null},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:33.709916Z"},"links":{"citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:10f606acd78a4c0ee425c616a8defe208ea2c6e773816633098ef599ec022418","observation_id":"12a80f67-2285-4aaf-9d12-7f985e9dd598","resolution":{"observed_at":"2026-08-07T14:14:34.711672Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.06526","last_updated":"2025-03-01T12:34:10Z","snapshot_observed_at":"2026-08-08T18:24:11.820620Z","submitted_at":"2024-10-09T03:56:50Z","title":"KOR-Bench: Benchmarking Language Models on Knowledge-Orthogonal Reasoning Tasks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.06526","snapshot_observed_at":"2026-08-07T14:14:32.903807Z","title":"Kor-bench: Benchmarking language models on knowledge- orthogonal reasoning tasks.arXiv preprint arXiv:2410.06526,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:32.903807Z"},"links":{"cited_paper":"/paper/2410.06526","citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:4ff23fc26f1b876d6460ec03483eafc13abaebcbed0ec8823a1afedba70d1493","observation_id":"dcb0c462-10fa-4d92-a410-25a4e834d652","resolution":{"observed_at":"2026-08-07T14:14:32.903807Z","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-07T14:14:35.323501Z","title":"David Rein, Betty Li Hou, Asa Cooper Stickland, Jackson Petty, Richard Yuanzhe Pang, Julien Dirani, Julian Michael, and Samuel R","venue":null,"work_id":"dc4e46c3-b1d8-4fa6-992e-9ced75af3b38","year":2025},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:32.977210Z"},"links":{"citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:7941db4e297774763960a773ced7ea79992bb9aff799d2f18311f7d76080aae7","observation_id":"5ac21bc8-2d12-4ff2-b960-a4d1005bde09","resolution":{"observed_at":"2026-08-07T14:14:35.410032Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:14:33.051403Z","title":"ByteDance Seed, Yufeng Yuan, Yu Yue, Mingxuan Wang, Xiaochen Zuo, Jiaze Chen, Lin Yan, Wenyuan Xu, Chi Zhang, Xin Liu, et al","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:33.051403Z"},"links":{"citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:ee5469b9287ae4720a4265f890450158801c9bd715996898a1d975e4bb9f89b4","observation_id":"2c7f5085-f923-456f-9fed-51efac494045","resolution":{"observed_at":"2026-08-07T14:14:33.051403Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.03300","last_updated":"2024-04-27T15:25:53Z","snapshot_observed_at":"2026-08-06T14:58:42.911363Z","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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.03300","snapshot_observed_at":"2026-08-07T14:14:33.139935Z","title":"Deepseekmath: Pushing the limits of mathematical reasoning in open language models.arXiv preprint arXiv:2402.03300,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:33.139935Z"},"links":{"cited_paper":"/paper/2402.03300","citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:9cca5f9434f464f7dd1d96bc1db6eedadf32382d8bf53582c0230fc28dd72ea8","observation_id":"63df8579-6fdc-4811-b7b3-cc33a674ff09","resolution":{"observed_at":"2026-08-07T14:14:33.139935Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.09261","last_updated":"2022-10-17T17:08:26Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-10-17T17:08:26Z","title":"Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Them","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.09261","snapshot_observed_at":"2026-08-07T14:14:33.210103Z","title":"Challenging big-bench tasks and whether chain-of-thought can solve them.arXiv preprint arXiv:2210.09261,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:33.210103Z"},"links":{"cited_paper":"/paper/2210.09261","citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:4d22a067a730852e9863397b6f8820a45c8890598dfcf62e0fa01dd6d2bbdb89","observation_id":"fd8d08af-9027-4dc5-a151-ec4e3ddb3efd","resolution":{"observed_at":"2026-08-07T14:14:33.210103Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.14476","last_updated":"2025-05-20T01:37:34Z","snapshot_observed_at":"2026-08-02T01:40:54.187278Z","submitted_at":"2025-03-18T17:49:06Z","title":"DAPO: An Open-Source LLM Reinforcement Learning System at Scale","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.14476","snapshot_observed_at":"2026-08-07T14:14:33.391350Z","title":"Dapo: An open-source llm reinforcement learning system at scale","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:33.391350Z"},"links":{"cited_paper":"/paper/2503.14476","citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:0a6153796cf03b522f4655439367e263af45edf150fbb034fb7414d02dacb59d","observation_id":"df8213ea-708b-44fc-8778-90e3ff9b27be","resolution":{"observed_at":"2026-08-07T14:14:33.391350Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.01718","last_updated":"2025-05-24T04:36:48Z","snapshot_observed_at":"2026-08-09T14:47:36.505441Z","submitted_at":"2025-02-03T18:46:04Z","title":"ACECODER: Acing Coder RL via Automated Test-Case Synthesis","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.01718","snapshot_observed_at":"2026-08-07T14:14:33.446139Z","title":"Acecoder: Acing coder rl via automated test-case synthesis.ArXiv, 2502.01718, 2025a","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:33.446139Z"},"links":{"cited_paper":"/paper/2502.01718","citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:aa24d98ea6a9be92568bcf26bd9699806e1577f4c6382cbaa1d057a9f1de0d02","observation_id":"c2251a13-dcc0-44dc-9c3a-6c7407023bdd","resolution":{"observed_at":"2026-08-07T14:14:33.446139Z","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-07T14:14:35.124619Z","title":"Comprehensive Overview ofSynLogic A.1","venue":null,"work_id":"bc3d0394-b590-45a7-ba33-fc97e5889af5","year":2024},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:33.510468Z"},"links":{"citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:3122bf763a32c681c299b8a83c9ebedd18c31b701b72e435311ebf6cff7950f3","observation_id":"be02489b-910d-4706-a8f3-536dbcae3f17","resolution":{"observed_at":"2026-08-07T14:14:35.212391Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08-07T14:14:34.956546Z","title":"Our collection comprises 35 distinct tasks, with only two (Zebra Puzzle (Lin et al.,","venue":null,"work_id":"3bd9c8e5-d659-420d-a4d9-465e59196477","year":2024},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:33.594648Z"},"links":{"citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:fa373239be0760741a4bc86a7c42d6ddb6af7e0eb37bce866efb9a6703530026","observation_id":"39f28cff-27d4-4f99-aa26-36f66648ee3e","resolution":{"observed_at":"2026-08-07T14:14:35.019460Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08-07T14:14:34.771142Z","title":"For all remaining tasks, we generated custom datasets","venue":null,"work_id":"a9cdcd9f-48b9-4b70-b93a-575f28690dbd","year":2019},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:33.643455Z"},"links":{"citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:cfd1911aa5d7e884da9097a4d90594cc4a227e6e7a3507a48339d8885753accb","observation_id":"865c388a-a0e9-4802-b978-20fc2d2f649a","resolution":{"observed_at":"2026-08-07T14:14:34.868282Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08-07T14:14:34.353626Z","title":null,"venue":null,"work_id":"c11f8e98-15cd-48fb-9d20-b1c48a591ae8","year":2024},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:33.830591Z"},"links":{"citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:10b06189457d185648a7edbb6bc462f7e8e515a8816bea2873eac436cd97077c","observation_id":"1fa48e8e-97a9-46c7-b458-7e8d1604067c","resolution":{"observed_at":"2026-08-07T14:14:34.409959Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1911.01547","last_updated":"2019-11-25T13:02:04Z","snapshot_observed_at":"2026-07-06T08:34:41.399203Z","submitted_at":"2019-11-05T00:31:38Z","title":"On the Measure of Intelligence","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1911.01547","snapshot_observed_at":"2026-08-07T14:14:32.465768Z","title":"On the measure of intelligence.arXiv preprint arXiv:1911.01547,","venue":null,"work_id":null,"year":1911},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:32.465768Z"},"links":{"cited_paper":"/paper/1911.01547","citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:9bd0c765cdc3ea3ee7d749a739aac4df18f04fbd815b549d9b0a66597e1cd728","observation_id":"3e49e801-6480-489a-b29a-046e0937b02b","resolution":{"observed_at":"2026-08-07T14:14:32.465768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.24290","last_updated":"2025-07-05T09:01:04Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-03-31T16:36:05Z","title":"Open-Reasoner-Zero: An Open Source Approach to Scaling Up Reinforcement Learning on the Base Model","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.24290","snapshot_observed_at":"2026-08-07T14:14:32.616685Z","title":"Open- reasoner-zero: An open source approach to scaling up reinforcement learning on the base model","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:32.616685Z"},"links":{"cited_paper":"/paper/2503.24290","citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:1372488722300901f34d44fb2359e058f1565eb856db390da639df78c4f84462","observation_id":"dfa078cd-04b0-40fa-8c8a-4d720e9f3348","resolution":{"observed_at":"2026-08-07T14:14:32.616685Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.23123","last_updated":"2025-03-04T06:22:40Z","snapshot_observed_at":"2026-08-08T11:18:18.405211Z","submitted_at":"2024-10-30T15:31:54Z","title":"On Memorization of Large Language Models in Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.23123","snapshot_observed_at":"2026-08-07T14:14:33.306474Z","title":"On memorization of large language models in logical reasoning, 2025a","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:33.306474Z"},"links":{"cited_paper":"/paper/2410.23123","citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:404bb9098d603eeb7e8f2dd4c6b419151da6e2ca614e7e259cdac64f811f843a","observation_id":"5f47fcea-3355-4ffe-80ab-e14009f0743b","resolution":{"observed_at":"2026-08-07T14:14:33.306474Z","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-07T14:14:34.493467Z","title":null,"venue":null,"work_id":"cf1af950-6aee-427a-985b-f0936b1abf50","year":2024},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:33.771699Z"},"links":{"citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:c288ec36b7af9a51b53e39fc85d56513de3f6c44c7b15ef655d80fde490cc998","observation_id":"11f1b267-4abc-4907-8a95-650745e06576","resolution":{"observed_at":"2026-08-07T14:14:34.551313Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2024.emnlp-main.946","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:14:33.894193Z","title":"doi: 10.18653/v1/2024.emnlp-main.946","venue":null,"work_id":"c012eb6d-756a-49c5-b7e2-5bb6e2d64ea4","year":2024},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:32.860113Z"},"links":{"citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:0a1a71aa0da1e53b0f949facbbd8f1cbd95f406c558601c3dbc1ad6e8187844c","observation_id":"a149fc52-a05c-4299-970d-afe10beb4751","resolution":{"observed_at":"2026-08-07T14:14:33.961158Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-07T14:14:32.500606Z","title":"Kanishk Gandhi, Ayush Chakravarthy, Anikait Singh, Nathan Lile, and Noah D","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-07T14:14:32.500606Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2505.19641"},"observation_digest":"sha256:c7ff180be41953edc189f2894251c25c52c09ae39e1fd99002ed8976d57ca624","observation_id":"204590b9-b643-4969-b7a8-536a51c6775c","resolution":{"observed_at":"2026-08-07T14:14:32.500606Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.19641","last_updated":"2025-06-04T05:08:08Z","latest_version":4,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":16,"verified_exact":1,"verified_fuzzy":5},"total_outbound_references":22},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 20 inbound Pith citation observations for arXiv:2505.19641."}