Paper Citation Record · LEDGER

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion

As of 19 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2607.19635.

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

pith.paper-citation-record.v1
2607.19635 v1

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T12:15:29.326404Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

35 of 35 outbound references displayed

verified exact0
verified fuzzy0
unresolved35
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 949b144a-65f4-49ab-8d16-7b4493031f28 · outbound

This paper cites an unresolved cited work.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:26.449738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0086048-a8d0-48bb-96c8-16e5fd5fb381 · outbound

This paper cites Generative Recursive Reasoning.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Generative Recursive Reasoning

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:26.547017Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de0f364c-f748-4205-8026-0b0cb54e7020 · outbound

This paper cites End-to-end algorithm synthesis with recurrent networks: Logical extrapolation without overthinking.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion End-to-end algorithm synthesis with recurrent networks: Logical extrapolation without overthinking

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:26.655881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c04f147-5e90-4e24-ae3e-b4e3f87db9ae · outbound

This paper cites Machine learning for combinatorial optimization: A methodological tour d’horizon.European Journal of Operational Research, 290(2):405–421, 2021.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Machine learning for combinatorial optimization: A methodological tour d’horizon.European Journal of Operational Research, 290(2):405–421, 2021

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:26.778599Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db44d233-a8f4-41da-9f39-ac239526756d · outbound

This paper cites an unresolved cited work.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:26.904740Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 445a7c72-cdb7-4108-b784-ae605dac4250 · outbound

This paper cites Lattice Deduction Transformers.

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.

Observation 6b9f0361-b323-44f2-8c00-0d8c11c21ce9 · outbound

This paper cites Learning to rank the initial branching order of SAT solvers.arXiv preprint arXiv:2603.07176, 2026.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Learning to rank the initial branching order of SAT solvers.arXiv preprint arXiv:2603.07176, 2026

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:27.174453Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5633b07-abe5-448f-a1f6-e8d44d73c14d · outbound

This paper cites Stream of Search (SoS): Learning to Search in Language.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Stream of Search (SoS): Learning to Search in Language

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:27.257742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58c184f2-dd1a-4556-8927-c8209b84495e · outbound

This paper cites Exact combinatorial optimization with graph convolutional neural networks.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Exact combinatorial optimization with graph convolutional neural networks

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:27.301521Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47a94ba3-4eaa-45de-bd5b-73ea45b50d49 · outbound

This paper cites Gershman and Noah D.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Gershman and Noah D

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:27.378489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation decd0f2b-f909-4299-b027-6f1c770dbb8e · outbound

This paper cites Haralick and Gordon L.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Haralick and Gordon L

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:27.517701Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c7d9cb9-2305-4446-bdb4-478cd2372176 · outbound

This paper cites Less is More: Recursive Reasoning with Tiny Networks.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Less is More: Recursive Reasoning with Tiny Networks

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:27.556820Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab6adcd9-d069-4d8e-b7ef-a46c763a857f · outbound

This paper cites Khalil, Pierre Le Bodic, Le Song, George Nemhauser, and Bistra Dilkina.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Khalil, Pierre Le Bodic, Le Song, George Nemhauser, and Bistra Dilkina

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:27.610984Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ebb0fec-4ba6-4a36-ae48-4432579a5e8e · outbound

This paper cites GRAM — community reimplementation of Generative Recursive Rea- soning Models, 2026.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion GRAM — community reimplementation of Generative Recursive Rea- soning Models, 2026

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:27.732497Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40ba7601-d63d-4a4d-baba-c8eddca7cd03 · outbound

This paper cites LDT — community reimplementation of the Lattice Deduction Trans- former, 2026.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion LDT — community reimplementation of the Lattice Deduction Trans- former, 2026

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:27.869257Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c12b632f-20f4-4627-a4a7-67a792c9b769 · outbound

This paper cites Beyond A*: Better Planning with Transformers via Search Dynamics Bootstrapping.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Beyond A*: Better Planning with Transformers via Search Dynamics Bootstrapping

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:27.980240Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6793700-72ef-42bc-9f97-b600d38d8c26 · outbound

This paper cites Marques-Silva and Karem A.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Marques-Silva and Karem A

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:28.113824Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 271bfad6-4ff7-47da-a699-f7f4b0dfea9a · outbound

This paper cites Analytic and algorithmic solution of random satisfiability problems.Science, 297:812–815, 2002.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Analytic and algorithmic solution of random satisfiability problems.Science, 297:812–815, 2002

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:28.198302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dcb173e2-bb76-4121-88e1-0523da692033 · outbound

This paper cites Determining computational complexity from characteristic ‘phase transitions’.Nature, 400: 133–137, 1999.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Determining computational complexity from characteristic ‘phase transitions’.Nature, 400: 133–137, 1999

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:28.232747Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24a4a4f2-cbc3-436c-a5eb-dae9d255ab37 · outbound

This paper cites Moskewicz, Conor F.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Moskewicz, Conor F

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:28.284495Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 301a90b7-47ee-4312-a808-5aeadfa09c6c · outbound

This paper cites Coloring random graphs.Physical Review Letters, 89(26):268701, 2002.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Coloring random graphs.Physical Review Letters, 89(26):268701, 2002

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:28.425946Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9464bb56-da90-4179-9dd4-e8041e8422b8 · outbound

This paper cites Stuckey, and Michael Codish.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Stuckey, and Michael Codish

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:28.534506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80057b54-3642-460a-a6ab-1cc7ff15954c · outbound

This paper cites Recurrent relational networks.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Recurrent relational networks

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:28.614736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40941415-943e-49e7-a1e2-4e3e4c3bfa27 · outbound

This paper cites an unresolved cited work.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:28.678026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d89e9985-5982-41ad-a68c-ba506b2bc370 · outbound

This paper cites Can you learn an algorithm? Generalizing from easy to hard problems with recurrent networks.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Can you learn an algorithm? Generalizing from easy to hard problems with recurrent networks

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:28.744843Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20911daa-e7a5-4e5d-91a7-04345c22c900 · outbound

This paper cites Guiding high-performance SAT solvers with unsat-core predictions.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Guiding high-performance SAT solvers with unsat-core predictions

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:28.807399Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 326264c3-dbb3-4eac-8847-d9ee2c41520e · outbound

This paper cites an unresolved cited work.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:28.858847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 385746bd-39aa-4edd-a9f2-52f29a66ec77 · outbound

This paper cites Better aggregation in test-time augmentation.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Better aggregation in test-time augmentation

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:28.898621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 683a5dc2-fb80-4780-8fbe-619a3a678cdd · outbound

This paper cites A general reinforcement learning algorithm that masters chess, shogi, and Go through self-play.Science, 362(6419):1140–1144, 2018.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion A general reinforcement learning algorithm that masters chess, shogi, and Go through self-play.Science, 362(6419):1140–1144, 2018

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:28.957910Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63d7193f-6295-492b-b956-2efcee7b4c5d · outbound

This paper cites Graph neural networks for maximum constraint satisfaction.Frontiers in Artificial Intelligence, 3:580607, 2021.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Graph neural networks for maximum constraint satisfaction.Frontiers in Artificial Intelligence, 3:580607, 2021

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:28.999644Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4b206ab-a918-4a88-8068-1be17652b5f1 · outbound

This paper cites Neural algorithmic reasoning.Patterns, 2(7):100273, 2021.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Neural algorithmic reasoning.Patterns, 2(7):100273, 2021

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:29.056360Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1905e2e-90ad-45ce-ac11-67f2151a9806 · outbound

This paper cites Hierarchical Reasoning Model.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Hierarchical Reasoning Model

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:29.110500Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c64769dc-086c-4e84-a331-4a7922382c67 · outbound

This paper cites Donti, Bryan Wilder, and J.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Donti, Bryan Wilder, and J

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:29.147214Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d5d636b-95a0-449e-9505-f9c740b09c01 · outbound

This paper cites NeuroBack: Improving CDCL SAT solving using graph neural networks.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion NeuroBack: Improving CDCL SAT solving using graph neural networks

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:29.231770Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bfca0da-e5d3-4b6b-8d57-f81bd4b6083f · outbound

This paper cites Do transformers really perform badly for graph representation? InAdvances in Neural Information Processing Systems, volume 34, pages 28877–28888, 2021.

Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion Do transformers really perform badly for graph representation? InAdvances in Neural Information Processing Systems, volume 34, pages 28877–28888, 2021

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T12:15:29.326404Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.