{"as_of":"2026-08-23T20:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f66a964e93ffa7166bd8738de7f01278d4e5c56a487703239b4dba0e1b822db2","coverage":[{"denominator":168,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T14:11:16.465039Z","state":"measured"},{"denominator":118,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":118,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+00:00","state":"measured"},{"denominator":18,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":18,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T19:45:49.982331Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-15T19:45:49.982331Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.15211","last_updated":"2025-06-18T07:44:09Z","snapshot_observed_at":"2026-08-21T19:25:05.458117Z","submitted_at":"2025-06-18T07:44:09Z","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T19:45:49.982331Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2506.15211"},"observation_digest":"sha256:98d618eb323228aea47991fc46655ab0d64d9a624ea21e6e7dd4fe88f470aa96","observation_id":"9d5a8a18-740a-4779-9825-8fa302903217","resolution":{"observed_at":"2026-08-15T19:45:49.982331Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-05T20:21:04.915607Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles.CoRR, abs/2505.19914, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.10751","last_updated":"2025-08-14T15:34:47Z","snapshot_observed_at":"2026-08-18T20:12:03.334534Z","submitted_at":"2025-08-14T15:34:47Z","title":"Pass@k Training for Adaptively Balancing Exploration and Exploitation of Large Reasoning Models","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T20:21:04.915607Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2508.10751"},"observation_digest":"sha256:eefa21714f5f19a79086c6ea299eef8418eb96ca5fcd350f93f7a2b07d80eb25","observation_id":"fd4291e8-8156-4eed-a22b-59ee16b57e10","resolution":{"observed_at":"2026-08-05T20:21:04.915607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-05T14:35:50.493578Z","title":"Yanjun Chen, Dawei Zhu, Yirong Sun, Xinghao Chen, Wei Zhang, and Xiaoyu Shen","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.21188","last_updated":"2025-09-02T16:27:24Z","snapshot_observed_at":"2026-08-17T03:57:57.832821Z","submitted_at":"2025-08-28T20:02:10Z","title":"Mirage or Method? How Model-Task Alignment Induces Divergent RL Conclusions","version":2},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-05T14:35:50.493578Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2508.21188"},"observation_digest":"sha256:624021809f7b5ad905b222b04a8dc5270468d345e9cff0c1092309bce51e495e","observation_id":"a5b5ccbf-b8d3-43df-b2f1-c22b04f2d239","resolution":{"observed_at":"2026-08-05T14:35:50.493578Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":"2505.19914","doi":"10.48550/arxiv.2505.19914","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles","venue":"ArXiv.org","work_id":"d0547b2a-3f35-40a0-9666-a35e2a34521e","year":2025},"citing_paper":{"arxiv_id":"2509.08827","last_updated":"2025-10-09T17:08:52Z","snapshot_observed_at":"2026-08-06T15:38:05.011922Z","submitted_at":"2025-09-10T17:59:43Z","title":"A Survey of Reinforcement Learning for Large Reasoning Models","version":3},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-05-18T00:02:24.352947Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2509.08827"},"observation_digest":"sha256:93ee3e66627943d87915a49810f7ac62a45485f81f984f0b2b70d0c79e7e42ae","observation_id":"de6e995a-f919-4c45-9b3d-bf647d3020c5","resolution":{"observed_at":"2026-05-18T00:02:25.036452Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-03T23:08:04.572067Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.07317","last_updated":"2026-06-06T19:45:56Z","snapshot_observed_at":"2026-08-17T15:49:29.725107Z","submitted_at":"2025-11-10T17:18:35Z","title":"RLVE: Scaling Up Reinforcement Learning for Language Models with Adaptive Verifiable Environments","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-03T23:08:04.572067Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2511.07317"},"observation_digest":"sha256:2d7ab63179e6ded908beeaf634248fd42ead05ebfd76a576b3d285838023b022","observation_id":"d0f403d2-1bb2-4db0-a725-8eeb63a00929","resolution":{"observed_at":"2026-08-03T23:08:04.572067Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":"2505.19914","doi":"10.48550/arxiv.2505.19914","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles","venue":"ArXiv.org","work_id":"d0547b2a-3f35-40a0-9666-a35e2a34521e","year":2025},"citing_paper":{"arxiv_id":"2511.18384","last_updated":"2026-04-09T15:08:17Z","snapshot_observed_at":"2026-08-15T21:45:13.695186Z","submitted_at":"2025-11-23T10:24:12Z","title":"NSTR: Neural Spectral Transport Representation for Space-Varying Frequency Fields","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-17T06:26:23.939714Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2511.18384"},"observation_digest":"sha256:3b82ef3eeff2302100c28be41a422c90f3c0608f051495e743bcda381f6ef675","observation_id":"3d025b66-97ba-4bfa-81cf-df9bedc0639a","resolution":{"observed_at":"2026-05-17T06:29:10.240202Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":"2505.19914","doi":"10.48550/arxiv.2505.19914","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles","venue":"ArXiv.org","work_id":"d0547b2a-3f35-40a0-9666-a35e2a34521e","year":2025},"citing_paper":{"arxiv_id":"2511.18387","last_updated":"2026-04-09T15:07:56Z","snapshot_observed_at":"2026-08-17T01:10:58.995177Z","submitted_at":"2025-11-23T10:27:04Z","title":"Scaling Implicit Fields via Hypernetwork-Driven Multiscale Coordinate Transformations","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-17T05:51:50.491329Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2511.18387"},"observation_digest":"sha256:115789f6307ae09bf8bfa6c639b80fc29a5abaef8f5190529325e9e6afb6432b","observation_id":"95c56dbd-a47f-4162-ae90-fa1f64c07b75","resolution":{"observed_at":"2026-05-17T05:54:08.580176Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":"2505.19914","doi":"10.48550/arxiv.2505.19914","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles","venue":"ArXiv.org","work_id":"d0547b2a-3f35-40a0-9666-a35e2a34521e","year":2025},"citing_paper":{"arxiv_id":"2511.20814","last_updated":"2026-04-05T23:59:08Z","snapshot_observed_at":"2026-08-20T00:40:42.927681Z","submitted_at":"2025-11-25T20:00:47Z","title":"SPHINX: A Synthetic Environment for Visual Perception and Reasoning","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-17T04:19:26.808804Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2511.20814"},"observation_digest":"sha256:8bbcd69d8e1ea812c1d07442704b97c687e6ddb46828dad25f12ca0cffd2855c","observation_id":"b55002d7-0658-4017-8947-fcbb3b08d76b","resolution":{"observed_at":"2026-05-17T04:21:30.732409Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":"2505.19914","doi":"10.48550/arxiv.2505.19914","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles","venue":"ArXiv.org","work_id":"d0547b2a-3f35-40a0-9666-a35e2a34521e","year":2025},"citing_paper":{"arxiv_id":"2604.11446","last_updated":"2026-04-13T13:28:12Z","snapshot_observed_at":"2026-08-15T01:35:32.701722Z","submitted_at":"2026-04-13T13:28:12Z","title":"Low-rank Optimization Trajectories Modeling for LLM RLVR Acceleration","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T16:07:20.180349Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2604.11446"},"observation_digest":"sha256:cb1ceb91aeff90976c49d50db3716c1e6dfb2d1fb822d70837da264bdc6b52ab","observation_id":"9ea01d92-d5ab-4e32-87e1-bcb362d9532d","resolution":{"observed_at":"2026-05-11T09:16:04.440904Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":"2505.19914","doi":"10.48550/arxiv.2505.19914","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles","venue":"ArXiv.org","work_id":"d0547b2a-3f35-40a0-9666-a35e2a34521e","year":2025},"citing_paper":{"arxiv_id":"2604.17312","last_updated":"2026-04-19T08:01:31Z","snapshot_observed_at":"2026-08-14T08:49:25.826639Z","submitted_at":"2026-04-19T08:01:31Z","title":"A Survey of Reinforcement Learning for Large Language Models under Data Scarcity: Challenges and Solutions","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T06:38:22.041842Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2604.17312"},"observation_digest":"sha256:52e4c3a98064981d62f49eb4d1f987d1a20ea896c0e14af20be2137548cc33c4","observation_id":"e9ac8992-0ac5-4779-a751-ecf95c58d007","resolution":{"observed_at":"2026-05-10T06:41:36.739110Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":"2505.19914","doi":"10.48550/arxiv.2505.19914","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles","venue":"ArXiv.org","work_id":"d0547b2a-3f35-40a0-9666-a35e2a34521e","year":2025},"citing_paper":{"arxiv_id":"2605.06638","last_updated":"2026-05-16T04:00:46Z","snapshot_observed_at":"2026-08-15T18:33:54.287906Z","submitted_at":"2026-05-07T17:48:42Z","title":"Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-05-08T09:35:47.501360Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2605.06638"},"observation_digest":"sha256:2a3c6686cc1901110a6d7cf7b780531a39f935ae814aa25c0321581ad4b55d86","observation_id":"496d4d39-cb75-47f5-b617-238556bd365f","resolution":{"observed_at":"2026-05-11T20:16:11.703961Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":"2505.19914","doi":"10.48550/arxiv.2505.19914","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles","venue":"ArXiv.org","work_id":"d0547b2a-3f35-40a0-9666-a35e2a34521e","year":2025},"citing_paper":{"arxiv_id":"2605.06638","last_updated":"2026-05-16T04:00:46Z","snapshot_observed_at":"2026-08-15T18:33:54.287906Z","submitted_at":"2026-05-07T17:48:42Z","title":"Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key","version":2},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-05-12T03:16:59.195706Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2605.06638"},"observation_digest":"sha256:e915c081d7fab09118ddd48d3ea0375a82a1e5b2b613f54dff4222bc8bb2e285","observation_id":"5b0117d0-c7cd-4535-9bf5-1718b8c5a896","resolution":{"observed_at":"2026-05-12T03:21:19.180460Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":"2505.19914","doi":"10.48550/arxiv.2505.19914","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles","venue":"ArXiv.org","work_id":"d0547b2a-3f35-40a0-9666-a35e2a34521e","year":2025},"citing_paper":{"arxiv_id":"2605.06638","last_updated":"2026-05-16T04:00:46Z","snapshot_observed_at":"2026-08-15T18:33:54.287906Z","submitted_at":"2026-05-07T17:48:42Z","title":"Can RL Teach Long-Horizon Reasoning to LLMs? Expressiveness Is Key","version":3},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-05-20T22:36:13.781114Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2605.06638"},"observation_digest":"sha256:d515d4ba6ed1c7cffc53ff78966fb77db582d551ff57bcde1bc41eeaec29ee01","observation_id":"94f042a1-b339-4aa7-8b92-72f08643ab4d","resolution":{"observed_at":"2026-05-20T22:39:10.339578Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":"2505.19914","doi":"10.48550/arxiv.2505.19914","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles","venue":"ArXiv.org","work_id":"d0547b2a-3f35-40a0-9666-a35e2a34521e","year":2025},"citing_paper":{"arxiv_id":"2605.08498","last_updated":"2026-05-08T21:28:02Z","snapshot_observed_at":"2026-08-19T13:04:21.569661Z","submitted_at":"2026-05-08T21:28:02Z","title":"MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-12T02:01:04.619417Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2605.08498"},"observation_digest":"sha256:0d1d666d975a94302c738278f151b2217b0d3e641a973c9e0d95f310685eba5d","observation_id":"bc49ba09-d7f9-4fbc-aa70-624b675e9a0c","resolution":{"observed_at":"2026-05-12T02:01:14.986852Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":"2505.19914","doi":"10.48550/arxiv.2505.19914","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles","venue":"ArXiv.org","work_id":"d0547b2a-3f35-40a0-9666-a35e2a34521e","year":2025},"citing_paper":{"arxiv_id":"2606.05464","last_updated":"2026-06-03T21:43:38Z","snapshot_observed_at":"2026-08-03T10:19:08.677126Z","submitted_at":"2026-06-03T21:43:38Z","title":"Step-by-Step Optimization-like Reasoning in LLMs over Expanding Search Spaces","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-28T05:46:26.938277Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2606.05464"},"observation_digest":"sha256:0218ee974d9ba69f8b28d6be12c277661529297d13535872c5df4f4b72037a15","observation_id":"a9a8c9de-12d3-40a5-a885-d302cd9fcaf4","resolution":{"observed_at":"2026-07-02T08:46:48.980489Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":"2505.19914","doi":"10.48550/arxiv.2505.19914","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles","venue":"ArXiv.org","work_id":"d0547b2a-3f35-40a0-9666-a35e2a34521e","year":2025},"citing_paper":{"arxiv_id":"2606.06556","last_updated":"2026-06-04T10:43:14Z","snapshot_observed_at":"2026-08-17T12:12:16.054040Z","submitted_at":"2026-06-04T10:43:14Z","title":"Robots Need More than VLA and World Models","version":1},"reference_index":140,"source":"arxiv_source","source_observed_at":"2026-06-28T01:01:33.530167Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2606.06556"},"observation_digest":"sha256:58f356cb0403f2f94905c6caaccc8722c2387971ead635cf635e77c0dce9b6ce","observation_id":"3a60cb74-fa4b-409f-967b-bc68d8144e68","resolution":{"observed_at":"2026-06-28T01:11:28.885396Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":"2505.19914","doi":"10.48550/arxiv.2505.19914","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles","venue":"ArXiv.org","work_id":"d0547b2a-3f35-40a0-9666-a35e2a34521e","year":2025},"citing_paper":{"arxiv_id":"2606.15079","last_updated":"2026-06-13T03:21:49Z","snapshot_observed_at":"2026-08-14T19:26:18.721015Z","submitted_at":"2026-06-13T03:21:49Z","title":"Ling and Ring 2.6 Technical Report: Efficient and Instant Agentic Intelligence at Trillion-Parameter Scale","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-07-02T22:10:59.568675Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2606.15079"},"observation_digest":"sha256:37a37fb5a9dc5fdfd2e0b68fec5a4931a1916e182fb628ae10de1cdfb72c1c1b","observation_id":"17274652-e42c-4172-80ae-411dcf2c4404","resolution":{"observed_at":"2026-07-02T22:17:25.637701Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19914","snapshot_observed_at":"2026-08-01T11:47:22.196088Z","title":"Enigmata: Scaling logical reasoning in large language models with synthetic verifiable puzzles.arXiv preprint arXiv:2505.19914, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19790","last_updated":"2026-07-22T06:17:57Z","snapshot_observed_at":"2026-08-15T18:56:56.907887Z","submitted_at":"2026-07-22T06:17:57Z","title":"Trace: A Taxonomy-Guided Environment for Multidomain Visual Reasoning","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T11:47:22.196088Z"},"links":{"cited_paper":"/paper/2505.19914","citing_paper":"/paper/2607.19790"},"observation_digest":"sha256:4d4b489e906c029733053bbb7dd4425d369e2cff52fffe5ef4277ca59ab077b6","observation_id":"a17f5b4a-f1e3-436d-a374-4a8f01d3145e","resolution":{"observed_at":"2026-08-01T11:47:22.196088Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2505.19914/citation-record","integrity":"/paper/2505.19914/integrity","json":"/paper/2505.19914/citation-record.json","paper":"/paper/2505.19914"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:06.445529Z","title":"Learning to reason with llms, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:06.445529Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:6ee044d6b66b711f7d5b41993fe674a46654c12a633279bd454871c7726ea083","observation_id":"33192636-7d6b-414d-878e-7b9fdc7966c3","resolution":{"observed_at":"2026-08-07T14:11:06.445529Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-08-15T12:33:55.451951Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-07T14:11:06.524378Z","title":"Deepseek-r1: Incentivizing reasoning capability in llms via reinforcement learning.arXiv preprint arXiv:2501.12948, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:06.524378Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:1ba3ac97256bad988a019ce9e7c8be487cfb7b9007a9279c2ec11792a5d13351","observation_id":"8bb48a08-c319-40be-abf6-9e8a0374b455","resolution":{"observed_at":"2026-08-07T14:11:06.524378Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:06.583464Z","title":"Gemini 2.5: Our most intelligent ai model, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:06.583464Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:f6b964c73eeb0c2ed52b13d3b5923c6a20ec510c568d0412ea4a104ee292907b","observation_id":"5c5338b7-0d03-407a-971e-796b9ec37e15","resolution":{"observed_at":"2026-08-07T14:11:06.583464Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:06.656669Z","title":"Claude 3.7 sonnet and claude code, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:06.656669Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:c48e2ae58753cc4a628a140656990659497d7275a24df74907734ed9100067c8","observation_id":"5cd1d49d-6273-4fde-bc99-2aa1f6eb39b5","resolution":{"observed_at":"2026-08-07T14:11:06.656669Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:06.715016Z","title":"Seed-thinking-v1","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:06.715016Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:fbb9a76e5b5c786a538dc9829606f91a4eb3f4e063421987224d3514e8c19d4d","observation_id":"b03def27-90fa-4123-ac35-629327e48381","resolution":{"observed_at":"2026-08-07T14:11:06.715016Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.02951","last_updated":"2025-07-12T02:08:21Z","snapshot_observed_at":"2026-08-16T12:53:05.855883Z","submitted_at":"2025-03-04T19:17:36Z","title":"KodCode: A Diverse, Challenging, and Verifiable Synthetic Dataset for Coding","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.02951","snapshot_observed_at":"2026-08-07T14:11:06.837138Z","title":"Kodcode: A diverse, challenging, and verifiable synthetic dataset for coding.arXiv preprint arXiv:2503.02951, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:06.837138Z"},"links":{"cited_paper":"/paper/2503.02951","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:d67844b9b3993915bfc9a219dd79250d51e672e0907f1b297ca2437ffc77f02f","observation_id":"6b402227-a144-481c-b7f7-da4da9a64e55","resolution":{"observed_at":"2026-08-07T14:11:06.837138Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.17387","last_updated":"2025-02-24T18:14:01Z","snapshot_observed_at":"2026-08-18T07:57:35.968161Z","submitted_at":"2025-02-24T18:14:01Z","title":"Big-Math: A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.17387","snapshot_observed_at":"2026-08-07T14:11:06.937762Z","title":"Big-math: A large-scale, high-quality math dataset for reinforcement learning in language models.arXiv preprint arXiv:2502.17387, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:06.937762Z"},"links":{"cited_paper":"/paper/2502.17387","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:207e965acd9588e6544509ae40989b6f5ae86d71f4cda5d7f2eb68169b3bceb3","observation_id":"f97a8a18-1b56-469a-95f7-1f54877170e9","resolution":{"observed_at":"2026-08-07T14:11:06.937762Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.11456","last_updated":"2025-05-22T19:12:14Z","snapshot_observed_at":"2026-08-13T20:36:12.184426Z","submitted_at":"2025-04-15T17:59:51Z","title":"DeepMath-103K: A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.11456","snapshot_observed_at":"2026-08-07T14:11:07.012578Z","title":"Deepmath-103k: A large-scale, challenging, decontaminated, and verifiable mathematical dataset for advancing reasoning.arXiv preprint arXiv:2504.11456, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:07.012578Z"},"links":{"cited_paper":"/paper/2504.11456","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:993f087335c5aa39257099d9f2c49667604b3b5aa099a6fb6ddc4da04cdb9bac","observation_id":"47ca4cc8-1c8d-415c-83dd-6c6f436c1ff2","resolution":{"observed_at":"2026-08-07T14:11:07.012578Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1911.01547","last_updated":"2019-11-25T13:02:04Z","snapshot_observed_at":"2026-08-17T05:38:14.090895Z","submitted_at":"2019-11-05T00:31:38Z","title":"On the Measure of Intelligence","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1911.01547","snapshot_observed_at":"2026-08-07T14:11:07.117139Z","title":"On the measure of intelligence.arXiv preprint arXiv:1911.01547, 2019","venue":null,"work_id":null,"year":1911},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:07.117139Z"},"links":{"cited_paper":"/paper/1911.01547","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:fe95263b1a83cc9a78cb2a44e2e4b1fc1744c247ace25485a92d67af5d730a62","observation_id":"e4ff7f47-226e-4b7e-baac-40f6b0a86f32","resolution":{"observed_at":"2026-08-07T14:11:07.117139Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.01100","last_updated":"2025-07-15T01:14:25Z","snapshot_observed_at":"2026-08-18T19:02:23.250634Z","submitted_at":"2025-02-03T06:44:49Z","title":"ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.01100","snapshot_observed_at":"2026-08-07T14:11:07.219581Z","title":"Zebralogic: On the scaling limits of llms for logical reasoning.arXiv preprint arXiv:2502.01100, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:07.219581Z"},"links":{"cited_paper":"/paper/2502.01100","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:416048138de1eb58649b5ec1904784e1ca8e824f91d3da83bb483151ffff697b","observation_id":"4cca57b7-d88f-4151-bac9-e85fb5ba7eff","resolution":{"observed_at":"2026-08-07T14:11:07.219581Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.06526","last_updated":"2025-03-01T12:34:10Z","snapshot_observed_at":"2026-08-19T12:31:21.287255Z","submitted_at":"2024-10-09T03:56:50Z","title":"KOR-Bench: Benchmarking Language Models on Knowledge-Orthogonal Reasoning Tasks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.06526","snapshot_observed_at":"2026-08-07T14:11:07.323944Z","title":"Kor-bench: Benchmarking language models on knowledge-orthogonal reasoning tasks","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:07.323944Z"},"links":{"cited_paper":"/paper/2410.06526","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:198d62c781253f476fb1849f279d13d80245af12b1bf36a87225ebc43642bbae","observation_id":"a2d43e4d-27b9-4751-84bb-553bc8e6d316","resolution":{"observed_at":"2026-08-07T14:11:07.323944Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:07.391545Z","title":"Phd knowledge not required: A reasoning challenge for large language models.arXiv preprint arXiv:2502.01584, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:07.391545Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:25e7b4f687a69705a7cc7fefec37baab8d16e6304c26537853b655b927f3c819","observation_id":"c7048aff-2994-4fab-b49a-1c15a5bd0f91","resolution":{"observed_at":"2026-08-07T14:11:07.391545Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:07.477160Z","title":"Navigating the labyrinth: Evaluating and enhancing llms’ ability to reason about search problems.arXiv preprint arXiv:2406.12172, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:07.477160Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:fa2364fd1d6c0c11487c9a903923b2250c1133fd4e2bed9c0ce420560da3e774","observation_id":"ef5445b4-35ed-47c1-af80-83b6cb31ef9f","resolution":{"observed_at":"2026-08-07T14:11:07.477160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:07.550954Z","title":"Fcorebench: Can large language models solve challenging first-order combinatorial reasoning problems?, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:07.550954Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:1effcb9593c1bdc6e1b146cfd86806076d8e51553228d0b025baab96eb23ffef","observation_id":"0c97a62c-9af4-4d39-998e-178294fde0c7","resolution":{"observed_at":"2026-08-07T14:11:07.550954Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.14768","last_updated":"2025-02-20T17:49:26Z","snapshot_observed_at":"2026-08-15T06:02:45.207770Z","submitted_at":"2025-02-20T17:49:26Z","title":"Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.14768","snapshot_observed_at":"2026-08-07T14:11:07.622997Z","title":"Logic-rl: Unleashing llm reasoning with rule-based reinforcement learning.arXiv preprint arXiv:2502.14768, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:07.622997Z"},"links":{"cited_paper":"/paper/2502.14768","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:4a6d91aa7299402f424d22f8961fc4be928f9d18040a171e987715894e55a46b","observation_id":"1b518538-8457-4daf-b81e-da774d5e8b9d","resolution":{"observed_at":"2026-08-07T14:11:07.622997Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:07.711505Z","title":"Tinyzero","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:07.711505Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:f37b2bdf176ae960c3657c326cb4c5ec112325d5ece5172d0cd3aed13c486274","observation_id":"9e09c0de-7e9d-4df0-b7e4-348375626a39","resolution":{"observed_at":"2026-08-07T14:11:07.711505Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:07.784463Z","title":"Qwen2.5: A party of foundation models, September 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:07.784463Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:ed9020d7025f1397ee6bb8d9be0b7dca293895b091fb367d83b140bddd55cf21","observation_id":"bf2a876a-8673-4574-bf99-257baa2463be","resolution":{"observed_at":"2026-08-07T14:11:07.784463Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12599","last_updated":"2025-06-03T02:14:54Z","snapshot_observed_at":"2026-08-15T22:38:53.825110Z","submitted_at":"2025-01-22T02:48:14Z","title":"Kimi k1.5: Scaling Reinforcement Learning with LLMs","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12599","snapshot_observed_at":"2026-08-07T14:11:07.908119Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:07.908119Z"},"links":{"cited_paper":"/paper/2501.12599","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:8dfaac41fa278a1194de43967d87be1ec1a65af66d48b9781d5bc866585fb19c","observation_id":"78f47263-ff72-4e97-99cf-a01ba13c537e","resolution":{"observed_at":"2026-08-07T14:11:07.908119Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.05118","last_updated":"2025-04-11T02:54:58Z","snapshot_observed_at":"2026-08-14T16:01:52.772456Z","submitted_at":"2025-04-07T14:21:11Z","title":"VAPO: Efficient and Reliable Reinforcement Learning for Advanced Reasoning Tasks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.05118","snapshot_observed_at":"2026-08-07T14:11:08.003933Z","title":"Vapo: Efficient and reliable reinforcement learning for advanced reasoning tasks","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:08.003933Z"},"links":{"cited_paper":"/paper/2504.05118","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:5b6f28beec434f1f3dd27a8e3dd9ed36905a78d11da8558b58003334f7b39b6b","observation_id":"e52cbf45-a0a6-4b75-9057-32083e2e5187","resolution":{"observed_at":"2026-08-07T14:11:08.003933Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.14476","last_updated":"2025-05-20T01:37:34Z","snapshot_observed_at":"2026-08-18T05:01:20.543826Z","submitted_at":"2025-03-18T17:49:06Z","title":"DAPO: An Open-Source LLM Reinforcement Learning System at Scale","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.14476","snapshot_observed_at":"2026-08-07T14:11:08.074540Z","title":"Dapo: An open-source llm reinforcement learning system at scale.arXiv preprint arXiv:2503.14476, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:08.074540Z"},"links":{"cited_paper":"/paper/2503.14476","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:44e417f756d9f0b6c5e2c9535c729eaab524140215ea38ba5731c8b9e62a06fc","observation_id":"798cd88d-0aea-4720-b162-2f587ba6f6d6","resolution":{"observed_at":"2026-08-07T14:11:08.074540Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.20783","last_updated":"2025-10-06T09:30:03Z","snapshot_observed_at":"2026-08-13T12:34:54.476684Z","submitted_at":"2025-03-26T17:59:14Z","title":"Understanding R1-Zero-Like Training: A Critical Perspective","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.20783","snapshot_observed_at":"2026-08-07T14:11:08.178822Z","title":"Understanding r1-zero-like training: A critical perspective.arXiv preprint arXiv:2503.20783, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:08.178822Z"},"links":{"cited_paper":"/paper/2503.20783","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:91881052f59635a09a419fd8c28c18dd2c09cdb4cfbf1a87ff2505a5611e93ea","observation_id":"b4d6abb8-e2c8-4b86-9f0a-79d5055d20c7","resolution":{"observed_at":"2026-08-07T14:11:08.178822Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.24290","last_updated":"2025-07-05T09:01:04Z","snapshot_observed_at":"2026-08-12T18:49:18.486177Z","submitted_at":"2025-03-31T16:36:05Z","title":"Open-Reasoner-Zero: An Open Source Approach to Scaling Up Reinforcement Learning on the Base Model","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.24290","snapshot_observed_at":"2026-08-07T14:11:08.263842Z","title":"Open-reasoner-zero: An open source approach to scaling up reinforcement learning on the base model.arXiv preprint arXiv:2503.24290, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:08.263842Z"},"links":{"cited_paper":"/paper/2503.24290","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:d7c44e0e4efa14d0f33900d7d0b699cb931fededa81a470cacea817cfdfbf07d","observation_id":"a185f65c-5583-4836-80de-d2d4db534dfa","resolution":{"observed_at":"2026-08-07T14:11:08.263842Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:08.367062Z","title":"Code-r1: Reproducing r1 for code with reliable rewards","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:08.367062Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:1ed72393a1e541c1f7293bb3784c44254dfbe2f9f4d1f61adac026ee912916c5","observation_id":"2e273c41-f54d-4477-bad2-0cc70f8dd13a","resolution":{"observed_at":"2026-08-07T14:11:08.367062Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.20238","last_updated":"2025-06-01T15:57:10Z","snapshot_observed_at":"2026-08-19T20:40:25.757043Z","submitted_at":"2025-02-27T16:23:25Z","title":"FINEREASON: Evaluating and Improving LLMs' Deliberate Reasoning through Reflective Puzzle Solving","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.20238","snapshot_observed_at":"2026-08-07T14:11:08.468097Z","title":"Finereason: Evaluating and improving llms’ deliberate reasoning through reflective puzzle solving","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:08.468097Z"},"links":{"cited_paper":"/paper/2502.20238","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:c9a2207b897d60582b78e431b9c95469ba414df675794e5670f9c6ab31cfab49","observation_id":"cb8c7dc4-7cbe-4a72-bf1b-805133e9f0e8","resolution":{"observed_at":"2026-08-07T14:11:08.468097Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-08-20T20:50:23.483838Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-07T14:11:08.549000Z","title":"Evaluating large language models trained on code","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:08.549000Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:6e9905394f69374cf150b7f9a20cb825c6b285de679595446498dc3b5db9ed83","observation_id":"8856ecee-773a-4402-af51-524776682f52","resolution":{"observed_at":"2026-08-07T14:11:08.549000Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.22230","last_updated":"2025-04-02T13:26:34Z","snapshot_observed_at":"2026-08-17T16:08:53.256982Z","submitted_at":"2025-03-28T08:26:41Z","title":"Exploring Data Scaling Trends and Effects in Reinforcement Learning from Human Feedback","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.22230","snapshot_observed_at":"2026-08-07T14:11:08.621282Z","title":"Exploring data scaling trends and effects in reinforcement learning from human feedback.arXiv preprint arXiv:2503.22230, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:08.621282Z"},"links":{"cited_paper":"/paper/2503.22230","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:f5b617be249cc3d46c9ebf5f7b70a461a7a2581f5970beff35f4262d9d73ae9e","observation_id":"e388259d-75d6-4547-ad1f-4b7ae83df85b","resolution":{"observed_at":"2026-08-07T14:11:08.621282Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:08.721704Z","title":"Abstraction and reasoning corpus for artificial general intelligence v2 (arc-agi-2)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:08.721704Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:6901baf7a2e0f1236570d998503d69b26de8338ea16f6f9c3208bc8980640cfd","observation_id":"23e5691b-44e0-4ce7-9053-3e279ee4a55b","resolution":{"observed_at":"2026-08-07T14:11:08.721704Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.10460","last_updated":"2025-05-28T12:32:29Z","snapshot_observed_at":"2026-08-20T04:23:28.056352Z","submitted_at":"2025-03-13T15:29:22Z","title":"Light-R1: Curriculum SFT, DPO and RL for Long COT from Scratch and Beyond","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.10460","snapshot_observed_at":"2026-08-07T14:11:08.796570Z","title":"Light-r1: Curriculum sft, dpo and rl for long cot from scratch and beyond.arXiv preprint arXiv:2503.10460, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:08.796570Z"},"links":{"cited_paper":"/paper/2503.10460","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:4bd567accf3ed46289ffc6a52bbe25eb682c7b0ab72cf74e21196e6cfb1a38a8","observation_id":"28c8782f-2b2e-43bf-b38f-0383ac676e04","resolution":{"observed_at":"2026-08-07T14:11:08.796570Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.01491","last_updated":"2025-03-03T12:59:25Z","snapshot_observed_at":"2026-08-19T09:54:01.929451Z","submitted_at":"2025-03-03T12:59:25Z","title":"What's Behind PPO's Collapse in Long-CoT? Value Optimization Holds the Secret","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.01491","snapshot_observed_at":"2026-08-07T14:11:08.843880Z","title":"What’s behind ppo’s collapse in long-cot? value optimization holds the secret.arXiv preprint arXiv:2503.01491, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:08.843880Z"},"links":{"cited_paper":"/paper/2503.01491","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:75fc5e572cfecb85b973bb1b6c41cfa3898903a72a0d0008058249b031d537af","observation_id":"7bac26cf-a7c9-457e-b4af-6384c8746ff6","resolution":{"observed_at":"2026-08-07T14:11:08.843880Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1707.06347","last_updated":"2017-08-28T09:20:06Z","snapshot_observed_at":"2026-08-20T07:04:06.309989Z","submitted_at":"2017-07-20T02:32:33Z","title":"Proximal Policy Optimization Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1707.06347","snapshot_observed_at":"2026-08-07T14:11:08.885922Z","title":"Proximal policy optimization algorithms","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:08.885922Z"},"links":{"cited_paper":"/paper/1707.06347","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:8cc729025598d3a38b577f5424a09825b02fb18b570d83ced1eb3cce33430518","observation_id":"8c04e282-be10-4cf0-af42-e54448e97909","resolution":{"observed_at":"2026-08-07T14:11:08.885922Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:08.937064Z","title":"Qwq-32b: Embracing the power of reinforcement learning, March 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:08.937064Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:c124a7320bb3b2e095daab3c73f2468e93f66f690dca16d643a21cb411abc9b7","observation_id":"09b4ef5c-2afa-4038-9e09-934eb5007696","resolution":{"observed_at":"2026-08-07T14:11:08.937064Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:08.983552Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:08.983552Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:58c9dc8a20668688d7b849fc1c8ff35801b686af09fb8dd5ad7b1ec94352bd05","observation_id":"99f00343-8616-477e-9b30-af3f5e079a75","resolution":{"observed_at":"2026-08-07T14:11:08.983552Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.20571","last_updated":"2025-10-24T10:02:36Z","snapshot_observed_at":"2026-08-15T17:20:54.840134Z","submitted_at":"2025-04-29T09:24:30Z","title":"Reinforcement Learning for Reasoning in Large Language Models with One Training Example","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.20571","snapshot_observed_at":"2026-08-07T14:11:09.039778Z","title":"Reinforcement learning for reasoning in large language models with one training example","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:09.039778Z"},"links":{"cited_paper":"/paper/2504.20571","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:b75107cdc1db760cc4711a3fe4e8b7e52ce9d55cceb247d910d491904b7fc713","observation_id":"1556dec6-4824-4aab-845a-d0f93b847079","resolution":{"observed_at":"2026-08-07T14:11:09.039778Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03314","last_updated":"2024-08-06T17:35:05Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-08-06T17:35:05Z","title":"Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.03314","snapshot_observed_at":"2026-08-07T14:11:09.098919Z","title":"Scaling llm test-time compute optimally can be more effective than scaling model parameters.arXiv preprint arXiv:2408.03314, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:09.098919Z"},"links":{"cited_paper":"/paper/2408.03314","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:48a865911288fa2db414f26bfa64c67f03be829913b303cbf0774ede20d10872","observation_id":"fc6ed9a2-0376-4df1-8f06-e415e28f27c2","resolution":{"observed_at":"2026-08-07T14:11:09.098919Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.24235","last_updated":"2025-05-04T15:48:08Z","snapshot_observed_at":"2026-08-20T06:16:23.875749Z","submitted_at":"2025-03-31T15:46:15Z","title":"A Survey on Test-Time Scaling in Large Language Models: What, How, Where, and How Well?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.24235","snapshot_observed_at":"2026-08-07T14:11:09.143459Z","title":"What, how, where, and how well? a survey on test-time scaling in large language models.arXiv preprint arXiv:2503.24235, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:09.143459Z"},"links":{"cited_paper":"/paper/2503.24235","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:a9ce0f588cb051cccde0172c644552316a53bd20679bbf55b1029763057bd11b","observation_id":"38c87261-2b2b-4aa2-8622-fc70131ff233","resolution":{"observed_at":"2026-08-07T14:11:09.143459Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:09.214951Z","title":"A survey of reinforcement learning from human feedback.arXiv preprint arXiv:2312.14925, 10, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:09.214951Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:e1e6e68fcf77a3d23a1ac831b981d5d3e360f16c413d2b0aeccb560e4f5d9c71","observation_id":"36839fee-c8db-4abf-ba2e-51dc6d5c2dd6","resolution":{"observed_at":"2026-08-07T14:11:09.214951Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:09.280687Z","title":"Gonzalez, Hao Zhang, and Ion Stoica","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:09.280687Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:d396219b88e277e7ac769d61eb11bac428db2e568e5fc5718e63f235d7320b2f","observation_id":"4e62e1b2-2061-4b3b-92f4-50ca2b902c71","resolution":{"observed_at":"2026-08-07T14:11:09.280687Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-17T09:58:46.058102Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-07T14:11:09.325963Z","title":"GPT4 technical report.arXiv preprint arXiv:2303.08774, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:09.325963Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:b455a465bf966d40f3692a2b892384c2e56d6c1f53880b73940504a22d21bc94","observation_id":"0934d3ac-eb29-4972-bd84-749a5e24bdb0","resolution":{"observed_at":"2026-08-07T14:11:09.325963Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:09.365432Z","title":"Bringing grok to everyone, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:09.365432Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:f823022e3db543225e1993c9246de7ced54b610883e07fc2f927dd1b96467384","observation_id":"7f8e1f5e-e97f-448d-a769-4b308c864bd4","resolution":{"observed_at":"2026-08-07T14:11:09.365432Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:09.390569Z","title":"full_crossword_puzzles","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:09.390569Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:02b125f4911f0f4a2b6a0969a25645edd18c946228e8eecdb09af55e854e52b6","observation_id":"54e11c17-13f4-491e-977e-e20987755d82","resolution":{"observed_at":"2026-08-07T14:11:09.390569Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.09430","last_updated":"2025-01-17T04:39:38Z","snapshot_observed_at":"2026-08-19T16:35:52.134429Z","submitted_at":"2023-10-13T22:29:15Z","title":"Assessing and Enhancing the Robustness of Large Language Models with Task Structure Variations for Logical Reasoning","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.09430","snapshot_observed_at":"2026-08-07T14:11:09.497498Z","title":"Assessing and enhancing the robustness of large language models with task structure variations for logical reasoning","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:09.497498Z"},"links":{"cited_paper":"/paper/2310.09430","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:a41c1122900cd2c5cce9b9fbf8d307cbac1c3cd9f830e1408e41be5cd259f50a","observation_id":"328f412d-7d85-4ac9-a546-c566e0f45b96","resolution":{"observed_at":"2026-08-07T14:11:09.497498Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:09.555491Z","title":"Large language models are not strong abstract reasoners","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:09.555491Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:cd8bcc0539382e8ec792ad95d756cc062012f29123e6170a692b74fa1a3bf666","observation_id":"119322da-14fe-41a5-9fac-6b3849676d7b","resolution":{"observed_at":"2026-08-07T14:11:09.555491Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:09.627950Z","title":"Beyond the imitation game: Quantifying and extrapolating the capabilities of language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:09.627950Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:4465a57d81a86d5c87312fc690e0284404eccb9a791f2651973f3ab161c41a58","observation_id":"76c21590-6993-4afa-8d13-ce025276b4de","resolution":{"observed_at":"2026-08-07T14:11:09.627950Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:09.718520Z","title":"A puzzle-based dataset for natural language inference","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:09.718520Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:435d5ab1d256a4a1db35b1527d796ab6f54e83dea377b05771c87f9c47ff7d84","observation_id":"051453fc-a2af-42ce-a679-d0129a91f7a0","resolution":{"observed_at":"2026-08-07T14:11:09.718520Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2209.00840","last_updated":"2024-10-11T20:08:54Z","snapshot_observed_at":"2026-08-16T16:35:12.787222Z","submitted_at":"2022-09-02T06:50:11Z","title":"FOLIO: Natural Language Reasoning with First-Order Logic","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2209.00840","snapshot_observed_at":"2026-08-07T14:11:09.786756Z","title":"Folio: Natural language reasoning with first-order logic.arXiv preprint arXiv:2209.00840, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:09.786756Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:aa212b0d65ffe3ed0e3db7970434644879fe1b1e3d13fd579e648f1df9aa7d6e","observation_id":"dcaac41e-6170-4752-9e5f-151d9d1a7e9d","resolution":{"observed_at":"2026-08-07T14:11:09.786756Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:09.835556Z","title":"These tasks typically involve complex reasoning chains or require integrating multiple constraints, making them suitable for long-horizon learning","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:09.835556Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:b211565bb0b29ba23d418b3707a016f7ae419864d30197c062d8011fe708e87b","observation_id":"56504320-7c22-40d6-976c-0bd6d22fed6b","resolution":{"observed_at":"2026-08-07T14:11:09.835556Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:09.903235Z","title":"This stratification indicates that the difficulty scaling mechanism is practical and yields meaningful distinctions in learning complexity","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:09.903235Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:7c7b62de82ab8363988f5d1a7316fd7b641a537d1277f9fd1ac3376d3d6e79a9","observation_id":"b4df4467-0887-45d1-86df-4bf9a96ec8ac","resolution":{"observed_at":"2026-08-07T14:11:09.903235Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:09.978096Z","title":null,"venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:09.978096Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:46a5b2abce9b2eaa9e11eb9e01880bfe5ee1103f49a05a57d10f55791bc00f41","observation_id":"f713c4d7-770a-433c-b32b-7508270247c1","resolution":{"observed_at":"2026-08-07T14:11:09.978096Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:10.049486Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:10.049486Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:75b480e666697d222d311e1e302aa38726d3ec47935530dd60665574dc2c7023","observation_id":"db8eebf8-a7f8-4914-85f2-4e4d2048a5f6","resolution":{"observed_at":"2026-08-07T14:11:10.049486Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:10.140746Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:10.140746Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:f8bd2eaac4ce3a09631c65a93f99a23b1b458853ae44456580b577bc54d8d4db","observation_id":"7a1d033a-d4b6-4a81-a75d-be4b5d145b1c","resolution":{"observed_at":"2026-08-07T14:11:10.140746Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:10.261758Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:10.261758Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:40484d4bd7d3b8fd6254eb2b71a2ed210a158545752589c4785de9db3c6b4000","observation_id":"596ab9a7-29f6-4ebe-a300-c4d0a030bfc3","resolution":{"observed_at":"2026-08-07T14:11:10.261758Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:10.420382Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:10.420382Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:59080f4beeba1ec339eeabcd3262d985daa9bc4c84a18f20a4f997bfede3025a","observation_id":"a0f8333b-010a-4369-a789-4f775361335a","resolution":{"observed_at":"2026-08-07T14:11:10.420382Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:10.511587Z","title":"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","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:10.511587Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:f0421681c6bc6054c1012da875bea637c0966b87ffe892277ac71128662d0ddc","observation_id":"33eea9c9-e2ac-4cf2-9a1e-b45952b5475f","resolution":{"observed_at":"2026-08-07T14:11:10.511587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:10.583772Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:10.583772Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:2365183cdd3f028d6f00a3db8056942da1a339cdc5af9963a5b7ec712c6ed3b7","observation_id":"4a359201-0c37-487f-a337-1855699fcaad","resolution":{"observed_at":"2026-08-07T14:11:10.583772Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:10.682642Z","title":"(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","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:10.682642Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:f7e6c2717b29b5f0d4d1723404bd14de353b4bd9b8353554d1c8ea955b927453","observation_id":"0759385d-e091-4ed0-8b4c-b20a3d4cc77a","resolution":{"observed_at":"2026-08-07T14:11:10.682642Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:10.821868Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:10.821868Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:f52bfd7d1c00b5873ee453e4a32d4e82200fdcacd9323c70c203b88e55a93ea4","observation_id":"e9f4c6a7-e63b-435e-bfd7-313f27a5ba72","resolution":{"observed_at":"2026-08-07T14:11:10.821868Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:10.913098Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:10.913098Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:e38ee45d34e35b277cafd27b8c6c9eac728c1db66412610bee9af96cef5610f6","observation_id":"3c79ff87-1503-4aca-9a1a-8aa450e8506a","resolution":{"observed_at":"2026-08-07T14:11:10.913098Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:11.012948Z","title":"Task : - Place tents on the empty spaces a c c o r d i n g to the given grid and rules","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:11.012948Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:0f8288fb79e0a8b5f46fd229104e2a4fe9a39ed9c337da0350284a514e0941ee","observation_id":"b06f544d-d460-44ee-97c7-9aeea38941c6","resolution":{"observed_at":"2026-08-07T14:11:11.012948Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:11.120313Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:11.120313Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:2899fc172523a12ab2c29829c84f7393481a9dd97f07c1b07c0cf454b353c5ae","observation_id":"fdc81f0f-a250-4028-b234-887e4e10e572","resolution":{"observed_at":"2026-08-07T14:11:11.120313Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:11.257676Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:11.257676Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:24b2f291a1d8f7d81378423a221dbe3e07915f986c52de1078bdee2ed4307a7d","observation_id":"0693ecbf-7866-4d6b-8e29-468433befe8c","resolution":{"observed_at":"2026-08-07T14:11:11.257676Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:11.379207Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:11.379207Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:c25b5c7cce6c7fd57760587b025bf73641a0d6cb90f3091b9401a71acc95faea","observation_id":"f2fa08c3-0ae5-4fb1-a616-a03d411b45d5","resolution":{"observed_at":"2026-08-07T14:11:11.379207Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:11.482777Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:11.482777Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:13cf3117201ffae72de869a61cb13545c39f4ee194acc79b51005bbd51b95300","observation_id":"82c4db0b-097d-46d4-b4db-ad0149be0774","resolution":{"observed_at":"2026-08-07T14:11:11.482777Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:11.580966Z","title":"Task : - Fill the blank cells a c c o r d i n g to the given numbers and rules","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:11.580966Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:0bd5fe7c859d568eb291fbe714a32321b20881adafd240fc253cf08a291002e0","observation_id":"9c23261e-096a-40d0-beab-e2fb386464b9","resolution":{"observed_at":"2026-08-07T14:11:11.580966Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:11.727789Z","title":"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","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:11.727789Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:869bb4471e0e45249bcfff05f1887652ebfca83baf880abd8f807c13aabb2be4","observation_id":"002bb675-e02a-49a3-ba73-6f6a17dee110","resolution":{"observed_at":"2026-08-07T14:11:11.727789Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:11.887866Z","title":"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","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:11.887866Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:0ed517c480d3040dffe50ec1c98c7c5a55945101cc0505be01690a44cf6325a4","observation_id":"ef3981f0-a85d-47af-9ca4-f0b1b61a3ba2","resolution":{"observed_at":"2026-08-07T14:11:11.887866Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:12.050993Z","title":"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","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:12.050993Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:cfcb34ca83fdef5e011d335376541389c6204d182ad7f82be6e780b2443782d0","observation_id":"3e08a09f-c81b-4d71-bb51-85d293129bc1","resolution":{"observed_at":"2026-08-07T14:11:12.050993Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:12.170407Z","title":"Example :","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:12.170407Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:842a7569546897c0489345b10f145cdf14d8915dfe02e8284668dac99ab7bfe2","observation_id":"76d80a7f-1044-4d25-bf11-a1158e2fb7a9","resolution":{"observed_at":"2026-08-07T14:11:12.170407Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:12.282864Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:12.282864Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:7cf225ac3c7d62743399f3b2c7fbc795b42cca07c4c028f14592fc0b9c6c2722","observation_id":"8bfb1a5d-970a-4da4-ba3b-776c4bf38f2f","resolution":{"observed_at":"2026-08-07T14:11:12.282864Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:12.505975Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:12.505975Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:7e8bd6c2961ce6422b7718fc28e35de4b8e4cba400827841659e4e2854b9360e","observation_id":"b566a30c-39af-40bc-8682-6fcf3e3b0f8a","resolution":{"observed_at":"2026-08-07T14:11:12.505975Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:12.646642Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:12.646642Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:8ce234f28026b5bf2576dfdc9125c3fb560ced3d99366a56e3c2f80d56e0ca28","observation_id":"8e4ada6b-e37f-4b80-927a-2ae004b7c3c5","resolution":{"observed_at":"2026-08-07T14:11:12.646642Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:12.747943Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:12.747943Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:4f8b8b80ed7ce40b4aef37b85c436b827a4ddecbaa17507778117a6199b8a9bc","observation_id":"86cf99ed-aec3-49d2-a872-a1c662e49124","resolution":{"observed_at":"2026-08-07T14:11:12.747943Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:12.885532Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:12.885532Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:e2b66df90ae49ddd86727f8f53a1f824e21b8885bc98d14705586a2ace81b954","observation_id":"e2d809de-b6d8-4201-85fd-3bcafd29eff6","resolution":{"observed_at":"2026-08-07T14:11:12.885532Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:13.002822Z","title":"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","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:13.002822Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:05ee9955f219aeaaf517b1dab68d51a02d652854c39d11dfd55420a20f903fa0","observation_id":"11fdbdd4-f648-437c-af6a-3359beaca568","resolution":{"observed_at":"2026-08-07T14:11:13.002822Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:13.089313Z","title":"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","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:13.089313Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:26a1306e9d7dac8dca73e58cefdf4a2e1d867e7a9bd152fdb166e044cd765713","observation_id":"30546bc9-c8ed-48b4-8892-954e377f1136","resolution":{"observed_at":"2026-08-07T14:11:13.089313Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:13.148937Z","title":"Taller b u i l d i n g s will block shorter b u i l d i n g s behind them","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:13.148937Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:5bc2a7a6b76eda0eea52566677b18f6e472aca292f06f4dd8a228f254013c481","observation_id":"780f8a27-3f31-46df-8f17-3e30900210dc","resolution":{"observed_at":"2026-08-07T14:11:13.148937Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:13.294425Z","title":"Example :","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:13.294425Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:16da4a79c1e683596d491d821c84c13339a09fc0898231e159685a078bcf033f","observation_id":"33e763b2-1b67-40b1-9755-b0c3532fa17d","resolution":{"observed_at":"2026-08-07T14:11:13.294425Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:13.495683Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:13.495683Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:0a98dc33e13ce910ac394d9f101d7614ba83d2c3e4b672ba3f9caded862f5dab","observation_id":"a4a0e4ed-2444-43a1-96bb-1ac9a632ced3","resolution":{"observed_at":"2026-08-07T14:11:13.495683Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:13.665049Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:13.665049Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:f95ce34d46984dc4e0492b0971cde2b354545b95893c666fc077ad347c6c85a4","observation_id":"4e39cc92-4582-46dd-a6b9-798277c5218d","resolution":{"observed_at":"2026-08-07T14:11:13.665049Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:13.787130Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:13.787130Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:75d068371b8ce190b60c52db47912ccc7378c02036d2455dca0a379201adebba","observation_id":"096c6639-6225-4666-84d1-afc90156da5a","resolution":{"observed_at":"2026-08-07T14:11:13.787130Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:13.960012Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:13.960012Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:754dbfd1a38b346ca133a0c2bb392970a3cefde33939a4924a11ece5ee28a698","observation_id":"8ca3429c-b19d-4d56-872b-aeb2ce848425","resolution":{"observed_at":"2026-08-07T14:11:13.960012Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:14.109359Z","title":"no valid s olu ti on","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:14.109359Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:4e8f8aee688dbfa86ef13dfb183d73a23bb016a8178bb38fbd33a1f9b92f2b78","observation_id":"49ba4aa0-04c0-4f8e-ab82-12a57203ae19","resolution":{"observed_at":"2026-08-07T14:11:14.109359Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:14.265698Z","title":"- Empty cells are denoted by ’","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:14.265698Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:1186147d2f941a43683a64408922d98019fd9068a408c3c19089ce2e5de95944","observation_id":"4bd054b1-d49e-4824-8c11-c42d1063cc7a","resolution":{"observed_at":"2026-08-07T14:11:14.265698Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:14.387552Z","title":"- Blocked cells cannot contain stars","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:14.387552Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:d93456f7c2d730b1e9fb527754c391637464b4f7fe92d51a9ede0775edf4150e","observation_id":"4ce36659-05cb-4af3-b245-94107e43a05a","resolution":{"observed_at":"2026-08-07T14:11:14.387552Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:14.504699Z","title":"- No two stars can be in the same row or column","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:14.504699Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:38328bd436d122f8aef5d444f5299a34b08966e298118e2083cbd83ee57c2b08","observation_id":"98cb044f-e75d-45ee-b8f0-02e5186d0f69","resolution":{"observed_at":"2026-08-07T14:11:14.504699Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:14.640362Z","title":"- 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","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:14.640362Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:53befcebfce7514e2bacfa457f568c132f638124e94ab12e185ea580b8864dc3","observation_id":"ed7116a8-ae52-4d69-9eca-b230e9700233","resolution":{"observed_at":"2026-08-07T14:11:14.640362Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:14.891691Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:14.891691Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:891ec5174cc1273abd08423439b109c91a018fbfe4d90ea77ac5808c1e0ff6c2","observation_id":"0c64ff31-5444-4c10-9a38-655fc5570a61","resolution":{"observed_at":"2026-08-07T14:11:14.891691Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:15.054915Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:15.054915Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:e10704b2da272e26c22bf6c22bd16240cd9147409c130603c76a8ad2d41d937d","observation_id":"b645786b-25bc-49dd-afac-1cf747fce213","resolution":{"observed_at":"2026-08-07T14:11:15.054915Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:15.248254Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:15.248254Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:fd5adc611c2a51b3a234e45b6aab9c398ebd0697e68819452a9d6ce2b8af4a5b","observation_id":"12167fc8-89e2-42bf-bdf8-fb58a7911ff3","resolution":{"observed_at":"2026-08-07T14:11:15.248254Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:15.409115Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:15.409115Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:1287f82aff146b19396bcf27f4712bd8b90adf3190b00cecfc7f85960373dd0f","observation_id":"524d5f36-f061-42e0-9d01-95a8743494e7","resolution":{"observed_at":"2026-08-07T14:11:15.409115Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:15.507722Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:15.507722Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:b4a171a48a3a96a7312bcb9003d75df29dc8f6c7526707109ee8b9684fccada5","observation_id":"3d358fcb-a2be-472d-8738-817971d7add6","resolution":{"observed_at":"2026-08-07T14:11:15.507722Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:15.565887Z","title":"Task : - Find a valid Sudoku so lu tio n for the given puzzle","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:15.565887Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:facf81ba9c288098e19757b36713d218f707471293829855c358094862d0b3c7","observation_id":"2efccaf5-54f6-4f69-991c-c33a7ae56a21","resolution":{"observed_at":"2026-08-07T14:11:15.565887Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:15.676799Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:15.676799Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:c2d26b40f696e3a2390b5db3dd45b0cf002ecaf708b076318411706410bdda88","observation_id":"d2d188cd-2eb2-4d30-b892-28fad50202d8","resolution":{"observed_at":"2026-08-07T14:11:15.676799Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:15.790827Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:15.790827Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:59a4851fee09c8e64f51ffc6792d8dedcae02e9b08acad3ca1aa4adfc903c271","observation_id":"9a7b7c80-7f3b-478c-bc89-dee7dc7e740f","resolution":{"observed_at":"2026-08-07T14:11:15.790827Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:15.911705Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:15.911705Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:a0617e37a658372a68779267fea674758149625bc80a8f4ecadabf143933c64b","observation_id":"f4ac7f78-aa1c-47ed-99e9-459127a139e0","resolution":{"observed_at":"2026-08-07T14:11:15.911705Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:16.011853Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:16.011853Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:147f0f5602fdaac251e6ef54b541134d96746d3ffb0ba073c5b8d79d4c12e05a","observation_id":"7d6c09fa-1832-453f-a699-3d78cb5f9d5a","resolution":{"observed_at":"2026-08-07T14:11:16.011853Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:16.113344Z","title":"Task : - Find a valid Sudoku so lu tio n for the given puzzle","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:16.113344Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:9e39af68915611ab68da6393bd0d704245c7e9f205a5326f39f38312c8f9418a","observation_id":"08950340-8cc8-4ecd-86db-ac23def91bc2","resolution":{"observed_at":"2026-08-07T14:11:16.113344Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:16.230683Z","title":"- Blocked spaces ( ’* ’) must remain u n c h a n g e d and cannot contain any letters","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:16.230683Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:4007bac7312ad96fe6afbe7df63a94ee794066515369fe0a279cfa160c58e806","observation_id":"f1a547b5-8690-4c82-89dd-173bdc307a38","resolution":{"observed_at":"2026-08-07T14:11:16.230683Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:16.309184Z","title":"These words c o r r e s p o n d to across clues in order from top to bottom","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:16.309184Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:84434372ee4b1c8911532d0d3de8c5f7c7d83bee0e00ca6e78b0a43182e7181f","observation_id":"4b1f516a-b2cc-401c-8241-fc2e50da8a67","resolution":{"observed_at":"2026-08-07T14:11:16.309184Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:16.393944Z","title":"across","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:16.393944Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:4cf503821d1ff250f8b65b541ff164078ba0a375aec4dd6c23a03021c2efed37","observation_id":"366fe5fd-f41d-4f97-8290-3bdfeda34886","resolution":{"observed_at":"2026-08-07T14:11:16.393944Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:11:16.465039Z","title":"London fa rew el l !","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:16.465039Z"},"links":{"citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:29048f338f8487c2dbfd282124eeda13846d8eb01ee8f3149e9d893e64617030","observation_id":"5ebf075b-c368-4e9d-b94e-f5969d845d30","resolution":{"observed_at":"2026-08-07T14:11:16.465039Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","latest_version":2,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":99,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":168},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"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."}