Paper Citation Record · LEDGER

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

As of 8 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 20 inbound Pith citation observations for arXiv:2505.19641.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2505.19641 v4

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T14:14:33.830591Z

measured 42 of 42 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 20 of 20 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-08T00:51:25.027810Z

measured 1 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

22 of 22 outbound references displayed

verified exact1
verified fuzzy5
unresolved16
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation 0bd59566-5bf2-4c77-86b3-9609bdbf16ba · outbound

This paper cites Cognitive Behaviors that Enable Self-Improving Reasoners, or, Four Habits of Highly Effective STaRs.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond Cognitive Behaviors that Enable Self-Improving Reasoners, or, Four Habits of Highly Effective STaRs

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T14:14:32.566227Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00d3dac8-4935-42d2-92fb-1bc42f4fb624 · outbound

This paper cites OpenAI o1 System Card.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond OpenAI o1 System Card

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T14:14:32.664320Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28e58b02-1e23-4a62-afba-442c3ec3094a · outbound

This paper cites BIG-Bench Extra Hard.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond BIG-Bench Extra Hard

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T14:14:32.717640Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6965fa33-1734-4425-97af-ccc372964547 · outbound

This paper cites Mathador-LM: A dynamic benchmark for mathematical reasoning on large language models.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond Mathador-LM: A dynamic benchmark for mathematical reasoning on large language models

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:14:35.622503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 12a80f67-2285-4aaf-9d12-7f985e9dd598 · outbound

This paper cites an unresolved cited work.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:14:34.711672Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation dcb0c462-10fa-4d92-a410-25a4e834d652 · outbound

This paper cites KOR-Bench: Benchmarking Language Models on Knowledge-Orthogonal Reasoning Tasks.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond KOR-Bench: Benchmarking Language Models on Knowledge-Orthogonal Reasoning Tasks

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T14:14:32.903807Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ac21bc8-2d12-4ff2-b960-a4d1005bde09 · outbound

This paper cites David Rein, Betty Li Hou, Asa Cooper Stickland, Jackson Petty, Richard Yuanzhe Pang, Julien Dirani, Julian Michael, and Samuel R.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond David Rein, Betty Li Hou, Asa Cooper Stickland, Jackson Petty, Richard Yuanzhe Pang, Julien Dirani, Julian Michael, and Samuel R

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:14:35.410032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2c7f5085-f923-456f-9fed-51efac494045 · outbound

This paper cites ByteDance Seed, Yufeng Yuan, Yu Yue, Mingxuan Wang, Xiaochen Zuo, Jiaze Chen, Lin Yan, Wenyuan Xu, Chi Zhang, Xin Liu, et al.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond ByteDance Seed, Yufeng Yuan, Yu Yue, Mingxuan Wang, Xiaochen Zuo, Jiaze Chen, Lin Yan, Wenyuan Xu, Chi Zhang, Xin Liu, et al

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T14:14:33.051403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63df8579-6fdc-4811-b7b3-cc33a674ff09 · outbound

This paper cites DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T14:14:33.139935Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd8d08af-9027-4dc5-a151-ec4e3ddb3efd · outbound

This paper cites Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Them.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Them

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T14:14:33.210103Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df8213ea-708b-44fc-8778-90e3ff9b27be · outbound

This paper cites DAPO: An Open-Source LLM Reinforcement Learning System at Scale.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond DAPO: An Open-Source LLM Reinforcement Learning System at Scale

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T14:14:33.391350Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2251a13-dcc0-44dc-9c3a-6c7407023bdd · outbound

This paper cites ACECODER: Acing Coder RL via Automated Test-Case Synthesis.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond ACECODER: Acing Coder RL via Automated Test-Case Synthesis

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T14:14:33.446139Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be02489b-910d-4706-a8f3-536dbcae3f17 · outbound

This paper cites Comprehensive Overview ofSynLogic A.1.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond Comprehensive Overview ofSynLogic A.1

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:14:35.212391Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 39f28cff-27d4-4f99-aa26-36f66648ee3e · outbound

This paper cites Our collection comprises 35 distinct tasks, with only two (Zebra Puzzle (Lin et al.,.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond Our collection comprises 35 distinct tasks, with only two (Zebra Puzzle (Lin et al.,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:14:35.019460Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 865c388a-a0e9-4802-b978-20fc2d2f649a · outbound

This paper cites For all remaining tasks, we generated custom datasets.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond For all remaining tasks, we generated custom datasets

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:14:34.868282Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1fa48e8e-97a9-46c7-b458-7e8d1604067c · outbound

This paper cites an unresolved cited work.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:14:34.409959Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3e49e801-6480-489a-b29a-046e0937b02b · outbound

This paper cites On the Measure of Intelligence.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond On the Measure of Intelligence

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-07T14:14:32.465768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dfa078cd-04b0-40fa-8c8a-4d720e9f3348 · outbound

This paper cites Open-Reasoner-Zero: An Open Source Approach to Scaling Up Reinforcement Learning on the Base Model.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond Open-Reasoner-Zero: An Open Source Approach to Scaling Up Reinforcement Learning on the Base Model

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-07T14:14:32.616685Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f47fcea-3355-4ffe-80ab-e14009f0743b · outbound

This paper cites On Memorization of Large Language Models in Logical Reasoning.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond On Memorization of Large Language Models in Logical Reasoning

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-07T14:14:33.306474Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11f1b267-4abc-4907-8a95-650745e06576 · outbound

This paper cites an unresolved cited work.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond Unresolved cited work

Reference 2023

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:14:34.551313Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a149fc52-a05c-4299-970d-afe10beb4751 · outbound

This paper cites doi: 10.18653/v1/2024.emnlp-main.946.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond doi: 10.18653/v1/2024.emnlp-main.946

Reference 2024

Resolution: verified exact; doi, observed 2026-08-07T14:14:33.961158Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 204590b9-b643-4969-b7a8-536a51c6775c · outbound

This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-07T14:14:32.500606Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation df88c1d7-df53-452e-8700-aca5ba475dde · inbound

Propositional Logic for Probing Generalization in Neural Networks cites this paper.

Propositional Logic for Probing Generalization in Neural Networks SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T05:08:57.015831Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67260a79-9d62-4e4f-986a-a8294be5bfab · inbound

MiniMax-M1: Scaling Test-Time Compute Efficiently with Lightning Attention cites this paper.

MiniMax-M1: Scaling Test-Time Compute Efficiently with Lightning Attention SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 18

Resolution: verified exact; arxiv_id, observed 2026-05-12T09:28:16.409868Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 02a35766-af12-45ba-bb43-20ac3394d6f6 · inbound

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data cites this paper.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-05T18:08:41.319741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e75d04a6-b8f8-4f1a-b647-0042b164180d · inbound

Mirage or Method? How Model-Task Alignment Induces Divergent RL Conclusions cites this paper.

Mirage or Method? How Model-Task Alignment Induces Divergent RL Conclusions SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-05T14:35:50.883516Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45de8c5e-0b56-4d37-95c9-833c0f1c7849 · inbound

Beyond the Sampled Token: Preserving Candidate Support in RLVR cites this paper.

Beyond the Sampled Token: Preserving Candidate Support in RLVR SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-04T09:34:08.152525Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae2a1a75-0527-4053-b2ba-816c8528af8a · inbound

A Survey on Evaluating Quality and Trustworthiness in LLM-Generated Data cites this paper.

A Survey on Evaluating Quality and Trustworthiness in LLM-Generated Data SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 130

Resolution: unresolved; no resolver link, observed 2026-08-03T08:15:23.797404Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40e1fd62-e695-4334-808b-d1470f22d197 · inbound

SUPERNOVA: Eliciting General Reasoning in LLMs with Reinforcement Learning on Natural Instructions cites this paper.

SUPERNOVA: Eliciting General Reasoning in LLMs with Reinforcement Learning on Natural Instructions SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 13

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T07:11:01.580501Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b43661c2-68b5-4dd8-bbe4-4ccdec87bd89 · inbound

HEALing Entropy Collapse: Enhancing Exploration in Few-Shot RLVR via Hybrid-Domain Entropy Dynamics Alignment cites this paper.

HEALing Entropy Collapse: Enhancing Exploration in Few-Shot RLVR via Hybrid-Domain Entropy Dynamics Alignment SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 48

Resolution: metadata mismatch; arxiv_id, observed 2026-05-10T05:25:55.264416Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e45bf414-2568-4816-949d-4728ffb5113e · inbound

Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key cites this paper.

Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 81

Resolution: verified exact; arxiv_id, observed 2026-05-11T20:16:11.442341Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5f37bafc-ae00-4959-bd24-6785965bf12a · inbound

Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key cites this paper.

Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 85

Resolution: verified exact; arxiv_id, observed 2026-05-12T03:21:19.248526Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation afa62865-c185-4ce1-97d0-f9edf9d7d4ab · inbound

Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key cites this paper.

Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 85

Resolution: verified exact; arxiv_id, observed 2026-05-20T22:39:10.569023Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2f7659e9-fed6-4bd1-bb06-96d0ae508a5a · inbound

RAG-Match: Retrieval-Augmented Knowledge Injection and Hierarchical Reasoning for Calibrated Semantic Relevance cites this paper.

RAG-Match: Retrieval-Augmented Knowledge Injection and Hierarchical Reasoning for Calibrated Semantic Relevance SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 52

Resolution: metadata mismatch; arxiv_id, observed 2026-06-29T20:53:58.009157Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 09397fe9-541f-4b71-a434-e42ba757d11a · inbound

DenoiseRL: Bootstrapping Reasoning Models to Recover from Noisy Prefixes cites this paper.

DenoiseRL: Bootstrapping Reasoning Models to Recover from Noisy Prefixes SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 20

Resolution: verified exact; arxiv_id, observed 2026-06-29T11:53:23.704451Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 171ebb94-e67f-4d62-bdb5-7f6605b5ab8e · inbound

DenoiseRL: Bootstrapping Reasoning Models to Recover from Noisy Prefixes cites this paper.

DenoiseRL: Bootstrapping Reasoning Models to Recover from Noisy Prefixes SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T12:58:10.927245Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 086588be-568d-471e-8666-72e680f470b1 · inbound

TRON: Targeted Rule-Verifiable Online Environments for Visual Reasoning RL cites this paper.

TRON: Targeted Rule-Verifiable Online Environments for Visual Reasoning RL SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 20

Resolution: verified exact; arxiv_id, observed 2026-07-01T22:56:19.977749Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c50e16e9-e859-4d2e-9c41-b69c7d3f9640 · inbound

Robots Need More than VLA and World Models cites this paper.

Robots Need More than VLA and World Models SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 165

Resolution: verified exact; arxiv_id, observed 2026-06-28T01:11:28.854308Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ef966bbf-3c32-48b4-8906-fbb350038b6a · inbound

Ling and Ring 2.6 Technical Report: Efficient and Instant Agentic Intelligence at Trillion-Parameter Scale cites this paper.

Ling and Ring 2.6 Technical Report: Efficient and Instant Agentic Intelligence at Trillion-Parameter Scale SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 30

Resolution: metadata mismatch; arxiv_id, observed 2026-07-02T22:17:25.604382Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ee7e62c5-39d1-44ff-8441-a929a4233f7c · inbound

SFBench: The SciFy Scientific Feasibility Benchmark cites this paper.

SFBench: The SciFy Scientific Feasibility Benchmark SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-06-30T07:04:21.316873Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2f8860d8-de94-47b4-ac83-0f576c4dc1db · inbound

SFT Conflicts, RL Coexists: A Theoretical and Empirical Analysis of Multi-Task Learning for LLMs cites this paper.

SFT Conflicts, RL Coexists: A Theoretical and Empirical Analysis of Multi-Task Learning for LLMs SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-08T00:51:25.027810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e803771a-d9e7-423a-8ddb-e59a979f2f64 · inbound

Reasoning Core: Designing Broad Procedural Data for Completion-Supervised Reasoning Training cites this paper.

Reasoning Core: Designing Broad Procedural Data for Completion-Supervised Reasoning Training SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T04:19:48.415270Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.