{"as_of":"2026-08-18T19:00:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6eab7d127e781919f013760346c13c9c93d9bebfb975aab9740dd385eb979e5f","coverage":[{"denominator":57,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":57,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T18:08:47.195987Z","state":"measured"},{"denominator":57,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":57,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+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/2508.15180/citation-record","integrity":"/paper/2508.15180/integrity","json":"/paper/2508.15180/citation-record.json","paper":"/paper/2508.15180"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:08:38.350837Z","title":", \" * write output.state after.block = add.period write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:38.350837Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:2910d3b6440948a02e72bb7392234ee35ddc06d5380f6d3f191a57d1a52b12df","observation_id":"18202fab-37cc-48fa-9b84-d515911b358c","resolution":{"observed_at":"2026-08-05T18:08:38.350837Z","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-05T18:08:38.486107Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:38.486107Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:17c5288b5073999ad291763597f557ebb5a187a564de0e08330a3248fffb30ab","observation_id":"071432d6-fc37-4904-8af4-9e5e51d6f48a","resolution":{"observed_at":"2026-08-05T18:08:38.486107Z","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-05T18:08:54.749305Z","title":null,"venue":null,"work_id":"3b1fb45e-822d-4c3c-9798-b9bb46196804","year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:38.587863Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:c8d34920001c68408e846530f160a2badb8b78741a77c0af1cf95632c5bd1850","observation_id":"d681b5cf-172a-41d4-80b5-6e9158722cdb","resolution":{"observed_at":"2026-08-05T18:08:54.838460Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-05T18:08:54.517962Z","title":null,"venue":null,"work_id":"1d9e375e-a59c-404c-b946-6ed81a8da73d","year":2025},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:38.716082Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:4e1852fecbed6c8098773923dc555c2063c620ed091a7fb9fde70b088b11ce07","observation_id":"d5cbb5d4-0f17-480c-812f-aeca1adaa5a6","resolution":{"observed_at":"2026-08-05T18:08:54.631770Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-05T18:08:54.331301Z","title":null,"venue":null,"work_id":"7063f966-52cd-4abc-9b17-7e8ebd808388","year":2010},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:38.848744Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:7cffe7ccb9656c6c281da3ceba00222a19d605d7aeb0635428526f35ead5744d","observation_id":"9e4ce6b6-a4cc-4fff-83f2-aedf2f62713d","resolution":{"observed_at":"2026-08-05T18:08:54.431839Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-05T18:08:54.092526Z","title":null,"venue":null,"work_id":"958fd570-f759-4d86-93ec-a76706e6499c","year":2022},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:38.962133Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:c93ee60cb5146f32885a014da3c70e0f85aa44ecabc775e59e463f8f5b54b8df","observation_id":"39df3706-5eca-4120-9ad2-f55e573c7420","resolution":{"observed_at":"2026-08-05T18:08:54.226018Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.20238","last_updated":"2025-06-01T15:57:10Z","snapshot_observed_at":"2026-08-16T12:54:35.066776Z","submitted_at":"2025-02-27T16:23:25Z","title":"FINEREASON: Evaluating and Improving LLMs' Deliberate Reasoning through Reflective Puzzle Solving","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.20238","snapshot_observed_at":"2026-08-05T18:08:39.084070Z","title":"P.; Liu, C.; Bing, L.; Zhao, D.; Luu, A","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-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:39.084070Z"},"links":{"cited_paper":"/paper/2502.20238","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:d4dd45b0be5ff2706a69c161c04d1c7774114fa822a640244b870710beda2cec","observation_id":"03c7e9ae-f32f-4904-8b16-505d1545dd19","resolution":{"observed_at":"2026-08-05T18:08:39.084070Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.17848","last_updated":"2025-06-25T09:36:23Z","snapshot_observed_at":"2026-08-17T15:27:28.526768Z","submitted_at":"2025-02-25T04:51:17Z","title":"LR^2Bench: Evaluating Long-chain Reflective Reasoning Capabilities of Large Language Models via Constraint Satisfaction Problems","version":4},"cited_work":{"arxiv_id":"2502.17848","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.17848","snapshot_observed_at":"2026-08-05T18:08:48.612811Z","title":"LR^2Bench: Evaluating Long-chain Reflective Reasoning Capabilities of Large Language Models via Constraint Satisfaction Problems","venue":"cs.CL","work_id":"f7fb2add-0960-4715-9bef-04148cf5b21d","year":2025},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:39.146121Z"},"links":{"cited_paper":"/paper/2502.17848","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:bb950bc0aba5697bcf8bc7669b7b3ddc64875c7c66508faadbe43bb4e87ca050","observation_id":"1b02b384-a728-4eee-8b39-4036040e13b4","resolution":{"observed_at":"2026-08-05T18:08:48.731621Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.14851","last_updated":"2025-05-09T05:26:43Z","snapshot_observed_at":"2026-08-16T20:15:33.207365Z","submitted_at":"2025-01-24T15:49:10Z","title":"JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.14851","snapshot_observed_at":"2026-08-05T18:08:39.208031Z","title":"K.; Zhang, X.; and Tao, D","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-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:39.208031Z"},"links":{"cited_paper":"/paper/2501.14851","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:db9f8ce9fe2986a871b48cd02a0c19991317b2630c299103cc2a0cc4fa189838","observation_id":"f1e03c3c-9570-4a0d-85d8-caa872750e2a","resolution":{"observed_at":"2026-08-05T18:08:39.208031Z","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-05T18:08:53.875994Z","title":"F.; and Mellish, C","venue":null,"work_id":"7ff3818f-56a9-4c62-8f02-5e5bfac3cc1b","year":2003},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:39.310857Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:24e9aee4981ac92448f49c0d923b536925f5c239c976e0487741893760bd58aa","observation_id":"d9afd7ae-4a5e-4248-acab-06b28a4d20bb","resolution":{"observed_at":"2026-08-05T18:08:53.977931Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.15938","last_updated":"2024-03-23T21:54:34Z","snapshot_observed_at":"2026-08-18T02:03:59.317562Z","submitted_at":"2024-03-23T21:54:34Z","title":"LlamBERT: Large-scale low-cost data annotation in NLP","version":1},"cited_work":{"arxiv_id":"2403.15938","doi":null,"metadata_source":"pith","pith_arxiv_id":"2403.15938","snapshot_observed_at":"2026-08-05T18:08:48.366779Z","title":"LlamBERT: Large-scale low-cost data annotation in NLP","venue":"cs.CL","work_id":"15a933a9-428c-487b-9c1e-470d219286ed","year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:39.478124Z"},"links":{"cited_paper":"/paper/2403.15938","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:17e7cda91ac9e6eefc1d3c52a35e59b5f28872d32066cca7b781a21212a020d7","observation_id":"41c56a87-0d26-4e6e-b498-d520d674909f","resolution":{"observed_at":"2026-08-05T18:08:48.502241Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-05T18:08:53.624624Z","title":null,"venue":null,"work_id":"e3207ff7-256f-4e6d-8627-16a95b71584e","year":2008},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:39.595431Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:209dc2c33401efc9c6e1ab00fa20f4e90f01bf3a2d70053b0529ab467343eb63","observation_id":"dcd6498b-a468-4a87-88d2-45d7f790b440","resolution":{"observed_at":"2026-08-05T18:08:53.771150Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.14233","last_updated":"2023-05-23T16:49:14Z","snapshot_observed_at":"2026-08-18T05:06:04.678949Z","submitted_at":"2023-05-23T16:49:14Z","title":"Enhancing Chat Language Models by Scaling High-quality Instructional Conversations","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.14233","snapshot_observed_at":"2026-08-05T18:08:39.723730Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:39.723730Z"},"links":{"cited_paper":"/paper/2305.14233","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:b07e962c341954ef6aed0e333c8bbe281847e53437536d707554e71eaaf01c17","observation_id":"68c9d029-bd40-400d-9c12-34170b35009b","resolution":{"observed_at":"2026-08-05T18:08:39.723730Z","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-05T18:08:53.378136Z","title":"Y.; Gangal, V.; Wei, J.; Chandar, S.; Vosoughi, S.; Mitamura, T.; and Hovy, E","venue":null,"work_id":"9ea7a650-5d79-4c03-af6b-4618645210ed","year":2021},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:39.881759Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:efbb7f1534ac6fe181a1acd1507089153280394addfb492d961d577f2f3815ac","observation_id":"fcba26f5-9cf9-40b2-8d0f-334d8e528520","resolution":{"observed_at":"2026-08-05T18:08:53.501238Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-05T18:08:53.184286Z","title":null,"venue":null,"work_id":"83ceb0dc-a421-455e-9698-038663f9fbd2","year":2025},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:39.975572Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:dfaaa02a6705f7a70b8fb5f2f14d5a18828e0b66cb69d728da747fa0e34d9b1c","observation_id":"80ceb50e-6275-4651-aadc-c8cc47b60c82","resolution":{"observed_at":"2026-08-05T18:08:53.279025Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-05T18:08:53.006919Z","title":null,"venue":null,"work_id":"7aa54bc3-2e5e-4f00-82f6-2da66ebc9c3c","year":2025},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:40.128857Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:e85bcf20dcdf2f66b62c54097ce69b3f49c34f8211c452c2e7b7824f5b579067","observation_id":"4d70833d-65df-4c05-b085-019d2f245917","resolution":{"observed_at":"2026-08-05T18:08:53.085222Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.15778","last_updated":"2024-10-12T11:00:25Z","snapshot_observed_at":"2026-08-16T13:23:12.527841Z","submitted_at":"2024-08-28T13:16:41Z","title":"LogicGame: Benchmarking Rule-Based Reasoning Abilities of Large Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.15778","snapshot_observed_at":"2026-08-05T18:08:40.254125Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:40.254125Z"},"links":{"cited_paper":"/paper/2408.15778","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:fcf1ae0e30f393d62118992f5bd06e999955fff1780d0b2ce45fb789355d2c6c","observation_id":"0fbb90fd-3409-4f1f-a294-036a53e48e05","resolution":{"observed_at":"2026-08-05T18:08:40.254125Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-08-15T12:33:55.451951Z","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-05T18:08:40.371431Z","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-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:40.371431Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:aea25d8cea386de740f24ba5fb2e7c3946fa3e7b5ea767c85e950bc82b98a6df","observation_id":"9cf90564-ac28-44fa-9206-018c3166691b","resolution":{"observed_at":"2026-08-05T18:08:40.371431Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.14008","last_updated":"2024-06-06T13:19:44Z","snapshot_observed_at":"2026-08-03T03:39:09.398343Z","submitted_at":"2024-02-21T18:49:26Z","title":"OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.14008","snapshot_observed_at":"2026-08-05T18:08:40.448183Z","title":"L.; Shen, J.; Hu, J.; Han, X.; Huang, Y.; Zhang, Y.; et al","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:40.448183Z"},"links":{"cited_paper":"/paper/2402.14008","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:c0e3f761a4d1cf73abc46308561883a849f6da93ac7a8e19d3656a0ab8e0f50a","observation_id":"b3279034-50a4-4c0c-832b-639a62c4d1dd","resolution":{"observed_at":"2026-08-05T18:08:40.448183Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.03874","last_updated":"2021-11-08T21:30:18Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-03-05T18:59:39Z","title":"Measuring Mathematical Problem Solving With the MATH Dataset","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.03874","snapshot_observed_at":"2026-08-05T18:08:40.525981Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:40.525981Z"},"links":{"cited_paper":"/paper/2103.03874","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:5647a3de01bfef239eaa10f78322a837d1a9cb859fd04c3e941578e3e6a78aec","observation_id":"6f3a2028-9c81-4f53-8c74-b01609cfcb5b","resolution":{"observed_at":"2026-08-05T18:08:40.525981Z","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-05T18:08:52.821005Z","title":null,"venue":null,"work_id":"d246f0e6-b593-4169-be4d-ecf0f56ecc80","year":2021},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:40.644875Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:ce2b224a9fc3e1dafa41b190b900f65102194c3ea2230bb7010d89c2fd93a40a","observation_id":"ebfadc7b-2ec2-4d3e-b7b4-2db6ebba0880","resolution":{"observed_at":"2026-08-05T18:08:52.911804Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-05T18:08:52.552041Z","title":null,"venue":null,"work_id":"4b4c7706-e9d9-43de-b993-66d130508748","year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:40.761079Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:9165d91e62cc313f888cf4108f6f267979bc1d488758a7e4dec66e82bf19e468","observation_id":"bc40a585-2fe8-4a3b-945a-89cfd5b7c40e","resolution":{"observed_at":"2026-08-05T18:08:52.683356Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.19187","last_updated":"2025-05-06T15:11:32Z","snapshot_observed_at":"2026-08-18T11:14:47.752016Z","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-05T18:08:40.834563Z","title":"D.; Aglietti, V.; Jindal, D.; Chen, P.; Dikkala, N.; Tyen, G.; Liu, X.; Shalit, U","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-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:40.834563Z"},"links":{"cited_paper":"/paper/2502.19187","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:3dcbf8878958d65ecb42d848566e67f1257bccb19e78ae7ff30958f185682249","observation_id":"8b2e1b14-a71e-47b6-804f-b2a0955f44f9","resolution":{"observed_at":"2026-08-05T18:08:40.834563Z","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-05T18:08:52.327164Z","title":null,"venue":null,"work_id":"372a6feb-08e1-47ce-a006-3b2118939ca8","year":2025},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:40.946869Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:3628892f3e0df32ad9364b19bff019132b5e68b18252a434efdb35c0be038818","observation_id":"8aa2da86-0234-45fa-9e72-eab4ab21c13d","resolution":{"observed_at":"2026-08-05T18:08:52.433058Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.15638","last_updated":"2023-10-24T08:56:49Z","snapshot_observed_at":"2026-08-16T14:49:26.365106Z","submitted_at":"2023-10-24T08:56:49Z","title":"CoAnnotating: Uncertainty-Guided Work Allocation between Human and Large Language Models for Data Annotation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.15638","snapshot_observed_at":"2026-08-05T18:08:41.105141Z","title":"F.; Liu, Z.; and Yang, D","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:41.105141Z"},"links":{"cited_paper":"/paper/2310.15638","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:833ee881ee63cd7cec6bfb4095701c93b082402a2ed058fd790a4488b7520318","observation_id":"99838d12-b65a-404f-9401-a39b502cd430","resolution":{"observed_at":"2026-08-05T18:08:41.105141Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.16114","snapshot_observed_at":"2026-08-05T18:08:41.198061Z","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-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:41.198061Z"},"links":{"cited_paper":"/paper/2505.16114","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:82dd890b4bbf161bf61ed60ddd45a45c216cf2fe8a41d74d9f0e2c33faf3a8a8","observation_id":"1214942c-ecf5-45eb-8ecb-0b406473a2b1","resolution":{"observed_at":"2026-08-05T18:08:41.198061Z","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-12T18:50:09.323746Z","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-15T06:52:27.067194Z","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:226d98c45d9aea0a1a2e2b1ae6a590148b550dc6dc646c8928c2dd08d4b6a1b0","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.03171","last_updated":"2025-05-06T04:32:17Z","snapshot_observed_at":"2026-08-17T14:08:55.248149Z","submitted_at":"2025-05-06T04:32:17Z","title":"CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.03171","snapshot_observed_at":"2026-08-05T18:08:41.447037Z","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-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:41.447037Z"},"links":{"cited_paper":"/paper/2505.03171","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:fc4c1861182bfe2880a1cb0d73d07ec41e75320688fa2bfeb87ee56a844e78d5","observation_id":"411ff25b-e1c7-4732-bc91-1fa4d83bc43f","resolution":{"observed_at":"2026-08-05T18:08:41.447037Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.04062","last_updated":"2025-04-04T09:34:37Z","snapshot_observed_at":"2026-08-18T16:42:16.821528Z","submitted_at":"2023-02-08T13:59:31Z","title":"Machine Learning for Synthetic Data Generation: A Review","version":10},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.04062","snapshot_observed_at":"2026-08-05T18:08:41.580224Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:41.580224Z"},"links":{"cited_paper":"/paper/2302.04062","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:d08bec92d5131366e066d52d0d9fc0533c8e1e509d460e8ed0816a22560d00ae","observation_id":"f725b00f-2176-4e01-91fc-fc1934f3e1a8","resolution":{"observed_at":"2026-08-05T18:08:41.580224Z","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-05T18:08:52.067164Z","title":null,"venue":null,"work_id":"b7aa14ab-d254-45f6-b5f9-c7e715beae74","year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:41.732035Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:7976e2ff65ba61a3d66a1ad0dcbca5b610f94e6802a03e4d24a6ee2ee44179fa","observation_id":"c02b4e6d-3fcd-4cf1-a26f-dc106f35a96c","resolution":{"observed_at":"2026-08-05T18:08:52.199509Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.00836","last_updated":"2024-03-31T01:02:55Z","snapshot_observed_at":"2026-08-18T13:31:30.534326Z","submitted_at":"2023-10-02T01:00:50Z","title":"Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.00836","snapshot_observed_at":"2026-08-05T18:08:41.823881Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:41.823881Z"},"links":{"cited_paper":"/paper/2310.00836","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:9b6925194dabf2ec597b59aed0bc18f7cc5ef8ec25bcc7196d34596223f1c28b","observation_id":"91e31433-f523-4c08-bb63-6fcedcb01bdd","resolution":{"observed_at":"2026-08-05T18:08:41.823881Z","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-05T18:08:51.807758Z","title":null,"venue":null,"work_id":"c4ec84d9-abf8-4c55-a388-d0dbc606cdd6","year":2023},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:41.957771Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:82167cc8440791c149ac6d0b6204f7cc2d3530de3b7600487d4ddcf67f09da2d","observation_id":"86435a2b-859f-4939-b34f-f6a3631aef17","resolution":{"observed_at":"2026-08-05T18:08:51.948678Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-05T18:08:51.563180Z","title":null,"venue":null,"work_id":"ebb6ff49-e3ba-4795-8143-497a9d325c7f","year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:42.052650Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:d87192698fe8e99cbc76ba640366e098f70fb81441cec6d5c10f5d6bb42919e0","observation_id":"d70eae2d-46bc-46e3-9b26-cdaf0e8637b7","resolution":{"observed_at":"2026-08-05T18:08:51.708663Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-05T18:08:51.319959Z","title":null,"venue":null,"work_id":"f8a70287-d224-4c08-8264-30ed9558cfd2","year":2025},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:42.152096Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:986c1f56d664a107bc526cd7603e8af529a6244f9db9cfa526a4f08d48ee20c6","observation_id":"51f7223d-6b68-4104-8841-47b8497ad381","resolution":{"observed_at":"2026-08-05T18:08:51.428466Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.15993","last_updated":"2025-05-21T20:22:37Z","snapshot_observed_at":"2026-07-06T21:28:06.120576Z","submitted_at":"2025-05-21T20:22:37Z","title":"Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku","version":1},"cited_work":{"arxiv_id":"2505.15993","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.15993","snapshot_observed_at":"2026-08-05T18:08:47.987761Z","title":"Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku","venue":"cs.CL","work_id":"d79b7300-ec41-4cec-9bb5-f66bca9e6571","year":2025},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:42.320028Z"},"links":{"cited_paper":"/paper/2505.15993","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:a6dd80a7e2c515a06ed44c425c7d83eb6e4e6854e8000bf190fe2b15231c86c2","observation_id":"4159ac79-03be-4a2c-8dc1-2782c2d4f998","resolution":{"observed_at":"2026-08-05T18:08:48.065869Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-05T18:08:51.117426Z","title":null,"venue":null,"work_id":"aefb1bc2-0869-496a-a0d6-1ae4c177a00b","year":2025},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:42.449970Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:310ddad6db93374a1147dabe74053e02c1c5bae80a8750d8f8cf183333f2f72e","observation_id":"f0b26f41-4ab0-4af6-bc2d-d6d3ed6c8233","resolution":{"observed_at":"2026-08-05T18:08:51.208406Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.05229","last_updated":"2025-08-27T16:24:39Z","snapshot_observed_at":"2026-08-16T08:54:56.543625Z","submitted_at":"2024-10-07T17:36:37Z","title":"GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.05229","snapshot_observed_at":"2026-08-05T18:08:42.556231Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:42.556231Z"},"links":{"cited_paper":"/paper/2410.05229","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:4bd98e18916fe8834ddde904ffd84f6dc008dea28a7e2847de98167213b6f0f6","observation_id":"d3b2601b-e53f-47c7-af92-9da90f7cd2cb","resolution":{"observed_at":"2026-08-05T18:08:42.556231Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.02611","last_updated":"2025-03-01T12:46:25Z","snapshot_observed_at":"2026-08-16T14:21:38.247188Z","submitted_at":"2024-02-04T20:56:09Z","title":"FCoReBench: Can Large Language Models Solve Challenging First-Order Combinatorial Reasoning Problems?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.02611","snapshot_observed_at":"2026-08-05T18:08:42.697524Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:42.697524Z"},"links":{"cited_paper":"/paper/2402.02611","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:65b371b9b95b7ca92f87dde9885f86bdea17f6e9682ad4daf218214c7f25226a","observation_id":"044de025-daf2-46f3-99d2-bf13c184a109","resolution":{"observed_at":"2026-08-05T18:08:42.697524Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.21276","last_updated":"2024-10-25T17:43:01Z","snapshot_observed_at":"2026-08-15T14:02:47.366139Z","submitted_at":"2024-10-25T17:43:01Z","title":"GPT-4o System Card","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.21276","snapshot_observed_at":"2026-08-05T18:08:42.816038Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:42.816038Z"},"links":{"cited_paper":"/paper/2410.21276","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:b6c6e768229871b54e65d3ff3bc3acf8b6d63305bed6e9a8b7a2659e2a5556c1","observation_id":"46db7475-f47b-4c37-82e5-5ed5940fbe72","resolution":{"observed_at":"2026-08-05T18:08:42.816038Z","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-05T18:08:50.817979Z","title":null,"venue":null,"work_id":"50eebb97-0826-42d7-bd3c-96ae9f16e9e7","year":2025},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:42.908170Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:3123ffbadac66bc2af645e6d6af3a859610a51a0307bbadbc597acc1f2d50db8","observation_id":"48caaf3b-4c49-4b47-9780-3b61d80c83ce","resolution":{"observed_at":"2026-08-05T18:08:50.963662Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-05T18:08:50.555887Z","title":null,"venue":null,"work_id":"906a1eec-13ee-4d7c-b432-6a63188ee7a3","year":2023},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:42.989503Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:c11d94919d3ed36cda6cdb54c01d5b0d20339bb1a366d8f2701fd5a07d58bfc1","observation_id":"bb98ae7e-8c8e-4b46-a4f6-cb3470b2fff2","resolution":{"observed_at":"2026-08-05T18:08:50.657269Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.15522","last_updated":"2024-06-06T08:15:54Z","snapshot_observed_at":"2026-08-16T13:58:22.325772Z","submitted_at":"2024-04-23T21:08:49Z","title":"LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.15522","snapshot_observed_at":"2026-08-05T18:08:43.092102Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:43.092102Z"},"links":{"cited_paper":"/paper/2404.15522","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:467264b987d4cced087f3f2ac8b7febb66fcf89d85d774e3d99bfde278f19605","observation_id":"f43b4129-4a13-48a5-b28b-1a658df5655a","resolution":{"observed_at":"2026-08-05T18:08:43.092102Z","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-05T18:08:50.264173Z","title":"R.; Mozer, M.; Bengio, Y.; Arora, S.; and Goyal, A","venue":null,"work_id":"b6da2e5f-563a-439d-a004-6d574473cb58","year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:43.172009Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:f2e0c6559e77cb5d5cff9499a548efc8c6690777e70aef1c3bfca619b3668167","observation_id":"31c4b37c-ea54-47dc-8960-af0521c1b4b3","resolution":{"observed_at":"2026-08-05T18:08:50.441392Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.03300","last_updated":"2024-04-27T15:25:53Z","snapshot_observed_at":"2026-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-05T18:08:43.258547Z","title":"K.; Wu, Y.; and Guo, D","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:43.258547Z"},"links":{"cited_paper":"/paper/2402.03300","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:09f5bee0f937c7c1608e8539ea60156cc334bf23f67867da8320b9e88922362f","observation_id":"724f6e7c-072e-49b7-a74d-f61519bcce65","resolution":{"observed_at":"2026-08-05T18:08:43.258547Z","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-05T18:08:50.004824Z","title":null,"venue":null,"work_id":"57f8db2a-85e3-49bc-a2e0-2ab2cb5a93a9","year":2019},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:43.361741Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:ab78501a8575a2c7cefa0879a009327d7df71cf8e5f9ffb981bab65fe9316724","observation_id":"be5d8c07-9e39-4ff0-91dd-94111e2df6de","resolution":{"observed_at":"2026-08-05T18:08:50.122783Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-05T18:08:49.738481Z","title":null,"venue":null,"work_id":"1ccea0d8-a46e-4a49-aa94-e61060431d90","year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:43.498543Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:4fa253a9bf4ba8a1f4446a54dea7cfac9fdc1f4565a7dfac69679c1078c90dfb","observation_id":"3516e2d2-ae8e-4d25-9201-3680bee9c100","resolution":{"observed_at":"2026-08-05T18:08:49.859286Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-05T18:08:49.539416Z","title":null,"venue":null,"work_id":"d223f320-f597-44a8-9eba-80272522f184","year":2025},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:43.604868Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:fca70c13fbe9b3e3aec96f6693a3224377028af38ae7dab34ec98a628346d82b","observation_id":"5f11db80-6f2d-4cd8-a8a9-e23eefa67094","resolution":{"observed_at":"2026-08-05T18:08:49.627436Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-05T18:08:49.308983Z","title":null,"venue":null,"work_id":"e5fc69db-d648-43e8-9edc-08e96911f015","year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:43.717953Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:37a94ef0e065deb1b0421e1ee487e730c81eb1cac2ca2933a948d8ad137b6053","observation_id":"72ab9a19-0aa5-4d05-b0bf-c9da57ca2a3e","resolution":{"observed_at":"2026-08-05T18:08:49.407127Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.10702","last_updated":"2024-09-24T05:00:07Z","snapshot_observed_at":"2026-08-16T13:18:02.208113Z","submitted_at":"2024-09-16T20:05:57Z","title":"Model-in-the-Loop (MILO): Accelerating Multimodal AI Data Annotation with LLMs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.10702","snapshot_observed_at":"2026-08-05T18:08:43.808786Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:43.808786Z"},"links":{"cited_paper":"/paper/2409.10702","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:6274c8f187dae995ebf8a6e5f52a907a5305bf12424997bc882e37cb7c5cbf62","observation_id":"e1694ad8-8121-4e03-9066-c0c19ab48bfc","resolution":{"observed_at":"2026-08-05T18:08:43.808786Z","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-05T18:08:44.012405Z","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-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:44.012405Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:2ddc85a7e4b79ff648168d0af6347659db65d83e2b3f8d94be02a01bd0d52a2e","observation_id":"80920442-ca79-4d67-a4af-294089e91f35","resolution":{"observed_at":"2026-08-05T18:08:44.012405Z","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-05T18:08:49.093559Z","title":null,"venue":null,"work_id":"f9adff0d-d081-4edd-9bb9-09a58d0ada4f","year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:44.094324Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:5e4d9a0450b013ddf4edee5eb86717271ac476cff234b9d97547da518b06e798","observation_id":"54aa4805-1a4c-4aaa-98fc-8853f500e7b0","resolution":{"observed_at":"2026-08-05T18:08:49.183317Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08464","last_updated":"2024-10-07T01:45:38Z","snapshot_observed_at":"2026-08-12T12:16:58.791696Z","submitted_at":"2024-06-12T17:52:30Z","title":"Magpie: Alignment Data Synthesis from Scratch by Prompting Aligned LLMs with Nothing","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08464","snapshot_observed_at":"2026-08-05T18:08:44.181140Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:44.181140Z"},"links":{"cited_paper":"/paper/2406.08464","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:a30b30c03afdf44d4913bf4d67c3458a1d966264d8d6775e3c2b93ff59eaeaff","observation_id":"05f4d6a0-143e-4dd3-9433-21f693dda248","resolution":{"observed_at":"2026-08-05T18:08:44.181140Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.09388","last_updated":"2025-05-14T13:41:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-05-14T13:41:34Z","title":"Qwen3 Technical Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.09388","snapshot_observed_at":"2026-08-05T18:08:44.250438Z","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-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:44.250438Z"},"links":{"cited_paper":"/paper/2505.09388","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:7333097cb44bc60b18cdac477772c9a9c6884fba10503dc832b0080346cec460","observation_id":"82b79047-02f8-4cc7-9711-038091c25e89","resolution":{"observed_at":"2026-08-05T18:08:44.250438Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.15115","last_updated":"2025-01-03T02:18:21Z","snapshot_observed_at":"2026-08-17T18:50:07.059564Z","submitted_at":"2024-12-19T17:56:09Z","title":"Qwen2.5 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.15115","snapshot_observed_at":"2026-08-05T18:08:44.338641Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:44.338641Z"},"links":{"cited_paper":"/paper/2412.15115","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:2c230d375d11a2b4914cb029bacdbcde6125aebc6dd2b122ccbbb8489f0b188d","observation_id":"9e177528-77e6-47be-80b8-d0e383c31754","resolution":{"observed_at":"2026-08-05T18:08:44.338641Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.19596","last_updated":"2023-10-31T08:19:52Z","snapshot_observed_at":"2026-08-16T14:47:37.092167Z","submitted_at":"2023-10-30T14:54:15Z","title":"LLMaAA: Making Large Language Models as Active Annotators","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.19596","snapshot_observed_at":"2026-08-05T18:08:44.843029Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:44.843029Z"},"links":{"cited_paper":"/paper/2310.19596","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:ea6223130b522dd81ae451384d4f8528d87fc1682957ed4e85f4b80f2d876596","observation_id":"2fa23572-8b6e-4eac-bccd-62e4c9a3ae38","resolution":{"observed_at":"2026-08-05T18:08:44.843029Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.03784","last_updated":"2021-09-08T17:15:34Z","snapshot_observed_at":"2026-08-16T17:58:00.692165Z","submitted_at":"2021-09-08T17:15:34Z","title":"A Survey on Machine Learning Techniques for Auto Labeling of Video, Audio, and Text Data","version":1},"cited_work":{"arxiv_id":"2109.03784","doi":null,"metadata_source":"pith","pith_arxiv_id":"2109.03784","snapshot_observed_at":"2026-08-05T18:08:47.374439Z","title":"A Survey on Machine Learning Techniques for Auto Labeling of Video, Audio, and Text Data","venue":"cs.LG","work_id":"e7dcc6c1-b99b-4dd0-85a5-c65ccc9cbd8f","year":2021},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:47.108048Z"},"links":{"cited_paper":"/paper/2109.03784","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:17d8cab9ba57a9bfc8f36ac86ee6ba02b89faf16bb0c94ea4c115ea5e8e91fbf","observation_id":"e05510e5-49f7-405a-8cf2-ab54a598fc20","resolution":{"observed_at":"2026-08-05T18:08:47.498927Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-05T18:08:48.898073Z","title":null,"venue":null,"work_id":"9d9d007c-6835-4c6f-9640-042522a30311","year":2024},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:47.195987Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:d0e3eacbe0307ef5db3805305d3658a7ed53859bbb09492c30401e33ecae5863","observation_id":"0117aa3d-8af5-4732-855b-5a450c0299fb","resolution":{"observed_at":"2026-08-05T18:08:48.975849Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","latest_version":3,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-15T06:52:27.067194Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data"},"reference_resolution":{"displayed":57,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":50,"verified_exact":3,"verified_fuzzy":3},"total_outbound_references":57},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 57 of 57 outbound references and 0 inbound Pith citation observations for arXiv:2508.15180."}