Pith. sign in

Paper Citation Record · LEDGER

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data

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.

pith.paper-citation-record.v1
2508.15180 v3

Coverage vector

measured 57 of 57 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T18:08:47.195987Z

measured 57 of 57 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

57 of 57 outbound references displayed

  • verified exact3
  • verified fuzzy3
  • unresolved50
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 18202fab-37cc-48fa-9b84-d515911b358c · outbound

This paper cites , " * write output.state after.block = add.period write newline.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data , " * write output.state after.block = add.period write newline

Reference 1

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:38.350837Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:38.350837Z digest=sha256:eb56cb66ad0f3cb1fe457ed34e8504c02128fe700c8ae2bb89a3af2d2ef09a1b

Observation 071432d6-fc37-4904-8af4-9e5e51d6f48a · outbound

This paper cites write newline.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data write newline

Reference 2

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:38.486107Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:38.486107Z digest=sha256:c74b5223e4e101e4046fdd0c8d3de6e8732ce8274af35789a38bc09c1f0a4b42

Observation d681b5cf-172a-41d4-80b5-6e9158722cdb · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 3

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:54.838460Z

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.

source=arxiv_source observed=2026-08-05T18:08:38.587863Z digest=sha256:3f5d93a83256a71c3b5dfb66732d2be5c53547d4631d4720a005e3229041ffca

Observation d5cbb5d4-0f17-480c-812f-aeca1adaa5a6 · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 4

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:54.631770Z

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.

source=arxiv_source observed=2026-08-05T18:08:38.716082Z digest=sha256:16bf9bb1b2e9dd923967581ffdf32fa868f123e5b171b38b95694a3a2c11e0e6

Observation 9e4ce6b6-a4cc-4fff-83f2-aedf2f62713d · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 5

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:54.431839Z

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.

source=arxiv_source observed=2026-08-05T18:08:38.848744Z digest=sha256:6847ef15eaf3b928314fe4e7051d2063a0e2c65bff976a7342663181f1383b2d

Observation 39df3706-5eca-4120-9ad2-f55e573c7420 · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 6

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:54.226018Z

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.

source=arxiv_source observed=2026-08-05T18:08:38.962133Z digest=sha256:e979983a0b655e9204420f22b904d292531e3bf143cc7e110bf4a13438468b43

Observation 03c7e9ae-f32f-4904-8b16-505d1545dd19 · outbound

This paper cites FINEREASON: Evaluating and Improving LLMs' Deliberate Reasoning through Reflective Puzzle Solving.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data FINEREASON: Evaluating and Improving LLMs' Deliberate Reasoning through Reflective Puzzle Solving

Reference 7

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:39.084070Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:39.084070Z digest=sha256:7dfe874ef9c3a15b43768a12a78f80eef8d21b5491508f94a831b6aeb505df04

Observation 1b02b384-a728-4eee-8b39-4036040e13b4 · outbound

This paper cites LR^2Bench: Evaluating Long-chain Reflective Reasoning Capabilities of Large Language Models via Constraint Satisfaction Problems.

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

Resolution
verified exact
local_arxiv, observed 2026-08-05T18:08:48.731621Z

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.

source=arxiv_source observed=2026-08-05T18:08:39.146121Z digest=sha256:7933ac6a1610eb65980d3ececb666c04ed13fcc41e300df559b3d0aafd3e198c

Observation f1e03c3c-9570-4a0d-85d8-caa872750e2a · outbound

This paper cites JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models

Reference 9

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:39.208031Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:39.208031Z digest=sha256:af95e02c619a89d79eb7495fa93fe6c5b280c89a4df6ffa74115ff83ae11b6a5

Observation d9afd7ae-4a5e-4248-acab-06b28a4d20bb · outbound

This paper cites F.; and Mellish, C.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data F.; and Mellish, C

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T18:08:53.977931Z

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.

source=arxiv_source observed=2026-08-05T18:08:39.310857Z digest=sha256:a7debc9547c9f57a7027df1ca31e6fff1f23526f26d7d74e0c0e93d9daa80626

Observation 41c56a87-0d26-4e6e-b498-d520d674909f · outbound

This paper cites LlamBERT: Large-scale low-cost data annotation in NLP.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data LlamBERT: Large-scale low-cost data annotation in NLP

Reference 11

Resolution
verified exact
local_arxiv, observed 2026-08-05T18:08:48.502241Z

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.

source=arxiv_source observed=2026-08-05T18:08:39.478124Z digest=sha256:90b90f5ebac50b29c8a82c45f76d4176a17ef7110d4d648ccbb94d45aaabf164

Observation dcd6498b-a468-4a87-88d2-45d7f790b440 · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 12

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:53.771150Z

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.

source=arxiv_source observed=2026-08-05T18:08:39.595431Z digest=sha256:d888ac2e269cec7e5bea52d33cdcce9c180250e56044ae5f149b222d89dbfa73

Observation 68c9d029-bd40-400d-9c12-34170b35009b · outbound

This paper cites Enhancing Chat Language Models by Scaling High-quality Instructional Conversations.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Enhancing Chat Language Models by Scaling High-quality Instructional Conversations

Reference 13

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:39.723730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:39.723730Z digest=sha256:5b1a525fb69547fbf1dd0bf54a2120d4d8e7a87ca5a923769a08fd6daa23a510

Observation fcba26f5-9cf9-40b2-8d0f-334d8e528520 · outbound

This paper cites Y.; Gangal, V.; Wei, J.; Chandar, S.; Vosoughi, S.; Mitamura, T.; and Hovy, E.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T18:08:53.501238Z

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.

source=arxiv_source observed=2026-08-05T18:08:39.881759Z digest=sha256:8847b6412f3dd06224ea3ede8e5a7571a84f2551dd069c0d5aafa394411752a7

Observation 80ceb50e-6275-4651-aadc-c8cc47b60c82 · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 15

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:53.279025Z

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.

source=arxiv_source observed=2026-08-05T18:08:39.975572Z digest=sha256:88c44fc02c489570313a83fcc7c2db1e30e92d6111d26b4fe44a68e761fe25e2

Observation 4d70833d-65df-4c05-b085-019d2f245917 · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 16

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:53.085222Z

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.

source=arxiv_source observed=2026-08-05T18:08:40.128857Z digest=sha256:67ff7d44a78d6c0d9b0ef1cb1462468873ac879110bb41bd86e89e4e53e29bc3

Observation 0fbb90fd-3409-4f1f-a294-036a53e48e05 · outbound

This paper cites LogicGame: Benchmarking Rule-Based Reasoning Abilities of Large Language Models.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data LogicGame: Benchmarking Rule-Based Reasoning Abilities of Large Language Models

Reference 17

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:40.254125Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:40.254125Z digest=sha256:edac4bd8d5e3994aa8ebece1dac7c3afcfd682872d527371b86603a0b642fdb3

Observation 9cf90564-ac28-44fa-9206-018c3166691b · outbound

This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

Reference 18

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:40.371431Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:40.371431Z digest=sha256:1345bed9e81ca408b8344c179e97b15127b6cf64baa508e6a5bc1534875d7397

Observation b3279034-50a4-4c0c-832b-639a62c4d1dd · outbound

This paper cites OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems.

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

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:40.448183Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:40.448183Z digest=sha256:2a32d814e685c9e938f3ee84e1f50221ab9a48241f709cd7350ae960bfeba2a1

Observation 6f3a2028-9c81-4f53-8c74-b01609cfcb5b · outbound

This paper cites Measuring Mathematical Problem Solving With the MATH Dataset.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Measuring Mathematical Problem Solving With the MATH Dataset

Reference 20

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:40.525981Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:40.525981Z digest=sha256:993053c1dd407efeb5ea12e0fc3f654c39f4fae45bc531089f0c9df32efbb250

Observation ebfadc7b-2ec2-4d3e-b7b4-2db6ebba0880 · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 21

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:52.911804Z

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.

source=arxiv_source observed=2026-08-05T18:08:40.644875Z digest=sha256:5929f3ec17388123d8c08ce48bd27d3ea9bf8edfb3ac62149940c620e33594ce

Observation bc40a585-2fe8-4a3b-945a-89cfd5b7c40e · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 22

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:52.683356Z

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.

source=arxiv_source observed=2026-08-05T18:08:40.761079Z digest=sha256:43a0dd70f64d992b982ae6db27a28c9c5e217a2d6d8aed312f77ce24cfcdb082

Observation 8b2e1b14-a71e-47b6-804f-b2a0955f44f9 · outbound

This paper cites BIG-Bench Extra Hard.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data BIG-Bench Extra Hard

Reference 23

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:40.834563Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:40.834563Z digest=sha256:f84f3e28c46ac0af2e9f6f8ac968555443faebbd663d758d7367a798728aa445

Observation 8aa2da86-0234-45fa-9e72-eab4ab21c13d · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 24

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:52.433058Z

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.

source=arxiv_source observed=2026-08-05T18:08:40.946869Z digest=sha256:a61acfee1f2917e6704ddc001b13c592454bc16775560412457470c86c3cdfb5

Observation 99838d12-b65a-404f-9401-a39b502cd430 · outbound

This paper cites CoAnnotating: Uncertainty-Guided Work Allocation between Human and Large Language Models for Data Annotation.

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

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:41.105141Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:41.105141Z digest=sha256:8a88e0e68e1d0aff6cd13d935a33f0dd809fbfa08a57e4597e4505546bfb7143

Observation 1214942c-ecf5-45eb-8ecb-0b406473a2b1 · outbound

This paper cites Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language.

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

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:41.198061Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:41.198061Z digest=sha256:68697979bcb22654c8188f983ec3d8bb382fc7fe1a41e2879a1e39688f0b22b8

Observation 02a35766-af12-45ba-bb43-20ac3394d6f6 · outbound

This paper cites SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Reference 27

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:41.319741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:41.319741Z digest=sha256:ef3322f2ddb657e50c43c4e9045a5a61dde9fa6115bde7739350ea6030d7c4ea

Observation 411ff25b-e1c7-4732-bc91-1fa4d83bc43f · outbound

This paper cites CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics

Reference 28

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:41.447037Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:41.447037Z digest=sha256:9be46bcb270480f288f3810e18ccc9a054433dd795f68a1a9cdf79748f86e0fe

Observation f725b00f-2176-4e01-91fc-fc1934f3e1a8 · outbound

This paper cites Machine Learning for Synthetic Data Generation: A Review.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Machine Learning for Synthetic Data Generation: A Review

Reference 29

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:41.580224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:41.580224Z digest=sha256:4f38a759c6dd714522d487bb51adbd4575f8e556380ad25de1f3b540b8448d84

Observation c02b4e6d-3fcd-4cf1-a26f-dc106f35a96c · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 30

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:52.199509Z

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.

source=arxiv_source observed=2026-08-05T18:08:41.732035Z digest=sha256:72979d3e10555396cb40536fb75803113a41c32389877bd0a82dcc8b6ef6b639

Observation 91e31433-f523-4c08-bb63-6fcedcb01bdd · outbound

This paper cites Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language Models.

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

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:41.823881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:41.823881Z digest=sha256:df448e2a71e4667d5fb57dd8bc48a1ef02ca683631473e99f65a45a535175917

Observation 86435a2b-859f-4939-b34f-f6a3631aef17 · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 32

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:51.948678Z

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.

source=arxiv_source observed=2026-08-05T18:08:41.957771Z digest=sha256:d6ad803464e8dcfe827a32a5172ba81f752d6e2fcda82dee30a663d23b1aec16

Observation d70eae2d-46bc-46e3-9b26-cdaf0e8637b7 · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 33

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:51.708663Z

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.

source=arxiv_source observed=2026-08-05T18:08:42.052650Z digest=sha256:85f623f0d90ed1fbae49f7ca6ef497c1c4e348788c8b486e9aacfa7d76f94311

Observation 51f7223d-6b68-4104-8841-47b8497ad381 · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 34

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:51.428466Z

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.

source=arxiv_source observed=2026-08-05T18:08:42.152096Z digest=sha256:b71ba73c9c9171da83ef43267772a8bbad74ba2c39b617aeb1200ac3e866f547

Observation 4159ac79-03be-4a2c-8dc1-2782c2d4f998 · outbound

This paper cites Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku

Reference 35

Resolution
metadata mismatch
local_arxiv, observed 2026-08-05T18:08:48.065869Z

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.

source=arxiv_source observed=2026-08-05T18:08:42.320028Z digest=sha256:af16cc788541af62322c5b7307f2f6fe61cc4cf296f051898fcd87acdc3ae01f

Observation f0b26f41-4ab0-4af6-bc2d-d6d3ed6c8233 · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 36

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:51.208406Z

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.

source=arxiv_source observed=2026-08-05T18:08:42.449970Z digest=sha256:dc884ef1656facd7a645c58b2849f51ab3698664ee5ce616a7d3c94c74f0a85d

Observation d3b2601b-e53f-47c7-af92-9da90f7cd2cb · outbound

This paper cites GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

Reference 37

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:42.556231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:42.556231Z digest=sha256:16d9f63ae41968a7500485585c41ec8e5e0e6d9b59ad3151d0bd68479dfea34c

Observation 044de025-daf2-46f3-99d2-bf13c184a109 · outbound

This paper cites FCoReBench: Can Large Language Models Solve Challenging First-Order Combinatorial Reasoning Problems?.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data FCoReBench: Can Large Language Models Solve Challenging First-Order Combinatorial Reasoning Problems?

Reference 38

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:42.697524Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:42.697524Z digest=sha256:448b0e29da9601577184ba3dcee17abd4b6f0d514cb8d3ff4c61919f4e44e728

Observation 46db7475-f47b-4c37-82e5-5ed5940fbe72 · outbound

This paper cites GPT-4o System Card.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data GPT-4o System Card

Reference 39

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:42.816038Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:42.816038Z digest=sha256:4a008c56ff35808b5f74349ec12513b8d656b5472d2dde38c3cc88fa3af19f56

Observation 48caaf3b-4c49-4b47-9780-3b61d80c83ce · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 40

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:50.963662Z

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.

source=arxiv_source observed=2026-08-05T18:08:42.908170Z digest=sha256:0b58caed670c2b4196807e5fbc2f66604e95f00b0bb83a6b98ff87f41403997f

Observation bb98ae7e-8c8e-4b46-a4f6-cb3470b2fff2 · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 41

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:50.657269Z

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.

source=arxiv_source observed=2026-08-05T18:08:42.989503Z digest=sha256:cea4a5b39487dcdf9541eb6984145654a564be6c449ae3805f1f5a8ac0cb7205

Observation f43b4129-4a13-48a5-b28b-1a658df5655a · outbound

This paper cites LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models

Reference 42

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:43.092102Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:43.092102Z digest=sha256:b5956562396bb304c17fed02bc38f79e222c640c54d16a38161be3aea1193f78

Observation 31c4b37c-ea54-47dc-8960-af0521c1b4b3 · outbound

This paper cites R.; Mozer, M.; Bengio, Y.; Arora, S.; and Goyal, A.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data R.; Mozer, M.; Bengio, Y.; Arora, S.; and Goyal, A

Reference 43

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T18:08:50.441392Z

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.

source=arxiv_source observed=2026-08-05T18:08:43.172009Z digest=sha256:08493cfe57f9ccc5907eaa2289c22473fe0d51aa7d869cc8ef4ea949b702c235

Observation 724f6e7c-072e-49b7-a74d-f61519bcce65 · outbound

This paper cites DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

Reference 44

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:43.258547Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:43.258547Z digest=sha256:ba7ba0c3685bfbe0b3ac6135794f66cf26939e7f79bdbf9227d6c1e82cde5a8f

Observation be5d8c07-9e39-4ff0-91dd-94111e2df6de · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 45

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:50.122783Z

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.

source=arxiv_source observed=2026-08-05T18:08:43.361741Z digest=sha256:fc883c4dcbd3c9f39fdc9f46474e6c4d23985b3250632a95556187d6077e2e0a

Observation 3516e2d2-ae8e-4d25-9201-3680bee9c100 · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 46

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:49.859286Z

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.

source=arxiv_source observed=2026-08-05T18:08:43.498543Z digest=sha256:3bc536f25fad42d3c6184b5078ee9099f2733c58e1c8d41897fb2c072c70b3e7

Observation 5f11db80-6f2d-4cd8-a8a9-e23eefa67094 · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 47

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:49.627436Z

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.

source=arxiv_source observed=2026-08-05T18:08:43.604868Z digest=sha256:a39c65fbb201b9cde9ceb1649e24ca50d98665b50227f18ae18777c35d286a1f

Observation 72ab9a19-0aa5-4d05-b0bf-c9da57ca2a3e · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 48

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:49.407127Z

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.

source=arxiv_source observed=2026-08-05T18:08:43.717953Z digest=sha256:9df48ec8581fe169a62872932fa6c30437eb88eb77b1ef58ea8311f504d2abf4

Observation e1694ad8-8121-4e03-9066-c0c19ab48bfc · outbound

This paper cites Model-in-the-Loop (MILO): Accelerating Multimodal AI Data Annotation with LLMs.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Model-in-the-Loop (MILO): Accelerating Multimodal AI Data Annotation with LLMs

Reference 49

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:43.808786Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:43.808786Z digest=sha256:d845bbf7f95789cc00a73a9c44538d94bc6ba288a48b6bac75d1b73d3419954e

Observation 80920442-ca79-4d67-a4af-294089e91f35 · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 51

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:44.012405Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:44.012405Z digest=sha256:d70f97464b7fe0a14d04ae664f4f930cad9cfbe858893b621b2e79edd27ad3fe

Observation 54aa4805-1a4c-4aaa-98fc-8853f500e7b0 · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 52

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:49.183317Z

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.

source=arxiv_source observed=2026-08-05T18:08:44.094324Z digest=sha256:8ba26cb2b5d4bed1b453411c5cf9aa056bb69a0a10cf5119f1bd7fa3be748e3b

Observation 05f4d6a0-143e-4dd3-9433-21f693dda248 · outbound

This paper cites Magpie: Alignment Data Synthesis from Scratch by Prompting Aligned LLMs with Nothing.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Magpie: Alignment Data Synthesis from Scratch by Prompting Aligned LLMs with Nothing

Reference 53

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:44.181140Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:44.181140Z digest=sha256:b8dcac68e978edfbc29eeffd2b8824710d014159ed9b2ed57875ee018d9f7cec

Observation 82b79047-02f8-4cc7-9711-038091c25e89 · outbound

This paper cites Qwen3 Technical Report.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Qwen3 Technical Report

Reference 54

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:44.250438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:44.250438Z digest=sha256:f8ce3489446168d082037621b3872fef05e5271122e32630a3dabef1e0586b5f

Observation 9e177528-77e6-47be-80b8-d0e383c31754 · outbound

This paper cites Qwen2.5 Technical Report.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Qwen2.5 Technical Report

Reference 55

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:44.338641Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:44.338641Z digest=sha256:4abc32cade524e6f073a755707305d401b55d83e5e879da99c2e1904054441fe

Observation 2fa23572-8b6e-4eac-bccd-62e4c9a3ae38 · outbound

This paper cites LLMaAA: Making Large Language Models as Active Annotators.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data LLMaAA: Making Large Language Models as Active Annotators

Reference 56

Resolution
unresolved
no resolver link, observed 2026-08-05T18:08:44.843029Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T18:08:44.843029Z digest=sha256:7ff1be66e2f68b78f5e936c213c86a6978d8a690ea85a71e49ec17557f3d64a4

Observation e05510e5-49f7-405a-8cf2-ab54a598fc20 · outbound

This paper cites A Survey on Machine Learning Techniques for Auto Labeling of Video, Audio, and Text Data.

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

Resolution
verified exact
local_arxiv, observed 2026-08-05T18:08:47.498927Z

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.

source=arxiv_source observed=2026-08-05T18:08:47.108048Z digest=sha256:9e606682d3bae18560aae722f477195c0ae9ebab1546fc13309197134a32a976

Observation 0117aa3d-8af5-4732-855b-5a450c0299fb · outbound

This paper cites an unresolved cited work.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Unresolved cited work

Reference 58

Resolution
unresolved
raw_fallback, observed 2026-08-05T18:08:48.975849Z

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.

source=arxiv_source observed=2026-08-05T18:08:47.195987Z digest=sha256:da7efdfed7621df78b192d09aa58baeeec92222011f43377b4c15116827afcfa

Pith citing papers

No inbound Pith citation observations are available.