{"as_of":"2026-08-07T06:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:57aa53720684a603287a4b62cc55c5ea700ad6d7dd51c54d5d2e2bb5143fbede","coverage":[{"denominator":12,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":12,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T04:19:48.909099Z","state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.05148/citation-record","integrity":"/paper/2608.05148/integrity","json":"/paper/2608.05148/citation-record.json","paper":"/paper/2608.05148"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.01100","last_updated":"2025-07-15T01:14:25Z","snapshot_observed_at":"2026-07-06T20:30:02.903743Z","submitted_at":"2025-02-03T06:44:49Z","title":"ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.01100","snapshot_observed_at":"2026-08-06T04:19:48.346566Z","title":null,"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-07T06:33:16.108324Z","submitted_at":"2026-08-05T17:59:44Z","title":"Reasoning Core: Designing Broad Procedural Data for Completion-Supervised Reasoning Training","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.346566Z"},"links":{"cited_paper":"/paper/2502.01100","citing_paper":"/paper/2608.05148"},"observation_digest":"sha256:ad68ec19af801fc74625fb0bcbf3f719efa7272e1c2c842756a7a6b104323c47","observation_id":"6159d5fd-f597-4de4-8f06-d6989927b676","resolution":{"observed_at":"2026-08-06T04:19:48.346566Z","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-07-06T21:30:23.899598Z","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-07T06:33:16.108324Z","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:1350dc99555786da40a0dc73e538ab7820fdb1212b264c01376009a620a0cece","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"}},{"citation":{"cited_paper":{"arxiv_id":"2512.13961","last_updated":"2026-04-14T15:12:44Z","snapshot_observed_at":"2026-07-06T22:39:08.850289Z","submitted_at":"2025-12-15T23:41:48Z","title":"Olmo 3","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2512.13961","snapshot_observed_at":"2026-08-06T04:19:48.483282Z","title":null,"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-07T06:33:16.108324Z","submitted_at":"2026-08-05T17:59:44Z","title":"Reasoning Core: Designing Broad Procedural Data for Completion-Supervised Reasoning Training","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.483282Z"},"links":{"cited_paper":"/paper/2512.13961","citing_paper":"/paper/2608.05148"},"observation_digest":"sha256:bc1d90d393f40f082bd111fee6200ddaa09c48d23955d4a643b005a4af26994a","observation_id":"13c2b07c-2ebb-4557-a12f-165b02759f17","resolution":{"observed_at":"2026-08-06T04:19:48.483282Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:19:48.542240Z","title":"Mirac Suzgun, Nathan Scales, Nathanael Schärli, Se- bastian Gehrmann, Yi Tay, Hyung Won Chung, Aakanksha Chowdhery, Quoc Le, Ed Chi, Denny Zhou, and Jason Wei","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-07T06:33:16.108324Z","submitted_at":"2026-08-05T17:59:44Z","title":"Reasoning Core: Designing Broad Procedural Data for Completion-Supervised Reasoning Training","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.542240Z"},"links":{"citing_paper":"/paper/2608.05148"},"observation_digest":"sha256:dfc4cb699f9e7de7c11c6fd779f9139bbc6e7c1bb5eeed38714da0b227ae4ef6","observation_id":"7cd11cc4-7451-4ff0-aa52-fd3874a88705","resolution":{"observed_at":"2026-08-06T04:19:48.542240Z","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-06T04:19:49.410843Z","title":"InFindings of the Association for Computational Lin- guistics: ACL 2023, pages 13003–13051, Toronto, Canada","venue":null,"work_id":"c0f1d341-e1ef-4522-8231-f367bf81e94d","year":2023},"citing_paper":{"arxiv_id":"2608.05148","last_updated":"2026-08-05T17:59:44Z","snapshot_observed_at":"2026-08-07T06:33:16.108324Z","submitted_at":"2026-08-05T17:59:44Z","title":"Reasoning Core: Designing Broad Procedural Data for Completion-Supervised Reasoning Training","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.659195Z"},"links":{"citing_paper":"/paper/2608.05148"},"observation_digest":"sha256:14a31141771613baeadefb30dd225194c3ddb192489474dc913ed1188532dfa2","observation_id":"35b4c3e4-c2f2-4399-95db-0521d2253862","resolution":{"observed_at":"2026-08-06T04:19:49.503757Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T04:19:49.285015Z","title":"InFindings of the Association for Computa- tional Linguistics: ACL 2025, pages 6980–7008","venue":null,"work_id":"5f1433b1-e74b-45a9-bd78-2f51f5ed6c35","year":2025},"citing_paper":{"arxiv_id":"2608.05148","last_updated":"2026-08-05T17:59:44Z","snapshot_observed_at":"2026-08-07T06:33:16.108324Z","submitted_at":"2026-08-05T17:59:44Z","title":"Reasoning Core: Designing Broad Procedural Data for Completion-Supervised Reasoning Training","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.830115Z"},"links":{"citing_paper":"/paper/2608.05148"},"observation_digest":"sha256:bd0e0db94eb59d6494811a1bef3c17db4e3ed950dc0d8cd4b5990ef515e10c2d","observation_id":"e82cc399-80f5-4482-aec9-d8c1d6c0af8b","resolution":{"observed_at":"2026-08-06T04:19:49.349750Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T04:19:48.909099Z","title":"(filtered)","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-07T06:33:16.108324Z","submitted_at":"2026-08-05T17:59:44Z","title":"Reasoning Core: Designing Broad Procedural Data for Completion-Supervised Reasoning Training","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.909099Z"},"links":{"citing_paper":"/paper/2608.05148"},"observation_digest":"sha256:78da11e021f61ec32a8e755355098672de47751f91883dab05757152b5a062d5","observation_id":"e3130e9f-7fed-4c69-809e-70e55ac6b105","resolution":{"observed_at":"2026-08-06T04:19:48.909099Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1912.01588","last_updated":"2020-07-26T18:39:26Z","snapshot_observed_at":"2026-08-06T18:05:01.923590Z","submitted_at":"2019-12-03T18:34:03Z","title":"Leveraging Procedural Generation to Benchmark Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1912.01588","snapshot_observed_at":"2026-08-06T04:19:48.168776Z","title":"Preprint, arXiv:1912.01588","venue":null,"work_id":null,"year":1912},"citing_paper":{"arxiv_id":"2608.05148","last_updated":"2026-08-05T17:59:44Z","snapshot_observed_at":"2026-08-07T06:33:16.108324Z","submitted_at":"2026-08-05T17:59:44Z","title":"Reasoning Core: Designing Broad Procedural Data for Completion-Supervised Reasoning Training","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.168776Z"},"links":{"cited_paper":"/paper/1912.01588","citing_paper":"/paper/2608.05148"},"observation_digest":"sha256:a9bfd045d2635a4d05a7d62226b893d69bab4ab522b55a15427418b214e367e1","observation_id":"d81c660d-93d4-4273-92f3-c62ff223fc21","resolution":{"observed_at":"2026-08-06T04:19:48.168776Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.13673","last_updated":"2025-05-19T11:12:27Z","snapshot_observed_at":"2026-07-06T15:31:05.250637Z","submitted_at":"2023-05-23T04:28:16Z","title":"Physics of Language Models: Part 1, Learning Hierarchical Language Structures","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.13673","snapshot_observed_at":"2026-08-06T04:19:48.084542Z","title":"Karl Cobbe, Oleg Klimov, Chris Hesse, Taehoon Kim, and John Schulman","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-07T06:33:16.108324Z","submitted_at":"2026-08-05T17:59:44Z","title":"Reasoning Core: Designing Broad Procedural Data for Completion-Supervised Reasoning Training","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.084542Z"},"links":{"cited_paper":"/paper/2305.13673","citing_paper":"/paper/2608.05148"},"observation_digest":"sha256:aa76190f9ba8adfa53fe9467ebdd293ecff50521fa6cb63c59dc188597b7fc14","observation_id":"8243ab9c-545c-4a64-ae57-1f679398626e","resolution":{"observed_at":"2026-08-06T04:19:48.084542Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14333","last_updated":"2024-05-23T09:03:42Z","snapshot_observed_at":"2026-07-06T18:18:25.746022Z","submitted_at":"2024-05-23T09:03:42Z","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14333","snapshot_observed_at":"2026-08-06T04:19:48.744100Z","title":"Zhangchen Xu, Yang Liu, Yueqin Yin, Mingyuan Zhou, and Radha Poovendran","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-07T06:33:16.108324Z","submitted_at":"2026-08-05T17:59:44Z","title":"Reasoning Core: Designing Broad Procedural Data for Completion-Supervised Reasoning Training","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.744100Z"},"links":{"cited_paper":"/paper/2405.14333","citing_paper":"/paper/2608.05148"},"observation_digest":"sha256:f1ae3e9d8fc15a0656a52ddb3fa293f1fdc9a718187392d3f641e369f9452636","observation_id":"1efcf01d-8ee9-4a49-a9ea-40b9d25b8845","resolution":{"observed_at":"2026-08-06T04:19:48.744100Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:19:48.027607Z","title":"Zeyuan Allen-Zhu and Yuanzhi Li","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-07T06:33:16.108324Z","submitted_at":"2026-08-05T17:59:44Z","title":"Reasoning Core: Designing Broad Procedural Data for Completion-Supervised Reasoning Training","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.027607Z"},"links":{"citing_paper":"/paper/2608.05148"},"observation_digest":"sha256:f25759ce00de40fad7f716ae46eb6a9bfbf555b1792ea8293c438be081f62c3b","observation_id":"12f3fee1-8c50-477e-bbe3-f68723bf3f83","resolution":{"observed_at":"2026-08-06T04:19:48.027607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2601.21725","last_updated":"2026-05-27T19:52:53Z","snapshot_observed_at":"2026-08-04T21:23:57.701786Z","submitted_at":"2026-01-29T13:48:43Z","title":"Procedural Pretraining: Warming Up Language Models with Abstract Data","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2601.21725","snapshot_observed_at":"2026-08-06T04:19:48.253995Z","title":"Yuan Li, Zhengzhong Liu, and Eric Xing","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-07T06:33:16.108324Z","submitted_at":"2026-08-05T17:59:44Z","title":"Reasoning Core: Designing Broad Procedural Data for Completion-Supervised Reasoning Training","version":1},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.253995Z"},"links":{"cited_paper":"/paper/2601.21725","citing_paper":"/paper/2608.05148"},"observation_digest":"sha256:769e32f7676e8156abab3a86f6944d40df0183777f4098959a04e2c5de4b9925","observation_id":"8dba44b9-c062-45d9-83a3-ba6b37c89977","resolution":{"observed_at":"2026-08-06T04:19:48.253995Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.05148","last_updated":"2026-08-05T17:59:44Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-07T06:33:16.108324Z","submitted_at":"2026-08-05T17:59:44Z","title":"Reasoning Core: Designing Broad Procedural Data for Completion-Supervised Reasoning Training"},"reference_resolution":{"displayed":12,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":10,"verified_exact":0,"verified_fuzzy":2},"total_outbound_references":12},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2608.05148."}