Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-12T01:28:55.961892Z
Paper Citation Record · LEDGER
Lattice Deduction Transformers
As of 19 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 1 inbound Pith citation observation for arXiv:2605.08605.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-01T12:15:27.055434Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
44 of 44 outbound references displayed
- verified exact2
- verified fuzzy41
- unresolved1
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 9881c3c6-244d-496a-bbe6-5254ea21669a · outbound
This paper cites Chain-of-thought prompting elicits reasoning in large language models.
Lattice Deduction Transformers Chain-of-thought prompting elicits reasoning in large language models
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.417389Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation f5e77317-d4a8-430a-b946-ce450fd7dff9 · outbound
This paper cites Chi, Sharan Narang, Aakanksha Chowdhery, and Denny Zhou.
Lattice Deduction Transformers Chi, Sharan Narang, Aakanksha Chowdhery, and Denny Zhou
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.564102Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation e69ca392-d0bf-4fc6-bf74-36b6a1b10e31 · outbound
This paper cites Scaling LLM test-time compute opti- mally can be more effective than scaling parameters for reasoning.
Lattice Deduction Transformers Scaling LLM test-time compute opti- mally can be more effective than scaling parameters for reasoning
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.421825Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 0fe5be07-8e48-4557-a3b4-fbc17a003ff7 · outbound
This paper cites Johnson, Jonathan Ho, Daniel Tarlow, and Rianne van den Berg.
Lattice Deduction Transformers Johnson, Jonathan Ho, Daniel Tarlow, and Rianne van den Berg
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.571751Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation f40faf0d-b977-4494-84a9-d2cf6cc090e4 · outbound
This paper cites Cousot and R.
Lattice Deduction Transformers Cousot and R
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.547382Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation fda8a133-46e0-46b3-89b2-3181eadff050 · outbound
This paper cites Cousot and R.
Lattice Deduction Transformers Cousot and R
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.534478Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 6e1c7def-6db8-41e0-a044-14555dba8dd7 · outbound
This paper cites Adaptive computation time for recurrent neural networks.
Lattice Deduction Transformers Adaptive computation time for recurrent neural networks
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.552081Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation f68b9d0d-daa6-44bf-be0b-39e60a3f7cee · outbound
This paper cites Uni- versal transformers.
Lattice Deduction Transformers Uni- versal transformers
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.575649Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation f046d83a-0c57-4dfe-b061-feb18116e920 · outbound
This paper cites Hierarchical reasoning model.
Lattice Deduction Transformers Hierarchical reasoning model
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.580251Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 71e85f69-afe3-4b6d-a8e4-17a81a3d39af · outbound
This paper cites Less is more: Recursive reasoning with tiny networks.
Lattice Deduction Transformers Less is more: Recursive reasoning with tiny networks
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.584631Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 7b3889c7-f5c7-4b70-b40a-6e72f162bfd5 · outbound
This paper cites Sotaku: From-scratch experiments on iterative neural Sudoku solvers.
Lattice Deduction Transformers Sotaku: From-scratch experiments on iterative neural Sudoku solvers
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.509126Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 778865b2-149b-4939-b642-4adedb4a1b74 · outbound
This paper cites Donti, Bryan Wilder, and J.
Lattice Deduction Transformers Donti, Bryan Wilder, and J
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.513612Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 0e61b20c-0388-44d6-99d2-62cef116b6ac · outbound
This paper cites Learning Modulo Theories.
Reference 13
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T07:56:28.352131Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation e8bec6a2-b38f-46be-b573-7f82531af138 · outbound
This paper cites Neural abstract interpretation.
Lattice Deduction Transformers Neural abstract interpretation
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.504650Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 65636c11-afac-43cc-b9ce-b304779cec26 · outbound
This paper cites Learning fast and precise numerical analysis.
Lattice Deduction Transformers Learning fast and precise numerical analysis
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.484621Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 5e134d41-eea1-46e6-bc72-84a46c56117b · outbound
This paper cites SAIL: Sound abstract interpreters with LLMs.
Lattice Deduction Transformers SAIL: Sound abstract interpreters with LLMs
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.443345Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation e3e52884-aa7d-466e-868a-8f9f0e4b53af · outbound
This paper cites Fast numerical program analysis with reinforcement learning.
Lattice Deduction Transformers Fast numerical program analysis with reinforcement learning
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.456156Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 155a30a3-d223-47e8-8e2a-ad875f848280 · outbound
This paper cites Learning a strategy for choosing widening thresholds from a large codebase.
Lattice Deduction Transformers Learning a strategy for choosing widening thresholds from a large codebase
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.480442Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation f330da59-e44a-4689-9aa9-4793bfe55161 · outbound
This paper cites BERT: Pre-training of deep bidirectional transformers for language understanding.
Lattice Deduction Transformers BERT: Pre-training of deep bidirectional transformers for language understanding
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.488607Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation df4c3078-0314-4cba-abe8-1ab75466bf29 · outbound
This paper cites Remasking discrete diffusion models with inference-time scaling.
Lattice Deduction Transformers Remasking discrete diffusion models with inference-time scaling
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.492712Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation e50d9edc-6e8a-4cfe-a2a1-05a20f7f07e7 · outbound
This paper cites Krishnan.
Lattice Deduction Transformers Krishnan
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.496641Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 09e8dd9c-ea2d-4d27-a2f5-8ca3140b3f59 · outbound
This paper cites Next semantic scale prediction via hierarchical diffusion language models.
Lattice Deduction Transformers Next semantic scale prediction via hierarchical diffusion language models
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.500830Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 7212d12d-92c4-4755-bca5-313f43c1b5bb · outbound
This paper cites A computing procedure for quantification theory.Journal of the ACM, 7(3):201–215.
Lattice Deduction Transformers A computing procedure for quantification theory.Journal of the ACM, 7(3):201–215
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.459866Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 0339f1da-7e14-43b8-87c0-599569edc1d4 · outbound
This paper cites A machine program for theorem- proving.Communications of the ACM, 5(7):394–397.
Lattice Deduction Transformers A machine program for theorem- proving.Communications of the ACM, 5(7):394–397
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.467713Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 75ee74f7-43bb-4e98-8115-d6f724f26491 · outbound
This paper cites Marques-Silva, Inês Lynce, and Sharad Malik.
Lattice Deduction Transformers Marques-Silva, Inês Lynce, and Sharad Malik
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.453250Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation f471030c-a331-46a2-8449-398770ec57ad · outbound
This paper cites A tutorial on stålmarck’s proof procedure for propositional logic.
Lattice Deduction Transformers A tutorial on stålmarck’s proof procedure for propositional logic
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.471848Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 4194e91d-25c2-4ea4-b751-87b1929d370c · outbound
This paper cites Two optimizations on the stålmarck procedure.
Lattice Deduction Transformers Two optimizations on the stålmarck procedure
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.448020Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 2bd7079e-e274-4134-b516-77edd9391f9d · outbound
This paper cites Abstract conflict driven learning.
Lattice Deduction Transformers Abstract conflict driven learning
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.463864Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 9ea06686-c426-43ca-826e-05e06cf610c4 · outbound
This paper cites Thakur and Thomas W.
Lattice Deduction Transformers Thakur and Thomas W
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.439218Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 7d011424-2e85-44a9-9110-fa43a99affc3 · outbound
This paper cites RoFormer: Enhanced transformer with rotary position embedding.Neurocomputing, 568:127063.
Lattice Deduction Transformers RoFormer: Enhanced transformer with rotary position embedding.Neurocomputing, 568:127063
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.435147Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation b3ea441b-8d40-4e36-9644-028514eed6ae · outbound
This paper cites On-policy distillation of language models: Learning from self- generated mistakes.
Lattice Deduction Transformers On-policy distillation of language models: Learning from self- generated mistakes
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.476014Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 6c686084-ce24-487e-987f-ae31e6773677 · outbound
This paper cites Sutton and Andrew G.
Lattice Deduction Transformers Sutton and Andrew G
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.517577Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 961d19d8-91d7-443c-bbe4-bc3c8b7c42a9 · outbound
This paper cites Codebleu: a method for automatic evaluation of code synthesis.
Lattice Deduction Transformers Codebleu: a method for automatic evaluation of code synthesis
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.538981Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 9501b202-1c87-4b64-be13-7afca6d1dc39 · outbound
This paper cites Tdoku: A fast Sudoku solver and generator.
Lattice Deduction Transformers Tdoku: A fast Sudoku solver and generator
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.543364Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation ca375e01-8128-41d1-a410-9bb3cea7743e · outbound
This paper cites Recurrent relational networks.
Lattice Deduction Transformers Recurrent relational networks
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.425801Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation dc39f629-550b-43ee-a0fd-b99b2b54de0c · outbound
This paper cites Can convolutional neural networks crack Sudoku puzzles? Software, GitHub repositoryhttps://github.com/Kyubyong/sudoku.
Lattice Deduction Transformers Can convolutional neural networks crack Sudoku puzzles? Software, GitHub repositoryhttps://github.com/Kyubyong/sudoku
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.555945Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 48154e9a-2706-48c3-8b52-454768356689 · outbound
This paper cites Introducing claude opus 4.6.
Lattice Deduction Transformers Introducing claude opus 4.6
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.521637Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 4e93a2f5-90ce-4e90-a4f1-7fa1ce386a78 · outbound
This paper cites Deepseek-v4 preview release: Ushering in the era of 1m context length.
Lattice Deduction Transformers Deepseek-v4 preview release: Ushering in the era of 1m context length
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.559952Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation aa757dd0-17d3-4680-a2fb-7f512c237a3e · outbound
This paper cites Gpt-5.4 thinking system card.
Lattice Deduction Transformers Gpt-5.4 thinking system card
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.567826Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation b2ee3dce-cae9-4d24-b464-cf672c707a7e · outbound
This paper cites an unresolved cited work.
Lattice Deduction Transformers Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T06:59:04.530239Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 425c0973-c09c-4645-912c-f23d6460b556 · outbound
This paper cites On the Measure of Intelligence.
Lattice Deduction Transformers On the Measure of Intelligence
Reference 41
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T13:05:34.620543Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 08d9ce46-c31f-488c-8508-47279b01276a · outbound
This paper cites Arc-agi-2: A new challenge for frontier ai reasoning systems.
Lattice Deduction Transformers Arc-agi-2: A new challenge for frontier ai reasoning systems
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.526212Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 55a2f50e-eae5-4f3b-a05c-b653dfd7c6cd · outbound
This paper cites Arc-agi-3: A new challenge for frontier agentic intelligence.
Lattice Deduction Transformers Arc-agi-3: A new challenge for frontier agentic intelligence
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.430619Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 20d52ac2-050c-4990-b92e-3bd94385b708 · outbound
This paper cites We index the K chains within a slot in ascending order 0,1.
Lattice Deduction Transformers We index the K chains within a slot in ascending order 0,1
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T06:59:04.412815Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Pith citing papers
Observation 445a7c72-cdb7-4108-b784-ae605dac4250 · inbound
Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion cites this paper.
Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Lattice Deduction Transformers
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T12:15:27.055434Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.