{"as_of":"2026-08-19T09:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:78a64fc8d2b054d9e0491ef0ecc954566e30b8bf504fc4d6dda2ec32767a0b9e","coverage":[{"denominator":35,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":35,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T12:15:29.326404Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.19635/citation-record","integrity":"/paper/2607.19635/integrity","json":"/paper/2607.19635/citation-record.json","paper":"/paper/2607.19635"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T12:15:26.449738Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:26.449738Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:c58c061dd36cadb964a2f7a805beec428c4875c976b9963f63fc332b83700431","observation_id":"949b144a-65f4-49ab-8d16-7b4493031f28","resolution":{"observed_at":"2026-08-01T12:15:26.449738Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.19376","last_updated":"2026-05-20T08:03:28Z","snapshot_observed_at":"2026-08-13T11:55:02.360619Z","submitted_at":"2026-05-19T05:20:56Z","title":"Generative Recursive Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.19376","snapshot_observed_at":"2026-08-01T12:15:26.547017Z","title":"Gen- erative Recursive Reasoning.arXiv preprint arXiv:2605.19376, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:26.547017Z"},"links":{"cited_paper":"/paper/2605.19376","citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:24a06f7ac8c65a3b151831e6bc93215b32ac8e7ef6d0272670a8da18d58f7ce5","observation_id":"c0086048-a8d0-48bb-96c8-16e5fd5fb381","resolution":{"observed_at":"2026-08-01T12:15:26.547017Z","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-01T12:15:26.655881Z","title":"End-to-end algorithm synthesis with recurrent networks: Logical extrapolation without overthinking","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:26.655881Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:326054bd7f91432023ccf262874dd64b239835590f842fe73a0d0e8fe3f0aad0","observation_id":"de0f364c-f748-4205-8026-0b0cb54e7020","resolution":{"observed_at":"2026-08-01T12:15:26.655881Z","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-01T12:15:26.778599Z","title":"Machine learning for combinatorial optimization: A methodological tour d’horizon.European Journal of Operational Research, 290(2):405–421, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:26.778599Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:b2055f7ea153cf7ab12fa2cd6f6313708b8a1e81fb6719e0d2be374f62c637b8","observation_id":"1c04f147-5e90-4e24-ae3e-b4e3f87db9ae","resolution":{"observed_at":"2026-08-01T12:15:26.778599Z","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-01T12:15:26.904740Z","title":null,"venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:26.904740Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:ba465f9451926d2f8960d2453406404729fd96b4e216ec6ba713a687b9db6e23","observation_id":"db44d233-a8f4-41da-9f39-ac239526756d","resolution":{"observed_at":"2026-08-01T12:15:26.904740Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.08605","snapshot_observed_at":"2026-08-01T12:15:27.055434Z","title":"Lattice Deduction Transformers.arXiv preprint arXiv:2605.08605, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:27.055434Z"},"links":{"cited_paper":"/paper/2605.08605","citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:6dff357b7ceb8badad5d2efa4399587085206c89aa85d8a58cd21c6ec0aeea17","observation_id":"445a7c72-cdb7-4108-b784-ae605dac4250","resolution":{"observed_at":"2026-08-01T12:15:27.055434Z","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-01T12:15:27.174453Z","title":"Learning to rank the initial branching order of SAT solvers.arXiv preprint arXiv:2603.07176, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:27.174453Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:effc5004c6613ec84cc5b7e407dd76ded4dd889d2441c98f4bed1eb47e90a99a","observation_id":"6b9f0361-b323-44f2-8c00-0d8c11c21ce9","resolution":{"observed_at":"2026-08-01T12:15:27.174453Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.03683","last_updated":"2024-04-01T06:50:52Z","snapshot_observed_at":"2026-08-17T18:41:15.883469Z","submitted_at":"2024-04-01T06:50:52Z","title":"Stream of Search (SoS): Learning to Search in Language","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.03683","snapshot_observed_at":"2026-08-01T12:15:27.257742Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:27.257742Z"},"links":{"cited_paper":"/paper/2404.03683","citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:dbdd4022c4ca3399818195743ba15ceda9f664c582e3eff15620a0c8f5b9a01b","observation_id":"a5633b07-abe5-448f-a1f6-e8d44d73c14d","resolution":{"observed_at":"2026-08-01T12:15:27.257742Z","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-01T12:15:27.301521Z","title":"Exact combinatorial optimization with graph convolutional neural networks","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:27.301521Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:358a90522ade77ed5d3d9a4656c2da7f14d00bfe62144eae9d04cba21008e6e9","observation_id":"58c184f2-dd1a-4556-8927-c8209b84495e","resolution":{"observed_at":"2026-08-01T12:15:27.301521Z","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-01T12:15:27.378489Z","title":"Gershman and Noah D","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:27.378489Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:875566829f1b7434faa46276d46b5fe79e9d55b4cf6630ed7ecafdc29bc98782","observation_id":"47a94ba3-4eaa-45de-bd5b-73ea45b50d49","resolution":{"observed_at":"2026-08-01T12:15:27.378489Z","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-01T12:15:27.517701Z","title":"Haralick and Gordon L","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:27.517701Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:102210374bc707be55c611063b800211b396fca3776ad3b90780e91af35d45cc","observation_id":"decd0f2b-f909-4299-b027-6f1c770dbb8e","resolution":{"observed_at":"2026-08-01T12:15:27.517701Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2510.04871","last_updated":"2025-10-06T14:58:08Z","snapshot_observed_at":"2026-08-17T11:15:52.067219Z","submitted_at":"2025-10-06T14:58:08Z","title":"Less is More: Recursive Reasoning with Tiny Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.04871","snapshot_observed_at":"2026-08-01T12:15:27.556820Z","title":"Less is more: Recursive reasoning with tiny networks.arXiv preprint arXiv:2510.04871, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:27.556820Z"},"links":{"cited_paper":"/paper/2510.04871","citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:0860e693c630dc7640d02e4b3e8a2f37c7a9edbca6ba8f00e4f5345c721c0c03","observation_id":"5c7d9cb9-2305-4446-bdb4-478cd2372176","resolution":{"observed_at":"2026-08-01T12:15:27.556820Z","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-01T12:15:27.610984Z","title":"Khalil, Pierre Le Bodic, Le Song, George Nemhauser, and Bistra Dilkina","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:27.610984Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:25e71f9c6c2b586e9b370d7e62d38c9214ce4d2674d38707195de14f99be8afe","observation_id":"ab6adcd9-d069-4d8e-b7ef-a46c763a857f","resolution":{"observed_at":"2026-08-01T12:15:27.610984Z","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-01T12:15:27.732497Z","title":"GRAM — community reimplementation of Generative Recursive Rea- soning Models, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:27.732497Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:da6d1f0bcbbe42069bff09650a8407dafe15679e48cdf0fcdb79583bbdfce557","observation_id":"9ebb0fec-4ba6-4a36-ae48-4432579a5e8e","resolution":{"observed_at":"2026-08-01T12:15:27.732497Z","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-01T12:15:27.869257Z","title":"LDT — community reimplementation of the Lattice Deduction Trans- former, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:27.869257Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:6172e70548a255a7a89fed3ec8b09ed2229097efd70dfe4eeb0f41b77fc5ab96","observation_id":"40ba7601-d63d-4a4d-baba-c8eddca7cd03","resolution":{"observed_at":"2026-08-01T12:15:27.869257Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.14083","last_updated":"2024-04-26T21:05:19Z","snapshot_observed_at":"2026-08-17T06:38:47.622164Z","submitted_at":"2024-02-21T19:17:28Z","title":"Beyond A*: Better Planning with Transformers via Search Dynamics Bootstrapping","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.14083","snapshot_observed_at":"2026-08-01T12:15:27.980240Z","title":"Beyond A*: Better planning with transformers via search dynamics bootstrapping.arXiv preprint arXiv:2402.14083, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:27.980240Z"},"links":{"cited_paper":"/paper/2402.14083","citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:3f29e124486f5c8d7c4dfca1c73b46556c82ee71fd4c31b14b8e44c1f033e902","observation_id":"c12b632f-20f4-4627-a4a7-67a792c9b769","resolution":{"observed_at":"2026-08-01T12:15:27.980240Z","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-01T12:15:28.113824Z","title":"Marques-Silva and Karem A","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:28.113824Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:f8a1f9590b83beb7ac2c452e6b0cd93dc803d19602bab2b6828802c0311cce5b","observation_id":"d6793700-72ef-42bc-9f97-b600d38d8c26","resolution":{"observed_at":"2026-08-01T12:15:28.113824Z","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-01T12:15:28.198302Z","title":"Analytic and algorithmic solution of random satisfiability problems.Science, 297:812–815, 2002","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:28.198302Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:b3a9df87845f5a92ec24841d2df2e8390d4ccc8ec05f0299fba911629a07f0b2","observation_id":"271bfad6-4ff7-47da-a699-f7f4b0dfea9a","resolution":{"observed_at":"2026-08-01T12:15:28.198302Z","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-01T12:15:28.232747Z","title":"Determining computational complexity from characteristic ‘phase transitions’.Nature, 400: 133–137, 1999","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:28.232747Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:15a06275a4948cf894f629dbb8ec262ff94e3f0494c5bf203ee08394abc2b040","observation_id":"dcb173e2-bb76-4121-88e1-0523da692033","resolution":{"observed_at":"2026-08-01T12:15:28.232747Z","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-01T12:15:28.284495Z","title":"Moskewicz, Conor F","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:28.284495Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:dc9b4d9be7b35ae7956f9f67d3b7dad86f5b366555cbf809bb5e4cdff81c3a29","observation_id":"24a4a4f2-cbc3-436c-a5eb-dae9d255ab37","resolution":{"observed_at":"2026-08-01T12:15:28.284495Z","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-01T12:15:28.425946Z","title":"Coloring random graphs.Physical Review Letters, 89(26):268701, 2002","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:28.425946Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:3024d98e1bf159fdadcbb39b2947ded192e7d3e9628cc3c9a7b1f637473e2343","observation_id":"301a90b7-47ee-4312-a808-5aeadfa09c6c","resolution":{"observed_at":"2026-08-01T12:15:28.425946Z","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-01T12:15:28.534506Z","title":"Stuckey, and Michael Codish","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:28.534506Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:b2bcf4015cd849c3a5be5a10e52cf80cd4cb7adc30ad602048644d9e3ab64b01","observation_id":"9464bb56-da90-4179-9dd4-e8041e8422b8","resolution":{"observed_at":"2026-08-01T12:15:28.534506Z","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-01T12:15:28.614736Z","title":"Recurrent relational networks","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:28.614736Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:5b3b472aa5e8a9c21cdc39b7911f402d7170dd2351c82e61c72a1b884f4882f7","observation_id":"80057b54-3642-460a-a6ab-1cc7ff15954c","resolution":{"observed_at":"2026-08-01T12:15:28.614736Z","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-01T12:15:28.678026Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:28.678026Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:b1b4c4f9d6fe9c637f151bf0bf0e256e88967cbfb2df9afa4e105f9c1d191f2b","observation_id":"40941415-943e-49e7-a1e2-4e3e4c3bfa27","resolution":{"observed_at":"2026-08-01T12:15:28.678026Z","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-01T12:15:28.744843Z","title":"Can you learn an algorithm? Generalizing from easy to hard problems with recurrent networks","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:28.744843Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:55ca40d148e657c378d774bdf779d837cc705bb73459744dec1da4063b4048bc","observation_id":"d89e9985-5982-41ad-a68c-ba506b2bc370","resolution":{"observed_at":"2026-08-01T12:15:28.744843Z","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-01T12:15:28.807399Z","title":"Guiding high-performance SAT solvers with unsat-core predictions","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:28.807399Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:111dc5b692c03bb89c2033dca7341bc9f4080c6889af2de61d5a2db3b9477146","observation_id":"20911daa-e7a5-4e5d-91a7-04345c22c900","resolution":{"observed_at":"2026-08-01T12:15:28.807399Z","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-01T12:15:28.858847Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:28.858847Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:98dc8a8de6d49f3689908bc300265bca497f051a25580b9dde834a2c6c8a48bb","observation_id":"326264c3-dbb3-4eac-8847-d9ee2c41520e","resolution":{"observed_at":"2026-08-01T12:15:28.858847Z","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-01T12:15:28.898621Z","title":"Better aggregation in test-time augmentation","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:28.898621Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:eb0144f93af358ee997aef3859db07c2f517c36648c3c29dac24988a67590965","observation_id":"385746bd-39aa-4edd-a9f2-52f29a66ec77","resolution":{"observed_at":"2026-08-01T12:15:28.898621Z","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-01T12:15:28.957910Z","title":"A general reinforcement learning algorithm that masters chess, shogi, and Go through self-play.Science, 362(6419):1140–1144, 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:28.957910Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:b439bc2a6d74c9a9cfd46f0a408f3eaf1402a42d0e79cbc44d70ce2b95885122","observation_id":"683a5dc2-fb80-4780-8fbe-619a3a678cdd","resolution":{"observed_at":"2026-08-01T12:15:28.957910Z","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-01T12:15:28.999644Z","title":"Graph neural networks for maximum constraint satisfaction.Frontiers in Artificial Intelligence, 3:580607, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:28.999644Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:47570ce28627c38df698445f22644a9840e74f682eade814513838ae4d9c3cd9","observation_id":"63d7193f-6295-492b-b956-2efcee7b4c5d","resolution":{"observed_at":"2026-08-01T12:15:28.999644Z","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-01T12:15:29.056360Z","title":"Neural algorithmic reasoning.Patterns, 2(7):100273, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:29.056360Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:dfc118a9051757f27463f113172af04ef097d65fadc713e3eb4ae8683525eee2","observation_id":"d4b206ab-a918-4a88-8068-1be17652b5f1","resolution":{"observed_at":"2026-08-01T12:15:29.056360Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.21734","last_updated":"2025-08-04T08:45:08Z","snapshot_observed_at":"2026-08-13T09:09:47.358626Z","submitted_at":"2025-06-26T19:39:54Z","title":"Hierarchical Reasoning Model","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.21734","snapshot_observed_at":"2026-08-01T12:15:29.110500Z","title":"Hierarchical reasoning model.arXiv preprint arXiv:2506.21734, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:29.110500Z"},"links":{"cited_paper":"/paper/2506.21734","citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:0eb88e9c6b61a97e315809d4ce0a8bc95ff8a1a60479f711528d2ed06fcd4a07","observation_id":"f1905e2e-90ad-45ce-ac11-67f2151a9806","resolution":{"observed_at":"2026-08-01T12:15:29.110500Z","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-01T12:15:29.147214Z","title":"Donti, Bryan Wilder, and J","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:29.147214Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:be34ba0af0ae47d60e0a6420ea8dca97745497b91d0f4407eea48df432e17e2c","observation_id":"c64769dc-086c-4e84-a331-4a7922382c67","resolution":{"observed_at":"2026-08-01T12:15:29.147214Z","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-01T12:15:29.231770Z","title":"NeuroBack: Improving CDCL SAT solving using graph neural networks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:29.231770Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:c3435e0e9769c87eae01486b3642ccb0a6942e5fa310e1030ff73738def5baf0","observation_id":"5d5d636b-95a0-449e-9505-f9c740b09c01","resolution":{"observed_at":"2026-08-01T12:15:29.231770Z","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-01T12:15:29.326404Z","title":"Do transformers really perform badly for graph representation? InAdvances in Neural Information Processing Systems, volume 34, pages 28877–28888, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:29.326404Z"},"links":{"citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:b51f0f64c53583a0f6f45a7e462e68c942eff1712290c42d1bef7887797dc8a9","observation_id":"8bfca0da-e5d3-4b6b-8d57-f81bd4b6083f","resolution":{"observed_at":"2026-08-01T12:15:29.326404Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion"},"reference_resolution":{"displayed":35,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":35,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":35},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"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."}