{"as_of":"2026-08-10T16:48:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f72d2712762fceecd81cacde91edfbd07f774864acef3ae425c46248dc6ca68c","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-10T06:31:04.303077+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-08-10T13:06:44.583222Z","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-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":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:f1c2ffe7767044ad607a9dc05c036228ea178726191e0661e959a08ee04f748a","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-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"}},{"citation":{"cited_paper":{"arxiv_id":"2512.13961","last_updated":"2026-04-14T15:12:44Z","snapshot_observed_at":"2026-08-07T08:18:31.274999Z","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-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":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:beda31d5a84d87ded396ca0d039d3c203362dfff4d58e5753f6b8a4ddfa47bf8","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-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":8,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.542240Z"},"links":{"citing_paper":"/paper/2608.05148"},"observation_digest":"sha256:73b88b37bfa20e072e7b80f5edbed5e2cb94b92aafe6d7d939b731beeac8199c","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-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":9,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.659195Z"},"links":{"citing_paper":"/paper/2608.05148"},"observation_digest":"sha256:39b2c0881dfdf8e79eb073923ad29cbd68078d6ae6c7e7fae4e04384d65547f3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":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-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":11,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.830115Z"},"links":{"citing_paper":"/paper/2608.05148"},"observation_digest":"sha256:e9779e83e3cc88d6f88834dae312ddba20b670d7947e0d37ed95f29e1e2b9881","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":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-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":12,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.909099Z"},"links":{"citing_paper":"/paper/2608.05148"},"observation_digest":"sha256:34023e7a88a30388a00c2c505f0285f2499284789d2144182f40351f5f9bb675","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-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":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:ff23609ccd3e0cd73e50466ec81b3289dc32bd3df73084ac179985e2d0db30cd","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-08-10T12:48:03.439090Z","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-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":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:17fa54be7de9936111f0cca5af73ade995fe4b52241cafd383f39d8939dbb21e","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-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":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:1f3ca470a46b46f89031a0140db57fbd6f0f859a047143acf47f820225f04e51","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-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":2025,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.027607Z"},"links":{"citing_paper":"/paper/2608.05148"},"observation_digest":"sha256:fa6ff9f65fb9f939abc43e68d88f5a694421d866d7ac767f001479c6aade45e8","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-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":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:26d8f83845d1bd535cc962892246fa8b732888ce6d26abe9b190c5f011f90b2a","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-09T15:33:57.397099Z","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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2608.05148."}