{"as_of":"2026-08-11T00:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:707a38ad54a53aa61ab123442bd9185671eb84c4b41a48b1ca1e5752ef23bb11","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-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/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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:38.350837Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:eb56cb66ad0f3cb1fe457ed34e8504c02128fe700c8ae2bb89a3af2d2ef09a1b","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:38.486107Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:c74b5223e4e101e4046fdd0c8d3de6e8732ce8274af35789a38bc09c1f0a4b42","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:38.587863Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:3f5d93a83256a71c3b5dfb66732d2be5c53547d4631d4720a005e3229041ffca","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-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-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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:38.716082Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:16bf9bb1b2e9dd923967581ffdf32fa868f123e5b171b38b95694a3a2c11e0e6","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-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-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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:38.848744Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:6847ef15eaf3b928314fe4e7051d2063a0e2c65bff976a7342663181f1383b2d","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-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-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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:38.962133Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:e979983a0b655e9204420f22b904d292531e3bf143cc7e110bf4a13438468b43","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-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":{"arxiv_id":"2502.20238","last_updated":"2025-06-01T15:57:10Z","snapshot_observed_at":"2026-08-09T10:36:39.179276Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:7dfe874ef9c3a15b43768a12a78f80eef8d21b5491508f94a831b6aeb505df04","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-10T12:48:12.819502Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:385e7745deaac8c7c98197860c350fd33f4f3d60453bc817fcf0bd9307885967","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-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":{"arxiv_id":"2501.14851","last_updated":"2025-05-09T05:26:43Z","snapshot_observed_at":"2026-08-10T14:58:01.694234Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:7da9cab7cafa5b2773d31fd5021f2683b399e3e06fef905fbbd58751e078f6ca","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:39.310857Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:a7debc9547c9f57a7027df1ca31e6fff1f23526f26d7d74e0c0e93d9daa80626","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-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":{"arxiv_id":"2403.15938","last_updated":"2024-03-23T21:54:34Z","snapshot_observed_at":"2026-07-06T17:49:32.438290Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:90b90f5ebac50b29c8a82c45f76d4176a17ef7110d4d648ccbb94d45aaabf164","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-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-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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:39.595431Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:d888ac2e269cec7e5bea52d33cdcce9c180250e56044ae5f149b222d89dbfa73","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-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":{"arxiv_id":"2305.14233","last_updated":"2023-05-23T16:49:14Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:5b1a525fb69547fbf1dd0bf54a2120d4d8e7a87ca5a923769a08fd6daa23a510","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:39.881759Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:8847b6412f3dd06224ea3ede8e5a7571a84f2551dd069c0d5aafa394411752a7","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-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-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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:39.975572Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:88c44fc02c489570313a83fcc7c2db1e30e92d6111d26b4fe44a68e761fe25e2","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-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-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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:40.128857Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:67ff7d44a78d6c0d9b0ef1cb1462468873ac879110bb41bd86e89e4e53e29bc3","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-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":{"arxiv_id":"2408.15778","last_updated":"2024-10-12T11:00:25Z","snapshot_observed_at":"2026-07-06T19:07:07.234443Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:edac4bd8d5e3994aa8ebece1dac7c3afcfd682872d527371b86603a0b642fdb3","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-07-06T02:11:23.670680Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:1345bed9e81ca408b8344c179e97b15127b6cf64baa508e6a5bc1534875d7397","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:2a32d814e685c9e938f3ee84e1f50221ab9a48241f709cd7350ae960bfeba2a1","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:993053c1dd407efeb5ea12e0fc3f654c39f4fae45bc531089f0c9df32efbb250","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:40.644875Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:5929f3ec17388123d8c08ce48bd27d3ea9bf8edfb3ac62149940c620e33594ce","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-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-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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:40.761079Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:43a0dd70f64d992b982ae6db27a28c9c5e217a2d6d8aed312f77ce24cfcdb082","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-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":{"arxiv_id":"2502.19187","last_updated":"2025-05-06T15:11:32Z","snapshot_observed_at":"2026-08-07T17:46:00.833139Z","submitted_at":"2025-02-26T14:50:50Z","title":"BIG-Bench Extra Hard","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.19187","snapshot_observed_at":"2026-08-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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:f84f3e28c46ac0af2e9f6f8ac968555443faebbd663d758d7367a798728aa445","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:40.946869Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:a61acfee1f2917e6704ddc001b13c592454bc16775560412457470c86c3cdfb5","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-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":{"arxiv_id":"2310.15638","last_updated":"2023-10-24T08:56:49Z","snapshot_observed_at":"2026-08-10T11:54:27.019233Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:8a88e0e68e1d0aff6cd13d935a33f0dd809fbfa08a57e4597e4505546bfb7143","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:68697979bcb22654c8188f983ec3d8bb382fc7fe1a41e2879a1e39688f0b22b8","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-07T14:07:26.838295Z","submitted_at":"2025-05-26T07:59:36Z","title":"SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19641","snapshot_observed_at":"2026-08-05T18:08:41.319741Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:41.319741Z"},"links":{"cited_paper":"/paper/2505.19641","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:ef3322f2ddb657e50c43c4e9045a5a61dde9fa6115bde7739350ea6030d7c4ea","observation_id":"02a35766-af12-45ba-bb43-20ac3394d6f6","resolution":{"observed_at":"2026-08-05T18:08:41.319741Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.03171","last_updated":"2025-05-06T04:32:17Z","snapshot_observed_at":"2026-08-07T23:35:21.461527Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:9be46bcb270480f288f3810e18ccc9a054433dd795f68a1a9cdf79748f86e0fe","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-07-06T14:49:41.442616Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:4f38a759c6dd714522d487bb51adbd4575f8e556380ad25de1f3b540b8448d84","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:41.732035Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:72979d3e10555396cb40536fb75803113a41c32389877bd0a82dcc8b6ef6b639","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-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":{"arxiv_id":"2310.00836","last_updated":"2024-03-31T01:02:55Z","snapshot_observed_at":"2026-07-06T16:26:13.862006Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:df448e2a71e4667d5fb57dd8bc48a1ef02ca683631473e99f65a45a535175917","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:41.957771Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:d6ad803464e8dcfe827a32a5172ba81f752d6e2fcda82dee30a663d23b1aec16","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-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-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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:42.052650Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:85f623f0d90ed1fbae49f7ca6ef497c1c4e348788c8b486e9aacfa7d76f94311","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-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-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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:42.152096Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:b71ba73c9c9171da83ef43267772a8bbad74ba2c39b617aeb1200ac3e866f547","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-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":{"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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:af16cc788541af62322c5b7307f2f6fe61cc4cf296f051898fcd87acdc3ae01f","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-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-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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:42.449970Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:dc884ef1656facd7a645c58b2849f51ab3698664ee5ce616a7d3c94c74f0a85d","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-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":{"arxiv_id":"2410.05229","last_updated":"2025-08-27T16:24:39Z","snapshot_observed_at":"2026-07-06T19:29:09.714725Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:16d9f63ae41968a7500485585c41ec8e5e0e6d9b59ad3151d0bd68479dfea34c","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-09T16:48:07.552220Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:448b0e29da9601577184ba3dcee17abd4b6f0d514cb8d3ff4c61919f4e44e728","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-07-06T02:11:23.670680Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:4a008c56ff35808b5f74349ec12513b8d656b5472d2dde38c3cc88fa3af19f56","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:42.908170Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:0b58caed670c2b4196807e5fbc2f66604e95f00b0bb83a6b98ff87f41403997f","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-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-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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:42.989503Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:cea4a5b39487dcdf9541eb6984145654a564be6c449ae3805f1f5a8ac0cb7205","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-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":{"arxiv_id":"2404.15522","last_updated":"2024-06-06T08:15:54Z","snapshot_observed_at":"2026-08-10T01:19:33.500399Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:b5956562396bb304c17fed02bc38f79e222c640c54d16a38161be3aea1193f78","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:43.172009Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:08493cfe57f9ccc5907eaa2289c22473fe0d51aa7d869cc8ef4ea949b702c235","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-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":{"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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:ba7ba0c3685bfbe0b3ac6135794f66cf26939e7f79bdbf9227d6c1e82cde5a8f","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:43.361741Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:fc883c4dcbd3c9f39fdc9f46474e6c4d23985b3250632a95556187d6077e2e0a","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-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-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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:43.498543Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:3bc536f25fad42d3c6184b5078ee9099f2733c58e1c8d41897fb2c072c70b3e7","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-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-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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:43.604868Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:a39c65fbb201b9cde9ceb1649e24ca50d98665b50227f18ae18777c35d286a1f","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-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-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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:43.717953Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:9df48ec8581fe169a62872932fa6c30437eb88eb77b1ef58ea8311f504d2abf4","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-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":{"arxiv_id":"2409.10702","last_updated":"2024-09-24T05:00:07Z","snapshot_observed_at":"2026-08-01T18:46:22.848985Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:d845bbf7f95789cc00a73a9c44538d94bc6ba288a48b6bac75d1b73d3419954e","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:44.012405Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:d70f97464b7fe0a14d04ae664f4f930cad9cfbe858893b621b2e79edd27ad3fe","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:44.094324Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:8ba26cb2b5d4bed1b453411c5cf9aa056bb69a0a10cf5119f1bd7fa3be748e3b","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-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":{"arxiv_id":"2406.08464","last_updated":"2024-10-07T01:45:38Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:b8dcac68e978edfbc29eeffd2b8824710d014159ed9b2ed57875ee018d9f7cec","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:f8ce3489446168d082037621b3872fef05e5271122e32630a3dabef1e0586b5f","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-07-06T02:11:23.670680Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:4abc32cade524e6f073a755707305d401b55d83e5e879da99c2e1904054441fe","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-07-06T16:40:31.491333Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:7ff1be66e2f68b78f5e936c213c86a6978d8a690ea85a71e49ec17557f3d64a4","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-10T15:38:37.813666Z","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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":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:598609e49aa5643648319880797cb026f9113b4a4e41f3fd12eaa0ff08489ef0","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-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-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-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:47.195987Z"},"links":{"citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:da7efdfed7621df78b192d09aa58baeeec92222011f43377b4c15116827afcfa","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-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"}}],"paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","latest_version":3,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data"},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 57 of 57 outbound references and 0 inbound Pith citation observations for arXiv:2508.15180."}