Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T18:08:47.195987Z
Paper Citation Record · LEDGER
As of 10 August 2026, this Paper Citation Record lists 57 of 57 outbound references and 0 inbound Pith citation observations for arXiv:2508.15180.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T18:08:47.195987Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
57 of 57 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 18202fab-37cc-48fa-9b84-d515911b358c · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data , " * write output.state after.block = add.period write newline
Reference 1
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 071432d6-fc37-4904-8af4-9e5e51d6f48a · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data write newline
Reference 2
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d681b5cf-172a-41d4-80b5-6e9158722cdb · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation d5cbb5d4-0f17-480c-812f-aeca1adaa5a6 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 9e4ce6b6-a4cc-4fff-83f2-aedf2f62713d · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 39df3706-5eca-4120-9ad2-f55e573c7420 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 03c7e9ae-f32f-4904-8b16-505d1545dd19 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data FINEREASON: Evaluating and Improving LLMs' Deliberate Reasoning through Reflective Puzzle Solving
Reference 7
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1b02b384-a728-4eee-8b39-4036040e13b4 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data LR^2Bench: Evaluating Long-chain Reflective Reasoning Capabilities of Large Language Models via Constraint Satisfaction Problems
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation f1e03c3c-9570-4a0d-85d8-caa872750e2a · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
Reference 9
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d9afd7ae-4a5e-4248-acab-06b28a4d20bb · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data F.; and Mellish, C
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 41c56a87-0d26-4e6e-b498-d520d674909f · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data LlamBERT: Large-scale low-cost data annotation in NLP
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation dcd6498b-a468-4a87-88d2-45d7f790b440 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 68c9d029-bd40-400d-9c12-34170b35009b · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Enhancing Chat Language Models by Scaling High-quality Instructional Conversations
Reference 13
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fcba26f5-9cf9-40b2-8d0f-334d8e528520 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Y.; Gangal, V.; Wei, J.; Chandar, S.; Vosoughi, S.; Mitamura, T.; and Hovy, E
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 80ceb50e-6275-4651-aadc-c8cc47b60c82 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 4d70833d-65df-4c05-b085-019d2f245917 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 0fbb90fd-3409-4f1f-a294-036a53e48e05 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data LogicGame: Benchmarking Rule-Based Reasoning Abilities of Large Language Models
Reference 17
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9cf90564-ac28-44fa-9206-018c3166691b · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
Reference 18
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b3279034-50a4-4c0c-832b-639a62c4d1dd · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems
Reference 19
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6f3a2028-9c81-4f53-8c74-b01609cfcb5b · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Measuring Mathematical Problem Solving With the MATH Dataset
Reference 20
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ebfadc7b-2ec2-4d3e-b7b4-2db6ebba0880 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation bc40a585-2fe8-4a3b-945a-89cfd5b7c40e · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 8b2e1b14-a71e-47b6-804f-b2a0955f44f9 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data BIG-Bench Extra Hard
Reference 23
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8aa2da86-0234-45fa-9e72-eab4ab21c13d · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 99838d12-b65a-404f-9401-a39b502cd430 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data CoAnnotating: Uncertainty-Guided Work Allocation between Human and Large Language Models for Data Annotation
Reference 25
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1214942c-ecf5-45eb-8ecb-0b406473a2b1 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language
Reference 26
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 02a35766-af12-45ba-bb43-20ac3394d6f6 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond
Reference 27
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 411ff25b-e1c7-4732-bc91-1fa4d83bc43f · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
Reference 28
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f725b00f-2176-4e01-91fc-fc1934f3e1a8 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Machine Learning for Synthetic Data Generation: A Review
Reference 29
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c02b4e6d-3fcd-4cf1-a26f-dc106f35a96c · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 91e31433-f523-4c08-bb63-6fcedcb01bdd · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language Models
Reference 31
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 86435a2b-859f-4939-b34f-f6a3631aef17 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation d70eae2d-46bc-46e3-9b26-cdaf0e8637b7 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 51f7223d-6b68-4104-8841-47b8497ad381 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 4159ac79-03be-4a2c-8dc1-2782c2d4f998 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation f0b26f41-4ab0-4af6-bc2d-d6d3ed6c8233 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation d3b2601b-e53f-47c7-af92-9da90f7cd2cb · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models
Reference 37
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 044de025-daf2-46f3-99d2-bf13c184a109 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data FCoReBench: Can Large Language Models Solve Challenging First-Order Combinatorial Reasoning Problems?
Reference 38
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 46db7475-f47b-4c37-82e5-5ed5940fbe72 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data GPT-4o System Card
Reference 39
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 48caaf3b-4c49-4b47-9780-3b61d80c83ce · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation bb98ae7e-8c8e-4b46-a4f6-cb3470b2fff2 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation f43b4129-4a13-48a5-b28b-1a658df5655a · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models
Reference 42
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 31c4b37c-ea54-47dc-8960-af0521c1b4b3 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data R.; Mozer, M.; Bengio, Y.; Arora, S.; and Goyal, A
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 724f6e7c-072e-49b7-a74d-f61519bcce65 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
Reference 44
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation be5d8c07-9e39-4ff0-91dd-94111e2df6de · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 3516e2d2-ae8e-4d25-9201-3680bee9c100 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 46
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 5f11db80-6f2d-4cd8-a8a9-e23eefa67094 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 47
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 72ab9a19-0aa5-4d05-b0bf-c9da57ca2a3e · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation e1694ad8-8121-4e03-9066-c0c19ab48bfc · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Model-in-the-Loop (MILO): Accelerating Multimodal AI Data Annotation with LLMs
Reference 49
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 80920442-ca79-4d67-a4af-294089e91f35 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 51
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 54aa4805-1a4c-4aaa-98fc-8853f500e7b0 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 52
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 05f4d6a0-143e-4dd3-9433-21f693dda248 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Magpie: Alignment Data Synthesis from Scratch by Prompting Aligned LLMs with Nothing
Reference 53
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 82b79047-02f8-4cc7-9711-038091c25e89 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Qwen3 Technical Report
Reference 54
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9e177528-77e6-47be-80b8-d0e383c31754 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Qwen2.5 Technical Report
Reference 55
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2fa23572-8b6e-4eac-bccd-62e4c9a3ae38 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data LLMaAA: Making Large Language Models as Active Annotators
Reference 56
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e05510e5-49f7-405a-8cf2-ab54a598fc20 · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data A Survey on Machine Learning Techniques for Auto Labeling of Video, Audio, and Text Data
Reference 57
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 0117aa3d-8af5-4732-855b-5a450c0299fb · outbound
PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work
Reference 58
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
No inbound Pith citation observations are available.