Paper Citation Record · LEDGER

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

As of 23 August 2026, this Paper Citation Record lists 100 of 168 outbound references and 18 inbound Pith citation observations for arXiv:2505.19914.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2505.19914 v2

Coverage vector

measured 100 of 168 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T14:11:16.465039Z

measured 118 of 118 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 18 of 18 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-15T19:45:49.982331Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

100 of 168 outbound references displayed

verified exact0
verified fuzzy0
unresolved99
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation 33192636-7d6b-414d-878e-7b9fdc7966c3 · outbound

This paper cites Learning to reason with llms, 2024.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Learning to reason with llms, 2024

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:06.445529Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bb48a08-c319-40be-abf6-9e8a0374b455 · outbound

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

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:06.524378Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c5338b7-0d03-407a-971e-796b9ec37e15 · outbound

This paper cites Gemini 2.5: Our most intelligent ai model, 2025.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Gemini 2.5: Our most intelligent ai model, 2025

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:06.583464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cd1d49d-6273-4fde-bc99-2aa1f6eb39b5 · outbound

This paper cites Claude 3.7 sonnet and claude code, 2025.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Claude 3.7 sonnet and claude code, 2025

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:06.656669Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b03def27-90fa-4123-ac35-629327e48381 · outbound

This paper cites Seed-thinking-v1.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Seed-thinking-v1

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:06.715016Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b402227-a144-481c-b7f7-da4da9a64e55 · outbound

This paper cites KodCode: A Diverse, Challenging, and Verifiable Synthetic Dataset for Coding.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles KodCode: A Diverse, Challenging, and Verifiable Synthetic Dataset for Coding

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:06.837138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f97a8a18-1b56-469a-95f7-1f54877170e9 · outbound

This paper cites Big-Math: A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Big-Math: A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:06.937762Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47ca4cc8-1c8d-415c-83dd-6c6f436c1ff2 · outbound

This paper cites DeepMath-103K: A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles DeepMath-103K: A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:07.012578Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4ff7f47-226e-4b7e-baac-40f6b0a86f32 · outbound

This paper cites On the Measure of Intelligence.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles On the Measure of Intelligence

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:07.117139Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4cca57b7-d88f-4151-bac9-e85fb5ba7eff · outbound

This paper cites ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:07.219581Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2d43e4d-27b9-4751-84bb-553bc8e6d316 · outbound

This paper cites KOR-Bench: Benchmarking Language Models on Knowledge-Orthogonal Reasoning Tasks.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles KOR-Bench: Benchmarking Language Models on Knowledge-Orthogonal Reasoning Tasks

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:07.323944Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7048aff-2994-4fab-b49a-1c15a5bd0f91 · outbound

This paper cites Phd knowledge not required: A reasoning challenge for large language models.arXiv preprint arXiv:2502.01584, 2025.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Phd knowledge not required: A reasoning challenge for large language models.arXiv preprint arXiv:2502.01584, 2025

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:07.391545Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef5445b4-35ed-47c1-af80-83b6cb31ef9f · outbound

This paper cites Navigating the labyrinth: Evaluating and enhancing llms’ ability to reason about search problems.arXiv preprint arXiv:2406.12172, 2024.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Navigating the labyrinth: Evaluating and enhancing llms’ ability to reason about search problems.arXiv preprint arXiv:2406.12172, 2024

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:07.477160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c97a62c-9af4-4d39-998e-178294fde0c7 · outbound

This paper cites Fcorebench: Can large language models solve challenging first-order combinatorial reasoning problems?, 2025.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Fcorebench: Can large language models solve challenging first-order combinatorial reasoning problems?, 2025

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:07.550954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b518538-8457-4daf-b81e-da774d5e8b9d · outbound

This paper cites Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement Learning.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement Learning

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:07.622997Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e09c0de-7e9d-4df0-b7e4-348375626a39 · outbound

This paper cites Tinyzero.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Tinyzero

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:07.711505Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf2a876a-8673-4574-bf99-257baa2463be · outbound

This paper cites Qwen2.5: A party of foundation models, September 2024.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Qwen2.5: A party of foundation models, September 2024

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:07.784463Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78f47263-ff72-4e97-99cf-a01ba13c537e · outbound

This paper cites Kimi k1.5: Scaling Reinforcement Learning with LLMs.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Kimi k1.5: Scaling Reinforcement Learning with LLMs

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:07.908119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e52cbf45-a0a6-4b75-9057-32083e2e5187 · outbound

This paper cites VAPO: Efficient and Reliable Reinforcement Learning for Advanced Reasoning Tasks.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles VAPO: Efficient and Reliable Reinforcement Learning for Advanced Reasoning Tasks

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:08.003933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 798cd88d-0aea-4720-b162-2f587ba6f6d6 · outbound

This paper cites DAPO: An Open-Source LLM Reinforcement Learning System at Scale.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles DAPO: An Open-Source LLM Reinforcement Learning System at Scale

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:08.074540Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4d6abb8-e2c8-4b86-9f0a-79d5055d20c7 · outbound

This paper cites Understanding R1-Zero-Like Training: A Critical Perspective.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Understanding R1-Zero-Like Training: A Critical Perspective

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:08.178822Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a185f65c-5583-4836-80de-d2d4db534dfa · outbound

This paper cites Open-Reasoner-Zero: An Open Source Approach to Scaling Up Reinforcement Learning on the Base Model.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Open-Reasoner-Zero: An Open Source Approach to Scaling Up Reinforcement Learning on the Base Model

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:08.263842Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e273c41-f54d-4477-bad2-0cc70f8dd13a · outbound

This paper cites Code-r1: Reproducing r1 for code with reliable rewards.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Code-r1: Reproducing r1 for code with reliable rewards

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:08.367062Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb8c7dc4-7cbe-4a72-bf1b-805133e9f0e8 · outbound

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

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles FINEREASON: Evaluating and Improving LLMs' Deliberate Reasoning through Reflective Puzzle Solving

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:08.468097Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8856ecee-773a-4402-af51-524776682f52 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Evaluating Large Language Models Trained on Code

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:08.549000Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e388259d-75d6-4547-ad1f-4b7ae83df85b · outbound

This paper cites Exploring Data Scaling Trends and Effects in Reinforcement Learning from Human Feedback.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Exploring Data Scaling Trends and Effects in Reinforcement Learning from Human Feedback

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:08.621282Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23e5691b-44e0-4ce7-9053-3e279ee4a55b · outbound

This paper cites Abstraction and reasoning corpus for artificial general intelligence v2 (arc-agi-2).

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Abstraction and reasoning corpus for artificial general intelligence v2 (arc-agi-2)

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:08.721704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28c8782f-2b2e-43bf-b38f-0383ac676e04 · outbound

This paper cites Light-R1: Curriculum SFT, DPO and RL for Long COT from Scratch and Beyond.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Light-R1: Curriculum SFT, DPO and RL for Long COT from Scratch and Beyond

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:08.796570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bac26cf-a7c9-457e-b4af-6384c8746ff6 · outbound

This paper cites What's Behind PPO's Collapse in Long-CoT? Value Optimization Holds the Secret.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles What's Behind PPO's Collapse in Long-CoT? Value Optimization Holds the Secret

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:08.843880Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c04e282-be10-4cf0-af42-e54448e97909 · outbound

This paper cites Proximal Policy Optimization Algorithms.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Proximal Policy Optimization Algorithms

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:08.885922Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09b4ef5c-2afa-4038-9e09-934eb5007696 · outbound

This paper cites Qwq-32b: Embracing the power of reinforcement learning, March 2025.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Qwq-32b: Embracing the power of reinforcement learning, March 2025

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:08.937064Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99f00343-8616-477e-9b30-af3f5e079a75 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:08.983552Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1556dec6-4824-4aab-845a-d0f93b847079 · outbound

This paper cites Reinforcement Learning for Reasoning in Large Language Models with One Training Example.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Reinforcement Learning for Reasoning in Large Language Models with One Training Example

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:09.039778Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc6ed9a2-0376-4df1-8f06-e415e28f27c2 · outbound

This paper cites Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:09.098919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38c87261-2b2b-4aa2-8622-fc70131ff233 · outbound

This paper cites A Survey on Test-Time Scaling in Large Language Models: What, How, Where, and How Well?.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles A Survey on Test-Time Scaling in Large Language Models: What, How, Where, and How Well?

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:09.143459Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36839fee-c8db-4abf-ba2e-51dc6d5c2dd6 · outbound

This paper cites A survey of reinforcement learning from human feedback.arXiv preprint arXiv:2312.14925, 10, 2023.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles A survey of reinforcement learning from human feedback.arXiv preprint arXiv:2312.14925, 10, 2023

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:09.214951Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e62e1b2-2061-4b3b-92f4-50ca2b902c71 · outbound

This paper cites Gonzalez, Hao Zhang, and Ion Stoica.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Gonzalez, Hao Zhang, and Ion Stoica

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:09.280687Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0934d3ac-eb29-4972-bd84-749a5e24bdb0 · outbound

This paper cites GPT-4 Technical Report.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles GPT-4 Technical Report

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:09.325963Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f8e1f5e-e97f-448d-a769-4b308c864bd4 · outbound

This paper cites Bringing grok to everyone, 2025.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Bringing grok to everyone, 2025

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:09.365432Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54e11c17-13f4-491e-977e-e20987755d82 · outbound

This paper cites full_crossword_puzzles.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles full_crossword_puzzles

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:09.390569Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 328f412d-7d85-4ac9-a546-c566e0f45b96 · outbound

This paper cites Assessing and Enhancing the Robustness of Large Language Models with Task Structure Variations for Logical Reasoning.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Assessing and Enhancing the Robustness of Large Language Models with Task Structure Variations for Logical Reasoning

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:09.497498Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 119322da-14fe-41a5-9fac-6b3849676d7b · outbound

This paper cites Large language models are not strong abstract reasoners.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Large language models are not strong abstract reasoners

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:09.555491Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76c21590-6993-4afa-8d13-ce025276b4de · outbound

This paper cites Beyond the imitation game: Quantifying and extrapolating the capabilities of language models.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Beyond the imitation game: Quantifying and extrapolating the capabilities of language models

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:09.627950Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 051453fc-a2af-42ce-a679-d0129a91f7a0 · outbound

This paper cites A puzzle-based dataset for natural language inference.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles A puzzle-based dataset for natural language inference

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:09.718520Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dcaac41e-6170-4752-9e5f-151d9d1a7e9d · outbound

This paper cites FOLIO: Natural Language Reasoning with First-Order Logic.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles FOLIO: Natural Language Reasoning with First-Order Logic

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:09.786756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56504320-7c22-40d6-976c-0bd6d22fed6b · outbound

This paper cites These tasks typically involve complex reasoning chains or require integrating multiple constraints, making them suitable for long-horizon learning.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles These tasks typically involve complex reasoning chains or require integrating multiple constraints, making them suitable for long-horizon learning

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:09.835556Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4df4467-0887-45d1-86df-4bf9a96ec8ac · outbound

This paper cites This stratification indicates that the difficulty scaling mechanism is practical and yields meaningful distinctions in learning complexity.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles This stratification indicates that the difficulty scaling mechanism is practical and yields meaningful distinctions in learning complexity

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:09.903235Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f713c4d7-770a-433c-b32b-7508270247c1 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 48

Resolution: malformed identifier; no resolver link, observed 2026-08-07T14:11:09.978096Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db8eebf8-a7f8-4914-85f2-4e4d2048a5f6 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:10.049486Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a1d033a-d4b6-4a81-a75d-be4b5d145b1c · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:10.140746Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 596ab9a7-29f6-4ebe-a300-c4d0a030bfc3 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:10.261758Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0f8333b-010a-4369-a789-4f775361335a · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:10.420382Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33eea9c9-e2ac-4cf2-9a1e-b45952b5475f · outbound

This paper cites Task : Solve the f o l l o w i n g Binario puzzle by filling in the missing cells ( denoted by " _ ") with 0 s and 1 s a c c o r d i n g to the rules above.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Task : Solve the f o l l o w i n g Binario puzzle by filling in the missing cells ( denoted by " _ ") with 0 s and 1 s a c c o r d i n g to the rules above

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:10.511587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a359201-0c37-487f-a337-1855699fcaad · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:10.583772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0759385d-e091-4ed0-8b4c-b20a3d4cc77a · outbound

This paper cites (2) No tent can be horizontally , v e r t i c a l l y or d i a g o n a l l y a dj ac ent to another tent.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles (2) No tent can be horizontally , v e r t i c a l l y or d i a g o n a l l y a dj ac ent to another tent

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:10.682642Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9f4c6a7-e63b-435e-bfd7-313f27a5ba72 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:10.821868Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c79ff87-1503-4aca-9a1a-8aa450e8506a · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:10.913098Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b06f544d-d460-44ee-97c7-9aeea38941c6 · outbound

This paper cites Task : - Place tents on the empty spaces a c c o r d i n g to the given grid and rules.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Task : - Place tents on the empty spaces a c c o r d i n g to the given grid and rules

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:11.012948Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdc81f0f-a250-4028-b234-887e4e10e572 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:11.120313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0693ecbf-7866-4d6b-8e29-468433befe8c · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:11.257676Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2fa08c3-0ae5-4fb1-a616-a03d411b45d5 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:11.379207Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82c4db0b-097d-46d4-b4db-ad0149be0774 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:11.482777Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c23261e-096a-40d0-beab-e2fb386464b9 · outbound

This paper cites Task : - Fill the blank cells a c c o r d i n g to the given numbers and rules.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Task : - Fill the blank cells a c c o r d i n g to the given numbers and rules

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:11.580966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 002bb675-e02a-49a3-ba73-6f6a17dee110 · outbound

This paper cites Each cell r e p r e s e n t s a building , and the bu il di ng height is r e p r e s e n t e d by a number ranging from 1 to n , where n is the size of the matrix.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Each cell r e p r e s e n t s a building , and the bu il di ng height is r e p r e s e n t e d by a number ranging from 1 to n , where n is the size of the matrix

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:11.727789Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef3981f0-a85d-47af-9ca4-f0b1b61a3ba2 · outbound

This paper cites Each number can only appear once in a row or column , similar to Sudoku c o n s t r a i n t s.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Each number can only appear once in a row or column , similar to Sudoku c o n s t r a i n t s

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:11.887866Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e08a09f-c81b-4d71-bb51-85d293129bc1 · outbound

This paper cites Taller b u i l d i n g s block the view of shorter b u i l d i n g s behind them.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Taller b u i l d i n g s block the view of shorter b u i l d i n g s behind them

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:12.050993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76d80a7f-1044-4d25-bf11-a1158e2fb7a9 · outbound

This paper cites Example :.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Example :

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:12.170407Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bfb1a5d-970a-4da4-ba3b-776c4bf38f2f · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:12.282864Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b566a30c-39af-40bc-8682-6fcf3e3b0f8a · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:12.505975Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e4ada6b-e37f-4b80-927a-2ae004b7c3c5 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:12.646642Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86cf99ed-aec3-49d2-a872-a1c662e49124 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:12.747943Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2d809de-b6d8-4201-85fd-3bcafd29eff6 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:12.885532Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11fdbdd4-f648-437c-af6a-3359beaca568 · outbound

This paper cites Each cell r e p r e s e n t s a building , with its height r e p r e s e n t e d by a number ranging from 1 to n , where n is the length of the matrix side.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Each cell r e p r e s e n t s a building , with its height r e p r e s e n t e d by a number ranging from 1 to n , where n is the length of the matrix side

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:13.002822Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30546bc9-c8ed-48b4-8892-954e377f1136 · outbound

This paper cites Each number can only appear once in a row or column , similar to Sudoku c o n s t r a i n t s.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Each number can only appear once in a row or column , similar to Sudoku c o n s t r a i n t s

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:13.089313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 780f8a27-3f31-46df-8f17-3e30900210dc · outbound

This paper cites Taller b u i l d i n g s will block shorter b u i l d i n g s behind them.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Taller b u i l d i n g s will block shorter b u i l d i n g s behind them

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:13.148937Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33e763b2-1b67-40b1-9755-b0c3532fa17d · outbound

This paper cites Example :.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Example :

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:13.294425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4a0e4ed-2444-43a1-96bb-1ac9a632ced3 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:13.495683Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e39cc92-4582-46dd-a6b9-798277c5218d · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:13.665049Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 096c6639-6225-4666-84d1-afc90156da5a · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:13.787130Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ca3429c-b19d-4d56-872b-aeb2ce848425 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:13.960012Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49ba4aa0-04c0-4f8e-ab82-12a57203ae19 · outbound

This paper cites no valid s olu ti on.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles no valid s olu ti on

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:14.109359Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bd054b1-d49e-4824-8c11-c42d1063cc7a · outbound

This paper cites - Empty cells are denoted by ’.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles - Empty cells are denoted by ’

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:14.265698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ce36659-05cb-4af3-b245-94107e43a05a · outbound

This paper cites - Blocked cells cannot contain stars.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles - Blocked cells cannot contain stars

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:14.387552Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98cb044f-e75d-45ee-b8f0-02e5186d0f69 · outbound

This paper cites - No two stars can be in the same row or column.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles - No two stars can be in the same row or column

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:14.504699Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed7116a8-ae52-4d69-9eca-b230e9700233 · outbound

This paper cites - Row - wise a d j a c e n c y : two stars are in the same row , and there is no empty cell between them.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles - Row - wise a d j a c e n c y : two stars are in the same row , and there is no empty cell between them

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:14.640362Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c64ff31-5444-4c10-9a38-655fc5570a61 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:14.891691Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b645786b-25bc-49dd-afac-1cf747fce213 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:15.054915Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 12167fc8-89e2-42bf-bdf8-fb58a7911ff3 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:15.248254Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 524d5f36-f061-42e0-9d01-95a8743494e7 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:15.409115Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d358fcb-a2be-472d-8738-817971d7add6 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:15.507722Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2efccaf5-54f6-4f69-991c-c33a7ae56a21 · outbound

This paper cites Task : - Find a valid Sudoku so lu tio n for the given puzzle.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Task : - Find a valid Sudoku so lu tio n for the given puzzle

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:15.565887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2d188cd-2eb2-4d30-b892-28fad50202d8 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:15.676799Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a7b7c80-7f3b-478c-bc89-dee7dc7e740f · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:15.790827Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4ac7f78-aa1c-47ed-99e9-459127a139e0 · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:15.911705Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d6c09fa-1832-453f-a699-3d78cb5f9d5a · outbound

This paper cites an unresolved cited work.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Unresolved cited work

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:16.011853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08950340-8cc8-4ecd-86db-ac23def91bc2 · outbound

This paper cites Task : - Find a valid Sudoku so lu tio n for the given puzzle.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Task : - Find a valid Sudoku so lu tio n for the given puzzle

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:16.113344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1a547b5-8690-4c82-89dd-173bdc307a38 · outbound

This paper cites - Blocked spaces ( ’* ’) must remain u n c h a n g e d and cannot contain any letters.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles - Blocked spaces ( ’* ’) must remain u n c h a n g e d and cannot contain any letters

Reference 98

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:16.230683Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b1f516a-b2cc-401c-8241-fc2e50da8a67 · outbound

This paper cites These words c o r r e s p o n d to across clues in order from top to bottom.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles These words c o r r e s p o n d to across clues in order from top to bottom

Reference 99

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:16.309184Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 366fe5fd-f41d-4f97-8290-3bdfeda34886 · outbound

This paper cites across.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles across

Reference 100

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:16.393944Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ebf075b-c368-4e9d-b94e-f5969d845d30 · outbound

This paper cites London fa rew el l !.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles London fa rew el l !

Reference 101

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:16.465039Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 9d5a8a18-740a-4779-9825-8fa302903217 · inbound

ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs cites this paper.

ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T19:45:49.982331Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd4291e8-8156-4eed-a22b-59ee16b57e10 · inbound

Pass@k Training for Adaptively Balancing Exploration and Exploitation of Large Reasoning Models cites this paper.

Pass@k Training for Adaptively Balancing Exploration and Exploitation of Large Reasoning Models Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-05T20:21:04.915607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5b5ccbf-b8d3-43df-b2f1-c22b04f2d239 · inbound

Mirage or Method? How Model-Task Alignment Induces Divergent RL Conclusions cites this paper.

Mirage or Method? How Model-Task Alignment Induces Divergent RL Conclusions Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-05T14:35:50.493578Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de6e995a-f919-4c45-9b3d-bf647d3020c5 · inbound

A Survey of Reinforcement Learning for Large Reasoning Models cites this paper.

A Survey of Reinforcement Learning for Large Reasoning Models Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 57

Resolution: verified exact; arxiv_id, observed 2026-05-18T00:02:25.036452Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d0f403d2-1bb2-4db0-a725-8eeb63a00929 · inbound

RLVE: Scaling Up Reinforcement Learning for Language Models with Adaptive Verifiable Environments cites this paper.

RLVE: Scaling Up Reinforcement Learning for Language Models with Adaptive Verifiable Environments Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T23:08:04.572067Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d025b66-97ba-4bfa-81cf-df9bedc0639a · inbound

NSTR: Neural Spectral Transport Representation for Space-Varying Frequency Fields cites this paper.

NSTR: Neural Spectral Transport Representation for Space-Varying Frequency Fields Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 18

Resolution: verified exact; arxiv_id, observed 2026-05-17T06:29:10.240202Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 95c56dbd-a47f-4162-ae90-fa1f64c07b75 · inbound

Scaling Implicit Fields via Hypernetwork-Driven Multiscale Coordinate Transformations cites this paper.

Scaling Implicit Fields via Hypernetwork-Driven Multiscale Coordinate Transformations Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 18

Resolution: verified exact; arxiv_id, observed 2026-05-17T05:54:08.580176Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b55002d7-0658-4017-8947-fcbb3b08d76b · inbound

SPHINX: A Synthetic Environment for Visual Perception and Reasoning cites this paper.

SPHINX: A Synthetic Environment for Visual Perception and Reasoning Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-05-17T04:21:30.732409Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 9ea01d92-d5ab-4e32-87e1-bcb362d9532d · inbound

Low-rank Optimization Trajectories Modeling for LLM RLVR Acceleration cites this paper.

Low-rank Optimization Trajectories Modeling for LLM RLVR Acceleration Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-05-11T09:16:04.440904Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation e9ac8992-0ac5-4779-a751-ecf95c58d007 · inbound

A Survey of Reinforcement Learning for Large Language Models under Data Scarcity: Challenges and Solutions cites this paper.

A Survey of Reinforcement Learning for Large Language Models under Data Scarcity: Challenges and Solutions Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 1

Resolution: metadata mismatch; arxiv_id, observed 2026-05-10T06:41:36.739110Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 496d4d39-cb75-47f5-b617-238556bd365f · inbound

Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key cites this paper.

Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 62

Resolution: verified exact; arxiv_id, observed 2026-05-11T20:16:11.703961Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 5b0117d0-c7cd-4535-9bf5-1718b8c5a896 · inbound

Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key cites this paper.

Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 65

Resolution: verified exact; arxiv_id, observed 2026-05-12T03:21:19.180460Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 94f042a1-b339-4aa7-8b92-72f08643ab4d · inbound

Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key cites this paper.

Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 65

Resolution: verified exact; arxiv_id, observed 2026-05-20T22:39:10.339578Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation bc49ba09-d7f9-4fbc-aa70-624b675e9a0c · inbound

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs cites this paper.

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-05-12T02:01:14.986852Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a9a8c9de-12d3-40a5-a885-d302cd9fcaf4 · inbound

Step-by-Step Optimization-like Reasoning in LLMs over Expanding Search Spaces cites this paper.

Step-by-Step Optimization-like Reasoning in LLMs over Expanding Search Spaces Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 20

Resolution: verified exact; arxiv_id, observed 2026-07-02T08:46:48.980489Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 3a60cb74-fa4b-409f-967b-bc68d8144e68 · inbound

Robots Need More than VLA and World Models cites this paper.

Robots Need More than VLA and World Models Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 140

Resolution: verified exact; arxiv_id, observed 2026-06-28T01:11:28.885396Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 17274652-e42c-4172-80ae-411dcf2c4404 · inbound

Ling and Ring 2.6 Technical Report: Efficient and Instant Agentic Intelligence at Trillion-Parameter Scale cites this paper.

Ling and Ring 2.6 Technical Report: Efficient and Instant Agentic Intelligence at Trillion-Parameter Scale Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 31

Resolution: verified exact; arxiv_id, observed 2026-07-02T22:17:25.637701Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a17f5b4a-f1e3-436d-a374-4a8f01d3145e · inbound

Trace: A Taxonomy-Guided Environment for Multidomain Visual Reasoning cites this paper.

Trace: A Taxonomy-Guided Environment for Multidomain Visual Reasoning Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T11:47:22.196088Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.